cryptonews.net
The Stellar Blockchain Development Foundation has announced a comprehensive security test of its upcoming smart contract platform, Soroban. To conduct the security test, Stellar partnered with Certora, a company specializing in tools for analyzing the security of smart contracts.
Soroban, which is currently running on the testnet, will provide developers with a new mechanism for deploying smart contracts, expanding the ecosystem of applications built on the Stellar blockchain. The platform uses WebAssembly (WASM), a binary code format adapted for traditional Web and blockchain integration.
The Stellar Blockchain Development Foundation said it will use Certora's formal verification tools, which go beyond simple one-time code review and provide continuous integration services. When the code changes, it conforms to the specifications. This approach is designed to continually prevent bugs and vulnerabilities in the codebase.
Image: Cheesecake Labs