И мы не будем одни. @thebensams, директор по инженерии в @trailofbits, команде, стоящей за критическими ошибками, экстренными форками и миллиардными посмертными отчетами, присоединяется к нам для открытия.

3 недели с момента запуска до эксплуатации - $5 миллионов выведено из @BetterBank_io, оставив пользователей с пустыми карманами, в то время как собственная логика вознаграждений протокола печатала деньги. Простая ошибка в стимуле вызвала катастрофические потери, продемонстрировав, как быстро математика DeFi может обернуться против вас. История ниже.

Формальная проверка или формальные похороны. Выбор за вами.