Кілька тижнів тому я захистив свій фінальний проект університету — систему блокчейн-голосування для студентських виборів. Верифікація особи за допомогою Keccak256. Шість місяців роботи. Потім цього тижня я прочитав опис BonkDAO: $20 млн було виведено без жодного уразливого рядка коду. Зловмисник просто купив достатньо токенів, щоб пройти пропозицію. Моя система так само була б зруйнована. Код був чистим. Хешування ідентичності працювало. Всюди дотримувався принцип checks-effects-interactions. Але я ніколи не моделював економічний шар. Ніколи не запитував, що станеться, коли вартість отримання голосувальної влади впаде нижче за вартість того, що керується голосуванням. Моя комісія на захисті теж цього не помітила — бо саме цього ніхто не шукає в університеті. Розрив між тим, що ваш код правильний, і тим, що система безпечна — саме там живе справжня робота. Саме це я вирішив вивчати наступні кілька років.