Sunbeam: Usable Formal Verification for Smart Contracts on Stellar
Come learn about Sunbeam, a new formal verification tool for Soroban smart contracts, with Certora CEO Mooly Sagiv. He will explain how Sunbeam enables Soroban smart contract developers to write functional properties similar to program tests, checks the property on arbitrary inputs, and how it operates at the WebAssembly level. Plus you'll see examples of properties that can be checked with Sunbeam and discuss the technical details on how Sunbeam works.
SPEAKERS
Mooly Sagiv
CEO
Certora