Certora 与 Cork 和 Hypernative 合作，为 Web3 安全树立新标准

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

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

塞托拉是受最先进团队信赖的安全保障合作伙伴Web3

互联网下一阶段的愿景，围绕去中心化、区块链技术和由数字代币驱动的经济体系构建。

“>Web3今天宣布与……建立战略合作伙伴关系软木一项开创性的风险管理基础设施协议去中心化金融

去中心化金融（DeFi）是指建立在公共区块链上的与金融相关的去中心化应用程序（dApp）的大类。

“>DeFi， 和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 携手构建了一种协议设计中融入安全性的模式，旨在创建不仅对用户更安全，而且对开发者更强大、更具可扩展性的系统。如需了解此次合作的更多详细信息，请访问此处。博客.