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

Certora protects DeFi with smart contract audits, formal verification, and protocol design reviews.

📍 Join us in NYC on May 21: https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb