エキサイティングなニュースです！ @CertoraInc が SVM Summit のプラチナスポンサーに参加します。

Certora は、smart contract audits、formal verification、そして protocol design reviews を通じて DeFi を守ります。

📍 5月21日にNYCで開催： https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb