Certora–Aave 聯盟發布 Aave V4 背後的全面安全模型 - 加密經濟

**Certora 和 Aave Labs 揭露了針對 Aave V4 所共同開發的安全框架細節，**這是下一代去中心化借貸協議。

兩家公司之間的合作跨越超過六年，涵蓋了協議的多個版本。就 Aave V4 而言，Certora 在上線前超過一年加入開發流程，並從最初的設計階段起就將安全性直接整合到 系統架構 中。

工作內容包括 持續的形式化驗證、對抗性測試以及由具備借貸協議、預言機系統與治理機制經驗的研究人員執行的人工審計。

具體而言，Certora 團隊 審查了 169 個智慧合約、分析了超過 51,000 行程式碼、生成了超過 800 條形式化驗證規則，並在部署前阻止了 28 個關鍵漏洞。此外，在一場與外部獨立研究人員的安全競賽中，未發現任何關鍵或高影響力的漏洞。

「安全性再也不能依賴一次性的審計，」Certora 的創辦人兼首席科學家 Mooly Sagiv 表示。僅在 2025 年，該公司就積極為 保護 1965 億美元的 DeFi 協議總鎖定價值 盡力，並在其進入正式運行前阻止了超過 720 個漏洞。

來源：https://chainwire.org/2026/03/30/certora-and-aave-reveal-security-framework-behind-aave-v4-following-six-year-collaboration/?mfk=rpvtAlMW9%2FoHf0N2EGpyPX7YYmOhAn2m735m%2B2w%2FzN%2Bm%2BM%2F9Q0SsJTo828N1GGiS81rK6UBY2vGtYRqTP6HXiQrorBUk5ESIaqAbRRN7tN8PFIJvJkNlj28ateMl7UVeL6fBNV3wiwdA%2BinqpTWDJxM72ZM72Ng%3D

**免責聲明：**加密經濟快訊（Crypto Economy Flash News）係根據已驗證的公開與官方來源提供。其目的在於就加密與區塊鏈生態系中的相關事件，提供快速且具事實依據的更新。

此資訊不構成任何財務建議或投資建議。鼓勵讀者在做出任何相關決策前，透過官方專案管道自行核實所有細節