Sunbeam: Usable Formal Verification for Smart Contracts on Stellar

Demos/Product

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

Mooly Sagiv

CEO
Certora