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