Несколько недель назад я защитил свой выпускной проект в университете — систему блокчейн-голосования для университетских выборов с верификацией личности через keccak256. Шесть месяцев работы. Затем на этой неделе я прочитал разбор BonkDAO: $20 млн были похищены без единой уязвимой строки кода. Злоумышленник просто купил достаточно токенов, чтобы одобрить предложение. Моя система сломалась бы точно так же. Код был чистым, хеширование личности работало, проверки-эффекты-взаимодействия применялись повсюду. Но я никогда не моделировал экономический слой. Я никогда не задавался вопросом: что произойдет, если стоимость приобретения голосующей силы упадет ниже стоимости того, чем управляет голосование. Моя комиссия по защите тоже этого не заметила — потому что в университете никто на это не смотрит. Промежуток между тем, что ваш код корректен, и тем, что система безопасна, — именно там и живет настоящая работа. Именно этим я собираюсь заниматься в ближайшие несколько лет.