Stellar Development Foundation partners with Certora to conduct security audits for Soroban, its upcoming WebAssembly-based smart contracts platform. The formal verification tools will provide continuous integration security checks as the platform approaches mainnet launch in early 2025.
Stellar Development Foundation announced a partnership with security firm Certora to perform comprehensive security audits on Soroban, its forthcoming smart contracts platform currently live on testnet. Certora will deploy formal verification tools that go beyond one-time code inspections, offering continuous integration services to catch bugs and vulnerabilities as code is modified. Soroban uses WebAssembly and will enable developers to deploy high-performance decentralized applications on Stellar. Over 100 projects are already in development on the platform. The rigorous security approach is critical given the immutable nature of smart contracts and the adversarial blockchain environment. Soroban mainnet launch is expected in early 2025.
