Sunbeam Tutorials

Tutorials for Certora Sunbeam – a tool for formal verification of Soroban smart contracts.

General:

• Installation and setup

Projects:

• Token project exercises
  • Introduction
  • 0. Warm up
  • 1. A property to check the initial balance of a new account
  • 2. Effect of transfer on the balances of various addresses
  • 3. transfer under insufficient funds
  • 4. Specs for mint and burn
  • 5. Assessing your specs through mutation testing

---

Indices and tables

• Index

• Search Page