Centrifuge formally verifies 1,589 properties of its core protocol
Centrifuge 借助 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，并分析了 1,445 个变异体以检验验证规则的有效性。验证对象覆盖其跨多条链运行的核心逻辑，涉及资金分配、投资组合管理与投资指令执行，对应其 2026 年 V3.1、V3.2、V3.3 系列所构建的功能。该工作属于安全里程碑，未伴随任何代币相关公告。
Centrifuge 借助 Certora Prover 对其核心组件完成 1,589 项属性的形式化验证，并分析了 1,445 个变异体以检验验证规则的有效性。验证对象覆盖其跨多条链运行的核心逻辑，涉及资金分配、投资组合管理与投资指令执行，对应其 2026 年 V3.1、V3.2、V3.3 系列所构建的功能。该工作属于安全里程碑，未伴随任何代币相关公告。