Aave V4 完成 345 天、150 萬美元安全審查，未發現高危漏洞

Aave Labs 表示，Aave V4 協議已完成歷時約 345 天、總支出 150 萬美元的全面安全審查，自架構設計階段起採用安全優先策略與多層防護。審查結合人工審計、形式化驗證、不變量測試、模糊測試，以及為期六週的公開安全競賽，吸引逾 900 名參與者提交超過 950 份報告。審計結果顯示，包括 ChainSecurity、Trail of Bits 及 Blackthorn 在內的主要機構均未報告高危漏洞，而 Aave V4 的全新中樞輻射模組化設計相較 V3 減少了代碼量並提升審計效率。Aave Labs 補充稱，將持續維護形式化驗證框架與不變量測試套件，並計劃運行長期漏洞賞金計劃以支持協議安全。