Os resultados do componente de Verificação Formal de $ 20,000 da auditoria competitiva Blend V2 chegaram! Um grande agradecimento a todos que participaram e um grande parabéns a @alexzoid_eth por garantir o primeiro lugar no primeiro concurso de verificação formal no ecossistema Stellar! Muito respeito à @blend_capital e @StellarOrg pela parceria com a C4 para proteger o Blend V2 e o ecossistema Stellar - e à @CertoraInc por supervisionar e julgar o segmento de verificação formal desta competição colaborativa. Lista completa dos vencedores👇

🥇 Primeiro lugar: @alexzoid_eth 🥈 Segundo lugar: @JuliusRaynaldi 🥉 Terceiro lugar: @BenRai_