Результаты компонента Формальной Проверки на сумму $20,000 в рамках конкурентного аудита Blend V2 уже готовы! Большое спасибо всем, кто принял участие, и огромные поздравления @alexzoid_eth за первое место в первом в истории конкурсе формальной проверки в экосистеме Stellar! Большое уважение @blend_capital и @StellarOrg за партнерство с C4 для обеспечения безопасности Blend V2 и экосистемы Stellar — и @CertoraInc за надзор и оценку сегмента формальной проверки этого совместного соревнования. Полный список победителей👇

🥇 Первое место: @alexzoid_eth 🥈 Второе место: @JuliusRaynaldi 🥉 Третье место: @BenRai_