资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
特拉维夫携手两大安全先锋 共筑DeFi风险治理新范式
2025年11月13日，以色列特拉维夫——Web3领域顶级安全服务商Certora今日宣布与去中心化金融风险管理协议Cork、实时威胁监测平台Hypernative达成战略合作。Certora将作为Cork官方安全合作伙伴，从协议设计、验证到部署、监控及运营全生命周期提供嵌入式安全保障。
构建机构级安全护城河
此次合作汇聚三大领域领军者，通过整合Certora的形式化验证技术、Hypernative的实时监控系统与Cork的风险管理基础设施，为链上金融提供主动式风险缓释解决方案。"传统安全方案已无法满足DeFi发展需求，"Cork首席技术官Baptiste Florentin强调，"我们选择Certora建立端到端安全体系，将其深度集成至代码库变更管理与生产运营全流程。"
据相关数据显示，2024年数字资产相关欺诈造成93亿美元损失，同比激增66%。三方的合作旨在通过提升行业安全基准扭转这一趋势。Certora首席执行官Seth Hallem表示："我们将航空航天级的企业保障标准引入去中心化系统，此次合作将重新定义Web3的风险治理与运营韧性标准。"
安全范式革命进行时
Hypernative联合创始人Gal Sagie指出："该合作不仅提升行业准入门槛，更将推动整体风险管理标准进化。"三方正共同构建"安全即设计"的新型协议架构，使系统兼具用户安全性与开发者可扩展性。
Cork通过代币化风险原语为金库代币、生息稳定币等链上资产构建可编程风险层，其核心交换市场机制能显著提升资产赎回流动性及风险透明度。该平台已获得多家顶级投资机构支持，致力于构建链上信贷市场的机构级基础设施。
Hypernative的实时监测系统整合链上链下数据源，采用机器学习与图计算技术可识别超300种风险类型，包括智能合约漏洞、跨桥攻击等威胁，为客户争取关键应对窗口期。Certora的Prover验证工具已帮助多家头部协议将形式化验证融入开发流程，有效捕捉罕见代码缺陷。
本合作标志着DeFi安全从单点审计向全生命周期防护的战略转型，为行业树立全新安全基准。
