Stellar Development Foundation Partners with Certora to Enhance Security of Soroban Smart Contracts Platform
The Stellar Development Foundation has partnered with Certora to enhance the security of its smart contracts platform, Soroban. Certora’s formal verification tools will not only check the code but also offer continuous integration, ensuring code alignment with specifications as it evolves. Soroban, powered by WASM (WebAssembly), is the first platform to receive support from Certora […]