Centrifuge 形式化验证核心协议 1589 项属性
热点事件持续更新
Centrifuge 形式化验证核心协议 1589 项属性
1 篇报道1 个报道来源7 小时前更新
先了解这件事
AI 综述
Centrifuge 借助 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，验证对象覆盖其跨多条链运行的核心逻辑，涉及资金分配、投资组合管理与投资指令执行，对应其 2026 年 V3.1、V3.2、V3.3 系列所构建的功能。该工作由独立研究员 Alex Zoid 完成，验证文档日期为 2026 年 10 月。 除 1,589 项已验证属性外，此次工作还分析了 1,445 个变异体，以检验验证规则的有效性。报道称，形式化验证并不取代 Centrifuge 现有的其他防御措施。该工作属于安全里程碑，未伴随任何代币相关公告。
AI 根据报道生成 · 7 小时前更新
最新进展10月14日 19:06
Centrifuge 用 Certora Prover 形式化验证核心协议 1,589 项属性报道时间线
沿着报道，了解事件的不同侧面。
10月14日
- Crypto BriefingCentrifuge 用 Certora Prover 形式化验证核心协议 1,589 项属性
Centrifuge 借助 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，并分析了 1,445 个变异体以检验验证规则的有效性。验证对象覆盖其跨多条链运行的核心逻辑，涉及资金分配、投资组合管理与投资指令执行，对应其 2026 年 V3.1、V3.2、V3.3 系列所构建的功能。该工作属于安全里程碑，未伴随任何代币相关公告。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 1010月14日 20:00
- 近 24 小时变化
- –
02.557.510
20:0021:0022:0023:0010月15日01:0002:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。