Взлом The DAO и Ethereum Classic

Любопытство

1. Почему строка кода, которая выполняется до обновления состояния, позволяет злоумышленнику раз за разом выводить средства?
2. Что происходит, когда сообщество голосует за то, чтобы переписать историю, а не сохранить её?
3. За кем последнее слово: за механизмом консенсуса или за разработчиками, которые его поддерживают?

Исследование

1. The DAO был запущен в апреле 2016 года как автономный венчурный фонд и собрал около 12,7 миллиона ETH более чем от 11 000 инвесторов. Эта сумма составляла примерно 14% всего эфира, находившегося тогда в обращении. Проект работал исключительно на смарт-контрактах: холдеры токенов голосовали за то, какие проекты финансировать, без централизованного руководства и традиционных структур корпоративного управления.
2. 17 июня 2016 года злоумышленник воспользовался уязвимостью повторного входа (reentrancy) в функции split контракта The DAO. Этот баг позволял повторно вызвать контракт до того, как обновится его внутренний баланс. Злоумышленник вывел около 3,6 миллиона ETH в «дочерний DAO» (child DAO), где 28-дневный период удержания заморозил средства. Этот эксплойт показал, что тьюринг-полные машины несут сложные риски управления состоянием, которых нет в более простых системах вроде Bitcoin.
3. Сообщество Ethereum сразу оказалось перед дилеммой: соблюсти неизменяемость реестра или защитить инвесторов от последствий критической ошибки в коде. Разработчики утверждали, что баг был ошибкой реализации, а не задуманным поведением, и что если оставить средства заблокированными, это подорвёт доверие к полезности платформы. Критики возражали, что изменение истории блокчейна нарушает главное обещание децентрализованного консенсуса и создаёт опасный прецедент для будущих вмешательств в управление.
4. 20 июля 2016 года в блоке 1,920,000 произошел жесткий форк Ethereum с целью противодействия атаке и перевода средств на контракт для возврата. Владельцы токенов DAO смогли затем вернуть свой этер с этого контракта. Меньшинство отвергло это вмешательство и продолжило добычу на оригинальной, нередактированной цепи. Эта группа создала Ethereum Classic (ETC), строго придерживаясь принципа, что «код — это закон», и что ни одна сторона не должна иметь права изменять прошлое.
5. Форк породил из одного реестра две параллельные реальности. Ethereum продолжил развиваться в крупную платформу для смарт-контрактов, а Ethereum Classic остался небольшой сетью, во многом служащей философским высказыванием о децентрализации. Этот инцидент повлиял на дальнейшее развитие протоколов во всей криптоиндустрии.
6. Посмотрите на блок 1,920,000 в эксплорере Ethereum и в эксплорере Ethereum Classic: обе сети идентичны до блока 1,919,999, но отличаются начиная с блока 1,920,000. В результате разделения сетей эфир DAO не был перемещен с помощью транзакции; новое программное обеспечение клиента вызвало изменение состояния в этом блоке, поэтому откат происходит в коде, а не в списке транзакций.

Ключевые факты

Упражнение девять, шесть, три, один

Проверка фактов

Даты, цифры и утверждения были проверены по приведенным ниже опубликованным источникам.

• Ethereum Foundation, 'The DAO hack' blog posts (June-July 2016)
• SEC, Report of Investigation: The DAO (July 2017)
• Post-mortem analyses of the reentrancy exploit (2016)