Formal Verification of Uniswap v4 Hooks - DeFi Security Summit 2025
Duration: 00:57:44
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Speaker: Jochen Hoenicke, Formal Verification Researcher, Certora
In this talk you will learn the basics of formal verification and how to apply this to Uniswap hooks. We will show how we can formally model the Uniswap v4 infrastructure, particularly the PoolManager, to find bugs in the interaction between the hook and the pool and protect against unexpected attack vectors.
About DSS
Every year, DSS brings together top minds in blockchain, auditing, and security — from white-hat hackers and protocol developers to academic researchers and industry leaders. The goal? To tackle the most pressing issues in DeFi security head-on — from smart contract exploits and cross-chain vulnerabilities to governance threats and beyond.
https://defisecuritysummit.org/
