Ripple (XRP) Rival Stellar (XLM) and Certora Join Forces to Fortify Soroban Smart Contract Platform
The Stellar Development Foundation has partnered with Certora to enhance the security of its smart contracts platform, Soroban. Certora’s formal verification tools not only check the code but offer continuous integration, ensuring code alignment with specifications as it evolves. On Wednesday, October 11, the Stellar Development Foundation joined hands with Certora while announcing additional security […