深潮 TechFlow 消息，03 月 05 日，Aave Labs 近日公佈 Aave V4 協議完成了為期約 345 天的全面安全審查，總投入達 150 萬美元。該項目採用"安全優先"策略，從架構設計階段就開始實施多層安全控制。安全審查包括手動審計、形式驗證、不變量測試、模糊測試及為期六週的公開安全競賽，吸引了 900 多名參與者提交 950 多份報告。

審計結果顯示，所有主要審計機構（包括 ChainSecurity、Trail of Bits 和 Blackthorn）均未發現高嚴重性漏洞。Aave V4 採用全新的中心樞紐與分支模塊設計，使代碼庫比 V3 更小，提高了審計效率。Aave Labs 表示將繼續維持形式驗證框架、不變量測試套件，並計劃設立持續性漏洞賞金計劃，確保協議長期安全。