Os resultados do componente de Verificação Formal de $20,000 da auditoria competitiva Blend V2 estão disponíveis! Um grande agradecimento a todos que participaram, e uma enorme congratulação ao @alexzoid_eth por garantir o primeiro lugar no primeiro concurso de verificação formal no ecossistema Stellar! Muito respeito ao @blend_capital e ao @StellarOrg por se associarem à C4 para garantir o Blend V2 e o ecossistema Stellar — e ao @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_