**Certora 和 Aave Labs 共同披露了为 Aave V4 联合开发的安全框架细节，**这是下一代去中心化借贷协议。两家公司之间的合作历时超过六年，涵盖了协议的多个版本。对于 Aave V4，Certora **在上线前超过一年加入开发流程**，并从最初的设计阶段开始将安全性直接集成进 **系统架构**。这项工作包括由具备借贷协议、预言机系统和治理机制经验的研究人员开展的 **持续形式化验证、对抗性测试和人工审计**。具体而言，Certora 团队 **审查了 169 个智能合约**，分析了超过 **51,000 行代码**，生成了超过 **800 条形式化验证规则**，并在部署前 **阻止了 28 个关键漏洞**。此外，在一次与独立研究人员进行的外部安全竞赛中，未发现任何关键或高影响力漏洞。“安全性不能再依赖一次性的审计，”Certora 创始人兼首席科学家 Mooly Sagiv 表示。仅在 2025 年， 该公司就积极为 **保护 DeFi 协议中合计 196.50 亿美元的总锁仓价值** 贡献力量，并在漏洞进入生产环境之前阻止了 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 基于已验证的公开和官方来源。其目的在于提供关于加密货币与区块链生态系统中相关事件的快速、事实性更新。此信息不构成财务建议或投资建议。鼓励读者在做出任何相关决定之前，通过官方项目渠道核实所有细节
Certora–Aave联盟发布Aave V4背后的全面安全模型 - Crypto Economy
**Certora 和 Aave Labs 共同披露了为 Aave V4 联合开发的安全框架细节，**这是下一代去中心化借贷协议。
两家公司之间的合作历时超过六年，涵盖了协议的多个版本。对于 Aave V4，Certora 在上线前超过一年加入开发流程，并从最初的设计阶段开始将安全性直接集成进 系统架构。
这项工作包括由具备借贷协议、预言机系统和治理机制经验的研究人员开展的 持续形式化验证、对抗性测试和人工审计。
具体而言，Certora 团队 审查了 169 个智能合约，分析了超过 51,000 行代码，生成了超过 800 条形式化验证规则，并在部署前 阻止了 28 个关键漏洞。此外，在一次与独立研究人员进行的外部安全竞赛中，未发现任何关键或高影响力漏洞。
“安全性不能再依赖一次性的审计，”Certora 创始人兼首席科学家 Mooly Sagiv 表示。仅在 2025 年， 该公司就积极为 保护 DeFi 协议中合计 196.50 亿美元的总锁仓价值 贡献力量，并在漏洞进入生产环境之前阻止了 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 基于已验证的公开和官方来源。其目的在于提供关于加密货币与区块链生态系统中相关事件的快速、事实性更新。
此信息不构成财务建议或投资建议。鼓励读者在做出任何相关决定之前，通过官方项目渠道核实所有细节