The development foundation behind the Stellar blockchain has announced comprehensive security checks for its forthcoming smart contracts platform, Soroban.
It has entered into a partnership with the security firm Certora, known for its formal verification tooling, to conduct these security audit checks.
Soroban, currently live on testnet, will give developers a new mechanism to deploy smart contracts, broadening the ecosystem of applications built on the Stellar blockchain. The platform leverages WebAssembly (WASM) — a binary-code format tailored for traditional web and blockchain integrations.
Considering the adversarial blockchain environment where even minor code vulnerabilities can lead to major setbacks, Stellar confirmed the implementation of rigorous security checks was necessary. Owing to their transparent and immutable characteristics, smart contracts necessitate stringent security measures to ward off potential threats.
The Stellar Development Foundation stated it will employ Certora’s formal verification tools, which surpass a mere one-time code inspection and provide a continuous integration service. When code is modified, it aligns with the specifications. This approach is designed to consistently keep bugs and vulnerabilities out of the codebase.
“Certora’s support of Soroban will equip the over 100 projects already in development on the platform with state-of-the-art verification tools to ensure software integrity,” said Tomer Weller, VP of Product at the Stellar Development Foundation. “Together with the intrinsic testing and security features of Soroban, developers have the tools required to bypass previous vulnerabilities and set the foundation for a secure DeFi ecosystem from its inception.”
Stellar blockchain
Co-founded in 2014 by Jed McCaleb and Joyce Kim, Stellar is an open-source blockchain protocol enabling swift cross-border transactions.
Originally, Stellar functioned on a system akin to Ripple since it was conceptualized as a fork. However, facing challenges and driven by the aspiration for a distinctive solution, Stellar introduced a completely revamped codebase with a renewed consensus mechanism termed the Stellar Consensus Protocol (SCP).
Though Stellar has supported smart contracts in the past, the core team has been progressively focusing on developing Soroban as general-purpose and developer-friendly platform to deploy WASM-based high-performance dapps. The mainnet launch of Soroban is expected by early next year.
