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

币搜网报道:

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

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

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

今天宣布与……建立战略合作伙伴关系一项开创性的风险管理基础设施协议, 和作为实时威胁监控领域的领导者,Certora 通过此次合作成为 Cork 的安全合作伙伴,将安全措施融入协议生命周期的每一层,从设计和验证到部署、监控和运维。

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

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

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

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

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

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

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

免责声明:以上内容(如有图片或视频亦包括在内)均为平台用户上传并发布,本平台仅提供信息存储服务,对本页面内容所引致的错误、不确或遗漏,概不负任何法律责任,相关信息仅供参考。

本站尊重他人的知识产权、名誉权等法律法规所规定的合法权益!如网页中刊载的文章或图片涉及侵权,请提供相关的权利证明和身份证明发送邮件到qklwk88@163.com,本站相关工作人员将会进行核查处理回复

(0)
上一篇 2025年11月13日 下午11:25
下一篇 2025年11月13日 下午11:25

相关推荐

风险提示:理性看待区块链,提高风险意识!