Certora联合Cork与Hypernative，共同推动Web3安全新标准

• 2025年11月13日
• |
• 17:06

以色列特拉维夫，2025年11月13日，Chainwire

Certora作为被众多顶尖团队信赖的安全保障合作伙伴，在Web3领域中扮演着重要角色。Web3是互联网下一阶段的愿景，围绕去中心化、区块链技术和由数字代币驱动的经济体系构建。

今日，Certora宣布与Cork和Hypernative达成战略合作伙伴关系。Cork是一项开创性的风险管理基础设施协议，专注于去中心化金融（DeFi）。DeFi是指建立在公共区块链上的与金融相关的去中心化应用程序（dApp）的大类。而Hypernative则是实时威胁监控领域的领导者。通过此次合作，Certora成为Cork的安全合作伙伴，将安全措施深度融入协议生命周期的每一层，从设计和验证到部署、监控和运维。

此次合作汇聚了三位致力于提升Web3系统安全性和完整性的行业领军企业。通过结合Certora的形式化验证和端到端安全框架，以及Hypernative先进的实时监控技术，Cork用户将享受到机构级的安全保障和主动风险缓解措施，这些措施专为下一代链上金融设计。

Cork的首席技术官Baptiste Florentin表示：“在DeFi领域，传统的安全措施远远不够。我们是一支专注于构建关键市场基础设施的团队，深知风险的存在。选择Certora，是为了超越简单的时点审计，构建一套与我们的代码库、变更管理和生产运营深度集成的整体性、端到端安全体系。”

随着Web3生态系统的规模不断扩大，安全漏洞的代价也持续上升。根据FBI 2024年互联网犯罪投诉中心（IC3）的报告，加密货币相关欺诈造成的损失高达93亿美元，比上一年增长了66%，涉及数字资产的投诉近15万起。此类合作旨在通过提升行业安全和风险标准来扭转这一趋势。目前的DeFi审计方法已远远不够，行业迫切需要更先进、更积极主动的安全保障。

Certora与业内顶尖企业的合作，标志着我们在安全方法成熟化方面迈出了新的一步。Certora和Cork携手开创了一种提升DeFi安全标准的新模式，并首次将其推向市场。

Certora首席执行官Seth Hallem表示：“Certora的创立宗旨是将航空航天和金融等行业所使用的企业级安全保障的严谨性引入到去中心化系统中。通过与Cork和Hypernative合作，我们不仅是在帮助一个协议，更是在帮助重新定义Web3处理风险、透明度和运营弹性的方式。”

Hypernative联合创始人兼首席执行官Gal Sagie补充道：“Web3安全今天又向前迈进了一大步，有助于过滤掉这个行业中的不良行为者。但我同样高兴的是，通过此次合作，我们也在寻找提高该领域所有参与者风险标准的方法。”

Cork、Certora和Hypernative携手构建了一种将安全性融入协议设计的模式，旨在创建不仅对用户更安全，而且对开发者更强大、更具可扩展性的系统。如需了解此次合作的更多详细信息，请访问博客。