I risultati del componente di Verifica Formale da $20.000 dell'audit competitivo di Blend V2 sono arrivati! Un grande ringraziamento a tutti coloro che hanno partecipato, e un enorme congratulazioni a @alexzoid_eth per aver conquistato il primo posto nel primo contest di verifica formale mai tenuto nell'ecosistema Stellar! Massimo rispetto a @blend_capital e @StellarOrg per aver collaborato con C4 per garantire Blend V2 e l'ecosistema Stellar — e a @CertoraInc per aver supervisionato e giudicato il segmento di verifica formale di questa competizione collaborativa. Elenco completo dei vincitori👇

🥇 Primo posto: @alexzoid_eth 🥈 Secondo posto: @JuliusRaynaldi 🥉 Terzo posto: @BenRai_