Certora，作为Web3领域顶级安全验证服务商，今日宣布与DeFi风险管理协议Cork、实时威胁监控平台Hypernative建立战略合作。根据协议，Certora将担任Cork的“安全登记伙伴”（Security Partner of Record），将安全嵌入协议设计、验证、部署、监控与运营的全生命周期。
三方整合了Certora的形式化验证与端到端安全框架、Hypernative的高级实时监控能力，为Cork用户提供机构级风控保护。Cork CTO Baptiste Florentin表示：“常规安全方案在DeFi中根本不够用。我们选择了Certora，目的就是超越一次性审计，构建一套与代码库、变更管理和生产运营深度整合的全方位安全纪律。”
合作背景是Web3生态规模扩张带来的安全成本飙升。据FBI 2024年互联网犯罪投诉中心（IC3）报告，与加密相关的欺诈共造成93亿美元损失，同比激增66%，近15万起投诉涉及数字资产。Certora CEO Seth Hallem指出：“Certora成立的初衷，就是将航空、金融等领域的企业级验证严谨性引入去中心化系统。与Cork和Hypernative联手，我们不止是在帮助一个协议，而是在重新定义Web3如何处理风险、透明度和运营韧性。”
Certora：企业级形式化验证工具
Certora的核心产品Prover已服务于Aave、Lido、Maker等头部协议，能捕捉罕见且难以发现的代码缺陷。此次合作意味着Cork的智能合约将在开发阶段即接受形式化验证，而非依赖事后审计。
Cork：链上风险管理的可编程层
Cork为保险库代币、收益型稳定币、流动性质押代币及RWA等链上资产提供可编程风险层，支持资产发行方创建定制掉期市场，以提升赎回流动性、风险透明度与市场信心。该项目已获得a16z crypto、OrangeDAO与Steakhouse Financial支持，目标是为链上信贷市场引入机构资本。
Hypernative：300+风险类型的实时监控
Hypernative追踪链上台约与链下数据源，运用机器学习模型、启发式算法、模拟和图检测，覆盖智能合约攻击、桥接安全事件、前端篡改、市场操纵及私钥失窃等超过300种风险类型。其自动化响应功能可在漏洞造成实际损失前为团队赢得数分钟应对窗口。Hypernative联合创始人兼CEO Gal Sagie强调：“这次合作不仅要过滤行业中的不良行为者，更希望提升所有参与者的风险标准。”
三方共同构建的模型旨在将“安全设计”（Security by Design）嵌入协议底层，打造对用户更安全、对开发者更健壮和可扩展的系统。有关合作内容的具体细节，可访问Certora博客专页。