The results of the $20,000 Formal Verification component of the Blend V2 competitive audit are in! Big shoutout to everyone who participated, and a huge congrats to @alexzoid_eth for securing first place in the first-ever formal verification contest in the Stellar ecosystem! Much respect to @blend_capital and @StellarOrg for partnering with C4 to secure Blend V2 and the Stellar ecosystem — and to @CertoraInc for overseeing and judging the formal verification segment of this collaborative competition. Full list of winners👇

🥇 First place: @alexzoid_eth 🥈 Second place: @JuliusRaynaldi 🥉 Third place: @BenRai_