Aave Labs發布Aave V4安全計劃完整透明度審計報告

安全審查過程與方法

通過手動審計、形式化驗證、不變性測試、模糊測試以及公開安全競賽，累計進行了約345天的安全審查。該計劃由DAO批准的150萬美元專門安全預算支持。

五項核心安全承諾

• 早期開發階段嵌入形式化驗證：確保架構設計獲得安全方法指導，而不僅是驗證。
• 採用分層安全方法：結合手動審查、形式化驗證、不變性測試、AI輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞。
• 持續安全覆蓋：形式化驗證框架和不變性測試套件將隨協議迭代持續運行。
• 長期漏洞賞金計畫：透過更廣泛的安全社群提供持續監控。
• 優化AI掃描能力：基於現有測試經驗，不斷提升未來版本的智能安全檢測水平。

合作機構與背書

該安全計劃獲得Trail of Bits、Blackthorn、Certora等多家安全機構聯合背書。

來源：https://www.panewslab.com/zh/articles/019cbbe7-1b1f-71bf-a93a-f122378e256d