Aave V4 完成全面安全審計，投入 345 天安全審查無重大漏洞
12
3
深潮 TechFlow 消息，03 月 05 日，Aave Labs 近日公佈 Aave V4 協議完成了為期約 345 天的全面安全審查，總投入達 150 萬美元。 本專案採用"安全優先"策略，從架構設計階段就開始實施多層安全控制。 安全審查包括手動審計、形式驗證、不變量測試、模糊測試和為期六週的公開安全競賽，吸引了 900 多名參與者提交 950 多份報告。
審計結果顯示，所有主要審計機構（包括 ChainSecurity、Trail of Bits 和 Blackthorn）均未發現高嚴重性漏洞。 Aave V4 採用全新的中心樞紐與分支模組設計，使程式碼庫比 V3 更小，提高了審計效率。 Aave Labs 表示將繼續維持形式驗證框架、不變量測試套件，並計劃設立持續性漏洞賞金計劃，確保協議長期安全。
來源:
