@Uniswap v4 現已上線 💥

我們將很快看到推動可能性邊界的 hooks。但隨着高度靈活性而來的是對一個超過50億的生態系統的新風險。

Certora + @spearbit + @cantinaxyz 社區在字節碼層面正式驗證了 v4 的安全性。

不僅僅是測試 -  而是經過驗證。
深入瞭解發現、方法論和修復 👇