De resultaten van de $20.000 Formele Verificatie component van de Blend V2 competitieve audit zijn binnen! Grote shoutout naar iedereen die heeft deelgenomen, en een enorme felicitatie aan @alexzoid_eth voor het behalen van de eerste plaats in de allereerste formele verificatiewedstrijd in het Stellar-ecosysteem! Veel respect voor @blend_capital en @StellarOrg voor de samenwerking met C4 om Blend V2 en het Stellar-ecosysteem veilig te stellen — en aan @CertoraInc voor het toezicht houden op en het beoordelen van het formele verificatiegedeelte van deze gezamenlijke competitie. Volledige lijst van winnaars👇

🥇 Eerste plaats: @alexzoid_eth 🥈 Tweede plaats: @JuliusRaynaldi 🥉 Derde plaats: @BenRai_