法國坎城，2026 年 3 月 30 日，Chainwire
歷經六年合作，Certora 與 Aave 將安全性直接嵌入 Aave V4 的架構中，打造出 DeFi 領域最強大的安全框架之一。
Certora 是 Web3 協議中形式驗證工具與智慧合約稽核的領先提供者，此次揭露其與 Aave Labs 合作為 Aave V4 所打造的安全框架細節。Aave V4 是去中心化金融領域中規模最大的借貸協議之一的下一代版本。
「DeFi 協議的營運規模與複雜度日益逼近傳統金融基礎設施，」Certora 創辦人兼首席科學家 Mooly Sagiv 表示。「安全性已無法再依賴某一時間點的單次稽核。在 Aave V4 上，我們自開發期間便與工程師並肩合作，持續驗證關鍵系統性質，確保協議行為完全符合設計預期。」
與其在開發後期才介入，Certora 在 Aave V4 發布前一年多便加入專案。團隊與 Aave 工程師緊密合作，自設計初期就檢視系統架構、治理路徑與經濟假設，讓安全考量自一開始就影響協議結構。
這項工作建立在 Certora 與 Aave 長達六年的合作關係之上，期間涵蓋多個協議版本。在 Aave V4 的整個開發過程中，Certora 研究人員與 Aave 工程師並肩作業，導入持續形式驗證、對抗性測試與人工稽核，在早期即發現問題並在部署前強化系統。
在整個開發期間，Certora 導入形式驗證，這是一種以數學方法證明軟體符合特定安全性質的技術。本次合作涵蓋：
- 驗證關鍵協議保障，包括資產守恆、抵押規則、清算正確性、權限安全、升級安全性與跨市場一致性
- 具借貸協議、預言機系統、治理機制與 DeFi 攻擊手法專長的資深稽核人員，進行持續人工檢閱
- 大型外部安全競賽，由獨立研究人員參與，最終未發現任何重大或高影響力的漏洞，進一步驗證協議的安全架構。
在這段長期合作中，Certora 與 Aave 共同守護了多代協議以及鏈上數十億美元流動性，成果包括：
- 審查 169 份智慧合約
- 分析超過 51,000 行程式碼
- 建立並持續測試 800+ 條形式驗證規則
- 在部署前防止 28 個重大漏洞。
隨著去中心化金融持續成熟並吸引機構資本，更強的安全保證正成為大規模採用的前提條件。Certora 與 Aave 的合作反映整個產業正轉向持續性安全工程。僅在 2025 年，Certora 就協助 secure 了 DeFi 協議中總鎖倉價值 1,965 億美元，並阻止超過 720 個漏洞進入生產環境。
更多資訊請參閱 certora.com/blog/certora-x-aavev4 或追蹤 @Certora。
關於 Certora
Certora 是最先進 Web3 團隊信賴的安全保證夥伴。公司於 2018 年由程式語言與形式方法領域的先驅創立，協助 Lido、Aave、Uniswap 與 Compound 等領先協議，以高度信心守護數十億美元價值。
聯絡方式
公關經理
Aarya Shah
[email protected]