@Uniswap v4が今ライブです💥私たちはすぐに、可能性の限界を押し広げるフックを見ることになるでしょう。しかし、大きな柔軟性には、$50億以上のエコシステムに新たなリスクが伴います。Certora + @spearbit + @cantinaxyzコミュニティは、v4のセキュリティをバイトコードレベルで正式に検証しました。テストされただけでなく、証明されました。調査結果、方法論、修正に深く掘り下げていきましょう👇