Aave Labs 發布 Aave V4 安全路線圖及全面透明度審計報告

BlockBeats News，3月5日，根據官方消息，Aave Labs 公佈了 Aave V4 安全計劃的完整透明報告，內容涵蓋方法論、流程及結果等方面，並獲得 Trail of Bits、Blackthorn、Certora 等多家安全公司背書。通過手動審計、形式化驗證、不變性測試、模糊測試及公開安全競賽，總計進行了約345天的安全審查。該計劃由 DAO 批准的150萬美元專項安全預算支持。

Aave Labs 宣布，將延續 Aave V4 安全計劃中的五項核心承諾：在開發早期嵌入形式化驗證，確保架構設計以安全方法為指導，而不僅僅是驗證；採用分層安全策略，包括手動審計、形式化驗證、不變性測試、AI 輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架及不變性測試套件將隨協議迭代持續運作；建立長期漏洞懸賞計劃，利用更廣泛的安全社群進行持續監控；並優化 AI 掃描能力，根據現有測試經驗不斷提升未來版本的智能安全檢測水平。