Рады приветствовать @CertoraInc в качестве Platinum Sponsor SVM Summit.

Certora защищает DeFi с помощью аудита смарт-контрактов, формальной верификации и обзоров протокольного дизайна.

📍 Присоединяйтесь к нам в Нью-Йорке 21 мая: https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb