¡Los resultados del componente de Verificación Formal de $20,000 de la auditoría competitiva de Blend V2 ya están aquí! ¡Un gran agradecimiento a todos los que participaron, y una enorme felicitación a @alexzoid_eth por asegurar el primer lugar en el primer concurso de verificación formal en el ecosistema Stellar! Mucho respeto a @blend_capital y @StellarOrg por asociarse con C4 para asegurar Blend V2 y el ecosistema Stellar — y a @CertoraInc por supervisar y juzgar el segmento de verificación formal de esta competencia colaborativa. Lista completa de ganadores👇

🥇 Primer lugar: @alexzoid_eth 🥈 Segundo lugar: @JuliusRaynaldi 🥉 Tercer lugar: @BenRai_