Stellar Development Foundation and Certora announced formal verification security support for Soroban, making it the first WASM-powered smart contract platform supported by Certora. The partnership brings mathematical code verification tools to Soroban developers and includes participation in the Soroban Audit Bank Initiative.
Stellar Development Foundation and Certora announced a partnership to provide formal verification security tools for Soroban, Stellar's smart contract platform. Certora, known for securing over 100 high-security bugs in major DeFi protocols like Aave and Compound, is expanding beyond EVM to support WASM for the first time. The partnership includes creating Soroban-specific verification tools and Certora's participation in the Soroban Audit Bank Initiative to train the ecosystem. Formal verification uses mathematical proofs to check code against specifications, going beyond traditional testing. This integration into Soroban's development pipeline helps prevent vulnerabilities before they reach production, complementing Soroban's built-in testing and security features.
