法国戛纳，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 上线前一年多便加入项目。Certora 团队与 Aave 工程师紧密合作，在设计早期就审查系统架构、治理路径和经济假设，使安全考量从一开始就影响协议结构。
这项工作建立在 Certora 与 Aave 长达六年的合作基础之上，期间涵盖了协议的多个版本。在 Aave V4 的整个开发过程中，Certora 的研究人员与 Aave 工程师协同作业，引入持续形式化验证、对抗性测试以及人工审计，在早期发现问题并在部署前强化系统。
在开发全程中，Certora 应用了形式化验证这一数学方法，用于证明软件满足特定安全属性。本次合作包括：
- 验证关键协议保障，包括资产守恒、抵押规则、清算正确性、权限安全、升级安全以及跨市场一致性
- 由资深审计员进行的持续人工审查，这些审计员在借贷协议、预言机系统、治理机制和 DeFi 攻击模式等领域具备深厚经验
- 组织大规模外部安全竞赛，邀请独立研究人员参与，过程中未发现任何关键或高影响漏洞，为协议安全架构提供了额外验证。
在这一长期合作中，Certora 与 Aave 共同保护了多代协议以及链上数十亿美元流动性，包括：
- 审查了 169 份智能合约
- 分析了超过 51,000 行代码
- 创建并持续测试 800+ 条形式化验证规则
- 在部署前预防了 28 个重大漏洞。
随着去中心化金融不断成熟并吸引机构资本，更强的安全保障正成为大规模采用的前提条件。Certora 与 Aave 的合作体现了整个行业向持续安全工程转变的趋势。仅在 2025 年，Certora 就帮助 secure 了总计 1,965 亿美元 DeFi 协议锁仓价值，并阻止了 720 多个漏洞进入生产环境。
如需了解更多信息，请访问 certora.com/blog/certora-x-aavev4 或关注 @Certora。
关于 Certora
Certora 是最先进 Web3 团队信赖的安全保障合作伙伴。公司由编程语言与形式化方法领域的先驱于 2018 年创立，帮助 Lido、Aave、Uniswap、Compound 等领先协议，在安全可控的前提下保护数十亿美元资产。
联系方式
公关经理
Aarya Shah
[email protected]