Certora 在2025年确保了近$200 十亿的DeFi价值，防止了领先协议中超过700个漏洞

来源：CryptoDaily 原文标题：Certora在2025年确保近$200 十亿美元的DeFi价值，防止超过700个领先协议的漏洞 原文链接： 新数据显示，Certora快速增长，扩大在持续安全和形式验证方面的作用，领导行业。

Certora是Web3协议形式验证工具和智能合约审计的领先提供商，发布了2025年度回顾报告，显示该公司帮助确保DeFi生态系统中的总锁仓价值（TVL）达1965亿美元，并阻止了超过720个漏洞进入生产环境。根据报告，2025年，前20个TVL排名的DeFi协议中有14个与Certora合作，占该类别的约70%，而前10个协议中有7个与公司保持持续的长期安全合作关系。

2025年，约有21亿至24亿美元因加密货币漏洞被盗，随着DeFi活动的反弹和协议架构变得更加复杂，这一数字实现了同比增长。Certora的报告强调了领先团队在安全方面采取的几项结构性转变，包括：

• 从一次性审计转向持续安全关系
• 更加关注协议级不变量，而非功能级检查
• 扩大审计范围，包括部署配置、治理和操作安全
• 日益认识到区块链升级和验证者行为带来的新安全风险

2025年，Certora完成了大约150次安全审计，发现80个关键和180个高严重性问题，99%的问题在部署前得到修复。在11个案例中，Certora建议协议团队推迟或完全停止上线，以应对可能导致系统性失败或资金损失的严重风险。

“这些数字反映了行业的巨大变化，”Certora首席执行官Seth Hallem表示。“如今的安全不再是临时发现明显漏洞，而是要在管理数十亿美元、不断演进、跨链交互的系统中证明正确性。我们在2025年的增长反映了生态系统向长期、基础设施级安全转变的趋势。”

“最成熟的协议不再将安全视为一次性审计，”Certora创始人兼首席科学家Mooly Sagiv表示。“他们选择一个理解其经济模型、架构和系统随时间变化行为的安全合作伙伴。我们看到的行业转变是从‘审计覆盖’到‘正确性保证’。”

为了满足这一需求，Certora在2025年将其安全研究团队扩大到约40名研究员，其中包括25名博士，深入覆盖以太坊、索拉纳、Sui、Aptos及新兴区块链基础设施等执行环境。

报告强调，风险前沿已从表面漏洞转向经济边缘案例、跨链假设、特定语言陷阱以及在链上升级条件变化下的协议行为。

2025年，Certora通过形式验证在设计上确保了超过(十亿美元的TVL，数学证明了关键协议不变量，如偿付能力、单调利率和用户安全条件。

关于Certora

Certora是Web3中最先进团队信赖的安全保障合作伙伴。由编程语言和形式方法领域的先驱于2018年创立，Certora帮助领先协议如Lido、Aave、某些去中心化交易平台（DEX）和Compound以信心保障数十亿美元的价值安全。