Wyniki komponentu Formal Verification o wartości 20 000 USD w ramach audytu konkurencyjnego Blend V2 są już dostępne! Wielkie podziękowania dla wszystkich, którzy wzięli udział, a ogromne gratulacje dla @alexzoid_eth za zdobycie pierwszego miejsca w pierwszym w historii konkursie formalnej weryfikacji w ekosystemie Stellar! Duży szacunek dla @blend_capital i @StellarOrg za współpracę z C4 w celu zabezpieczenia Blend V2 i ekosystemu Stellar — oraz dla @CertoraInc za nadzorowanie i ocenianie segmentu formalnej weryfikacji w tej wspólnej rywalizacji. Pełna lista zwycięzców👇

🥇 Pierwsze miejsce: @alexzoid_eth 🥈 Drugie miejsce: @JuliusRaynaldi 🥉 Trzecie miejsce: @BenRai_