Resultaten av den formella verifieringskomponenten på 20 000 USD i Blend V2 konkurrensrevision är klara! En stor eloge till alla som deltog, och ett stort grattis till @alexzoid_eth för att ha säkrat förstaplatsen i den första formella verifieringstävlingen någonsin i Stellars ekosystem! Stor respekt till @blend_capital och @StellarOrg för att ha samarbetat med C4 för att säkra Blend V2 och Stellars ekosystem – och för att @CertoraInc för att övervaka och bedöma det formella verifieringssegmentet i denna samarbetstävling. Fullständig lista över vinnarna👇

🥇 Första plats: @alexzoid_eth 🥈 Andra plats: @JuliusRaynaldi 🥉 Tredje plats: @BenRai_