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

ChainCatcher 消息，據官方消息，Aave Labs 發布 Aave V4 安全計劃的完整透明度報告，包括方法、流程及結果等方面，Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。 通過手動審計、形式化驗證、不變量測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。該計劃由 DAO 批準的 150 萬美元專門安全預算支持。 Aave Labs 宣布將從 Aave V4 安全計劃中延續五項核心承諾：在早期開發階段嵌入形式化驗證，以確保架構設計得到安全方法指導而不僅是驗證；采用分層安全方法，包括手動審查、形式化驗證、不變量測試、AI 輔助檢查、模糊測試及公開安全競賽，以覆蓋更多潛在漏洞；保持持續安全覆蓋，形式化驗證框架和不變量測試套件將隨協議迭代持續運行；設立長期漏洞賞金計劃，利用更廣泛的安全社區提供持續監控；以及優化 AI 掃描能力，基于現有測試經驗不斷提升未來版本的智能安全檢測水平。

• 喜歡使用社交軟體關注？關注我們的 Twitter，或者加入 Telegram！
• 想關注最新資訊？ 下載CoinCarp App吧
• 有新聞需要爆料，官方公告需要發布? 來給我們發郵件吧！[email protected]