Die Ergebnisse des $20.000 Formal Verification-Teils des Blend V2 Wettbewerbs-Audits sind da! Ein großes Dankeschön an alle, die teilgenommen haben, und herzlichen Glückwunsch an @alexzoid_eth, der den ersten Platz im allerersten Formal Verification-Wettbewerb im Stellar-Ökosystem gesichert hat! Viel Respekt an @blend_capital und @StellarOrg für die Partnerschaft mit C4, um Blend V2 und das Stellar-Ökosystem zu sichern — und an @CertoraInc für die Überwachung und Bewertung des Formal Verification-Segments dieses gemeinsamen Wettbewerbs. Vollständige Liste der Gewinner👇

🥇 Erster Platz: @alexzoid_eth 🥈 Zweiter Platz: @JuliusRaynaldi 🥉 Dritter Platz: @BenRai_