Resultatene av den formelle verifiseringskomponenten på $20 000 i Blend V2-konkurranserevisjonen er inne! Stor shoutout til alle som deltok, og en stor gratulasjon til @alexzoid_eth for å sikre førsteplassen i den første formelle verifiseringskonkurransen noensinne i Stellar-økosystemet! Stor respekt til @blend_capital og @StellarOrg for å samarbeide med C4 for å sikre Blend V2 og Stellar-økosystemet – og til @CertoraInc for å overvåke og bedømme det formelle verifiseringssegmentet i denne samarbeidskonkurransen. Full liste over vinnere👇

🥇 Førsteplass: @alexzoid_eth 🥈 Andreplass: @JuliusRaynaldi 🥉 Tredjeplass: @BenRai_