Secure By Design: Intro to Formal Verification for Uniswap v4 Hooks with Certora

​Smart-contract bugs don’t wait for audits—so why should you? In this hands-on session, Certora’s formal-verification engineers will walk you through the basics of proving correctness for Uniswap v4 hooks.

​You’ll learn:

​Why formal verification matters: Unit and fuzz tests sample inputs—formal verification exhaustively proves key properties for all possible states and transactions.

​How the Certora Prover works: a quick tour of specification, assertions, and automated checks.

​Writing your first rule: Using Certora Verification Language

​Takeaways

​By the end, you’ll walk away with:

​A minimal but complete spec you can adapt to your own codebase

​A mental model for choosing what to verify (state-changing invariants, permission checks, re-entrancy guards, & more)

​Bring a laptop, your favorite IDE, and questions—bugs beware.