Centrifuge 用 Certora Prover 形式化验证核心协议 1,589 项属性

Centrifuge 使用 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，验证文档日期为 2026 年 10 月，由独立研究员 Alex Zoid 执行，同时分析了 1,445 个变异体。验证针对跨多条链运行的核心逻辑，覆盖资金分配、投资组合管理与投资授权执行，属于其 2026 年 V3 系列多层安全策略的一部分。Centrifuge 未就此发布任何代币相关公告。