When

🗓 Thursday | 1:45–3:15 PM (Mountain Time)

Where

📍 Sui Summit @ Thrive Workspace

👉 Training Room — Head downstairs, navigate the maze 🌀

📌 1415 Park Ave W, Denver, CO 80205

What

🚀 Join us for a deep dive into the Sui Move Prover—the ultimate tool for secure smart contracts! Thanks to grants from the Sui Foundation 🙏, we're reviving the Move Prover and unlocking formal verification for everyone. Jump in hands-on with real-world examples inspired by Uniswap v2 and supercharge your DeFi security skills! 🔐✨

Agenda

1. Quick intro to Sui Move Prover (5 min)

• What exactly is formal verification?
• A quick history of the Sui Move Prover
• How can verification boost your smart contract game?

2. Simple LP Example (15 min)

• Anatomy of a spec
• Writing your first verification spec

3. Live Demo: Proving Uniswap v2 specs (40 min)

• Guaranteeing LP price always rises on deposit

4. Hands-On Lab (30 min)

• Your turn! Prove LP price increases on withdraw