Verified Hooks: Security, Debugging, and Formal Verification for Uniswap v4

​Learn how to build safer, more reliable Uniswap v4 hooks in a security-focused workshop co-hosted by Atrium Academy and Runtime Verification, the Uniswap Foundation’s subsidized audit provider.

​

​We’ll walk through the issues appearing in early hook designs and show how open-source tooling like Kontrol helps developers catch subtle bugs through formal verification and interactive debugging.

​

​What you’ll learn:

​- How Kontrol integrates with Foundry to turn your existing fuzz tests into formal proofs

​- Tooling and workflows you can use today to catch more issues

​- How formal verification helps surface edge cases that regular tests miss

​- How to debug failing properties with minimal friction

​

​Whether you're building your first hook or hardening one for a mainnet launch, this session will give you the tools and the mindset to build safer DeFi projects.