Stellar Blockchain Enhances Security with Soroban Smart Contracts Platform
The Stellar Development Foundation has partnered with security firm Certora to conduct comprehensive security checks on its upcoming smart contracts platform, Soroban. The platform, currently live on testnet, will provide developers with a new mechanism for deploying smart contracts on the Stellar blockchain. By leveraging WebAssembly (WASM), Soroban enables traditional web and blockchain integrations. Given the adversarial nature of the blockchain environment, Stellar recognizes the importance of rigorous security measures to protect against vulnerabilities. Certora’s formal verification tools will be used to continuously inspect and align code modifications with specifications, ensuring software integrity and minimizing bugs and vulnerabilities.
About Stellar Blockchain
Founded in 2014 by Jed McCaleb and Joyce Kim, Stellar is an open-source blockchain protocol designed for fast cross-border transactions. Initially based on a system similar to Ripple, Stellar later introduced a revamped codebase and consensus mechanism known as the Stellar Consensus Protocol (SCP). While Stellar has supported smart contracts in the past, it has been focusing on developing Soroban as a general-purpose platform for deploying high-performance dapps using WASM. The mainnet launch of Soroban is anticipated in early 2022.
Hot Take: Advancing Security Measures for Smart Contracts
The partnership between the Stellar Development Foundation and Certora marks a significant step towards enhancing security in the realm of smart contracts. With the impending launch of Soroban, developers will have access to state-of-the-art verification tools that ensure software integrity from the start. By continuously inspecting and aligning code modifications with specifications, vulnerabilities can be minimized, enabling the creation of a secure decentralized finance (DeFi) ecosystem. This collaboration demonstrates Stellar’s commitment to providing a safe and reliable platform for developers to build applications on the blockchain.
By
By
By
By
By