热点事件持续更新
Centrifuge 完成核心协议形式化验证
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
2026 年 10 月，Centrifuge 使用 Certora Prover 对其核心组件完成形式化验证。据 Crypto Briefing 报道，验证文档日期为 2026 年 10 月，由独立研究员 Alex Zoid 执行，共验证 1,589 项属性，并分析了 1,445 个变异体。验证针对跨多条链运行的核心逻辑，覆盖资金分配、投资组合管理与投资授权执行，属于其 2026 年 V3 系列多层安全策略的一部分。报道称 Centrifuge 未就此发布任何代币相关公告。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月14日
- Crypto BriefingCentrifuge 用 Certora Prover 形式化验证核心协议 1,589 项属性
Centrifuge 使用 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，验证文档日期为 2026 年 10 月，由独立研究员 Alex Zoid 执行，同时分析了 1,445 个变异体。验证针对跨多条链运行的核心逻辑，覆盖资金分配、投资组合管理与投资授权执行，属于其 2026 年 V3 系列多层安全策略的一部分。Centrifuge 未就此发布任何代币相关公告。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。