Excited to welcome @CertoraInc as the Platinum Sponsor of SVM Summit.

Certora 以智能合約審計、正式驗證和協議設計審查來保護 DeFi。

📍 6月21日在紐約市與我們會面：https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb