Результати компоненту «Формальна верифікація» конкурсного аудиту Blend V2 на суму 20 000 доларів США! Велика подяка всім, хто взяв участь, і величезні вітання @alexzoid_eth з тим, що вони посіли перше місце в першому в історії конкурсі на офіційну верифікацію в екосистемі Stellar! Велика повага до @blend_capital та @StellarOrg за партнерство з C4 для забезпечення безпеки Blend V2 та екосистеми Stellar, а також @CertoraInc за нагляд та оцінювання сегменту офіційної верифікації цього спільного змагання. Повний список переможців👇

🥇 Перше місце: @alexzoid_eth 🥈 Друге місце: @JuliusRaynaldi 🥉 ІІІ місце: @BenRai_