Hasil komponen Verifikasi Formal senilai $20.000 dari audit kompetitif Blend V2 sudah masuk! Teriakan besar untuk semua orang yang berpartisipasi, dan selamat kepada @alexzoid_eth karena telah mengamankan tempat pertama dalam kontes verifikasi formal pertama di ekosistem Stellar! Banyak rasa hormat kepada @blend_capital dan @StellarOrg karena bermitra dengan C4 untuk mengamankan Blend V2 dan ekosistem Stellar — dan untuk @CertoraInc untuk mengawasi dan menilai segmen verifikasi formal dari kompetisi kolaboratif ini. Daftar lengkap pemenang👇

🥇 Juara pertama: @alexzoid_eth 🥈 Juara kedua: @JuliusRaynaldi 🥉 Tempat ketiga: @BenRai_