Les résultats du composant de Vérification Formelle de 20 000 $ de l'audit compétitif Blend V2 sont là ! Un grand merci à tous ceux qui ont participé, et un énorme bravo à @alexzoid_eth pour avoir remporté la première place lors du tout premier concours de vérification formelle dans l'écosystème Stellar ! Un grand respect à @blend_capital et @StellarOrg pour leur partenariat avec C4 afin de sécuriser Blend V2 et l'écosystème Stellar — et à @CertoraInc pour avoir supervisé et jugé le segment de vérification formelle de cette compétition collaborative. Liste complète des gagnants👇

🥇 Première place : @alexzoid_eth 🥈 Deuxième place : @JuliusRaynaldi 🥉 Troisième place : @BenRai_