法國坎城，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 就協助為 DeFi 協議中總鎖倉價值達 secure 1,965 億美元提供安全防護，並阻止超過 720 個漏洞進入生產環境。
如需更多資訊，請造訪 certora.com/blog/certora-x-aavev4 或追蹤 @Certora。
關於 Certora
Certora 是深受 Web3 頂尖團隊信賴的安全保證合作夥伴。公司於 2018 年由程式語言與形式方法領域的先驅創立，協助 Lido、Aave、Uniswap、Compound 等領先協議，以高度信心守護其上億美元的資產價值。
聯絡方式
公關經理
Aarya Shah
[email protected]