Centrifuge completes formal verification of core components
Summary
Centrifuge has achieved a significant milestone by formally verifying its core components using Certora Prover for the first time, covering 1,589 properties related to accounting, share issuance, and other critical areas. This step is part of Centrifuge's continuous security program, which includes independent researcher reviews and scheduled audits alongside major updates to ensure robust security measures are in place. Certora's recent efforts to enhance formal verification capabilities aim to make property proving more accessible during the development of various ecosystems, further supporting initiatives like Centrifuge's security processes.
Analysis
Certora: Certora develops formal verification tools including the Certora Prover for proving properties in smart contracts on EVM, Solana, and Stellar environments. The company has been expanding its AutoProver platform with AI assistance and native support for additional languages and chains in recent months. In this news, its Prover was used to formally verify 1,589 properties in Centrifuge's core accounting, holdings, issuance, and messaging components. Alex Zoid: Alex Zoid is a formal verification specialist recognized as a top contributor on the Certora leaderboard with dozens of engagements across EVM, Stellar, and Solana protocols since 2023. He maintains a public track record of specification work and bug discoveries through audits and verification projects. In this news, he is tagged in connection with Centrifuge's security documentation and formal verification efforts. Centrifuge: Centrifuge is a protocol focused on bringing tokenized real-world assets and onchain finance infrastructure to asset managers and investors across multiple EVM chains. It recently expanded its V3 release with features for multichain fund distribution, portfolio management, and enforceable investment mandates. In this news, its core components underwent formal verification using Certora Prover as part of a layered, continuous security review process. Security Process: Centrifuge maintains a continuous security program that includes independent researcher reviews, scheduled audits, and bug bounties alongside major releases such as V3 updates. Formal Verification Expansion: Certora has been extending its formal verification capabilities with AI-assisted tools and support for new ecosystems like Rust and Solana to make property proving more accessible during development.
Categories
cryptoethereumdefihyperliquidtech
Related sources
- https://www.certora.com/blog
- https://www.rockawayx.com/insights/centrifuge-launches-v3-wormhole-powered-rwa
- https://x.com/centrifuge/status/2108152504173347095
- https://x.com/i/user/1689053448
- https://x.com/centrifuge/status/2105699622937326054
- https://x.com/i/user/1321644672880619521
- https://www.tokenpost.com/news/business/27010
- https://x.com/centrifuge/status/2105699647897629144
- https://coinmarketcap.com/cmc-ai/centrifuge/latest-updates/
- https://x.com/Certora/status/2109659598550622666
- https://x.com/i/user/1671041128366235650
- https://www.certora.com/blog/autoprover-rust-formal-verification-solana
- https://github.com/alexzoid-eth/fv-track-record
- https://www.certora.com/blog/engineers-hub?format=technical-analysis
- https://x.com/windhustler/status/2106019274720424376
- https://github.com/orgs/Certora/repositories
- https://x.com/centrifuge/status/2107153596848775514