Safety of Soroban Smart Contracts
In Soroban, smart contracts are implemented as modular Rust programs, which are then compiled into web assembly. This brings new financial potential to Stellar but also poses new security challenges. We explore these challenges, presenting a new mitigation technology that analyzes all web assembly program executions to improve smart contract security. Join this sessio to hear how Certora's technology compiles web assembly code from Soroban smart contracts into mathematical constraints and then employs constraint solvers to find bugs and prove their absence.