1/6 🧵 Только что получил вознаграждение в $25,000 за нахождение критической ошибки с использованием формальной верификации! на недавно развернутом контракте. Спасибо @gegul_' Ошибка была настолько тонкой, что традиционное тестирование полностью ее пропустило. Вот почему метод @CertoraInc меняет правила игры.