Aave Labs公佈V4安全方案：總計345天審計並投入150萬美元安全預算

Aave Labs 公佈了 Aave V4 的安全框架，提出“安全優先”的開發模式，在架構設計階段即嵌入安全驗證，而非僅在上線前進行最終審計。 該安全計劃持續約一年，累計完成約 345 天的安全審查，資金來自 Aave DAO 批准的 150 萬美元安全預算。 據悉，V4 安全流程結合形式化驗證、人工審計、不變數測試、模糊測試（fuzzing）以及公開安全競賽等多層審計方法。未來協議開發將持續採用五項長期安全措施，包括在開發早期引入形式化驗證、實施多層安全審計方法、持續驗證機制、長期漏洞賞金計劃以及利用 AI 輔助智慧合約安全掃描。 [The Block]