以色列特拉维夫，2025年11月13日，Chainwire
Web3领域顶尖团队信赖的安全保障合作伙伴CertoraDeFi风险管理基础设施先驱Cork以及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合作，我们不仅是在帮助一个协议，更是在帮助重新defiWeb3处理风险、透明度和运营弹性的方式。”
Hypernative联合创始人兼首席执行官Gal Sagie补充道：“Web3安全今天又向前迈进了一大步，有助于过滤掉这个行业中的不良行为者。但我同样高兴的是，通过此次合作，我们也找到了提高该领域所有参与者风险标准的方法。”
Cork、Certora 和 Hypernative 携手构建了一种协议设计中融入安全性的模式，旨在创建不仅对用户更安全，而且对开发者更强大、更具可扩展性的系统。如需了解此次合作的更多详情，请访问此博客。
关于 Certora
Certora 是一家区块链安全公司，提供业界领先的形式化验证工具和智能trac审计。Certora 的旗舰安全产品 Prover 正在帮助 Aave、Lido 和 Maker 等协议将形式化验证的强大功能集成到其开发流程中，从而捕获即使是罕见且难以发现的漏洞。.
关于科克
Cork 引入了一种全新的代币化风险原语，作为链上资产（例如金库代币、收益稳定币、流动性（再）质押代币和风险加权资产 (RWA)）的可编程风险层。Cork 的核心原语使资产管理公司和发行方能够快速搭建自定义互换市场，从而提升其链上资产的赎回流动性、风险透明度和市场信心。在 a16z crypto、OrangeDAO 和 Steakhouse Financial 的支持下，Cork 正在构建必要的风险基础设施，以吸引机构资本进入链上信贷市场。
关于 Hypernative
Hypernative 是一款实时监控、风险检测和自动化响应解决方案，能够dent地识别威胁，让客户在漏洞造成损害之前抢占宝贵的响应时间。该平台trac链上和链下数据源。它采用久经考验的先进机器学习模型、启发式算法、模拟和基于图的检测方法，能够识别dent多种风险类型，涵盖智能合约trac、桥接安全事件、dent入侵、市场操纵和私钥窃取等。更多信息，请访问hypernative.io 。
接触
高级公关经理
Wahaj Khan
血清素
[电子邮件受保护]
免责声明：这是一篇付费新闻稿。读者在对文中提及的公司或其任何关联公司或服务采取任何行动之前，应自行进行尽职调查。Cryptopolitan.com对因使用或依赖本新闻稿中提及的任何内容、商品或服务而造成或据称造成的任何损害或损失，不承担任何直接或间接的责任Cryptopolitan
