1/6 🧵 Щойно отримав винагороду в розмірі 25 000 доларів США за пошук критичної помилки за допомогою офіційної верифікації! на новому розгорнутому контракті Дякуючи @gegul_ Помилка була настільки непомітною, що традиційне тестування повністю її пропустило. Ось чому @CertoraInc метод є дуже змінним