Centrifuge formally verifies 1,589 properties of its core protocol

Centrifuge has formally verified 1,589 properties of its core components using the Certora Prover. That is a lot of math pointed at one codebase. For a protocol that handles onchain asset management and real-world asset infrastructure, the work goes to the core of what it sells. Moving funds is easy. Proving the code does exactly what it promises, every time, is the hard part. What Centrifuge actually verified The verification documentation is dated October 2026. Independent researcher Alex Zoid carried out the work. Alongside the 1,589 verified properties, the effort included an analysis of 1,445 mutants. That second number deserves a moment of attention, because it is where the real stress test happens. Formally, mutants are deliberately altered versions of the code, and a good set of rules should catch them. If someone sneaks a flaw into the code and the verification rules shrug, the rules are not doing their job. Running 1,445 mutants is a way of testing whether the 1,589 properties have real teeth. The verified properties target the protocol’s core logic, which operates across multiple chains. That logic supports fund distribution, portfolio management and the enforcement of i...