Aave Labs 釋出 Aave V4 安全計劃完整透明度審計報告

Aave Labs 釋出 Aave V4 安全計劃的完整透明度報告，涵蓋方法、流程及結果等方面。 Trail of Bits、Blackthorn、Certora 等多家安全機構聯合背書。通過手動審計、形式化驗證、不變數測試、模糊測試以及公開安全競賽，累計進行了約 345 天的安全審查。 該計劃由 DAO 批准的 150 萬美元專門安全預算支援。 [Foresight News]