📹 @palinatolmach joined @AtriumAcademy earlier this month and hosted a workshop on Kontrol, focusing on Uniswap's v4 hooks.

Check out the recording at https://t.co/vT5RSkqEF8 or check out Atrium's thread for a quick summary 👇

Thanks for having us! 🩵

Your v4 hook compiles — but is it provably safe?

Last week @rv_inc demoed Kontrol. They turned Foundry fuzz tests into formal proofs, sniffed out edge-case bugs, and shrunk debug cycles so your v4 hooks ship safely.

Here’s what we covered ↓ https://t.co/smnhkxCqPi