Reentrancy —
что это такое простыми словами

Это модификатор функции из библиотеки OpenZeppelin ReentrancyGuard, который защищает функцию от повторного входа. Технически он устанавливает мьютекс (флаг «я внутри функции») в начале выполнения и сбрасывает его в конце. Если внешний вызов попытается войти в ту же функцию повторно, флаг уже установлен — и транзакция откатится с ошибкой ReentrancyGuardReentrantCall. Использование одной строки function withdraw() public nonReentrant {...} полностью закрывает уязвимость. OpenZeppelin — это стандарт де-факто для смарт-контрактов: их библиотеки используют Uniswap, Aave, Compound и тысячи других проектов. Если в новом DeFi-проекте нет ReentrancyGuard, это серьёзный красный флаг.

Сама по себе Reentrancy не угрожает кошельку — это уязвимость смарт-контракта, в который ты положил средства. Твой приватный ключ и сид-фраза остаются в безопасности. Однако если ты положил USDC, ETH или другие токены в уязвимый DeFi-протокол, и его взломали через Reentrancy, ты теряешь именно те средства, что были на контракте. Поэтому правило простое: не клади больше, чем готов потерять, в новые непроверенные протоколы. Если ты хранишь крипту на холодных кошельках вроде аппаратного кошелька Ledger или Trezor и не взаимодействуешь с DeFi — Reentrancy для тебя нерелевантна.

Используются три уровня проверки. Первый — статический анализ через инструменты вроде Slither, MythX, Mythril, Securify. Они автоматически просматривают код Solidity и помечают функции, в которых внешний вызов идёт до обновления состояния — это классический признак уязвимости. Второй уровень — фаззинг и формальная верификация: тулы вроде Echidna и Manticore запускают тысячи случайных тестов и пытаются эксплуатировать контракт. Третий уровень — ручной аудит от компаний вроде Trail of Bits, OpenZeppelin, ConsenSys Diligence, CertiK. Аудиторы читают код построчно и моделируют атаки. Стоимость полного аудита для среднего DeFi-протокола — от 50 000 до 500 000 долларов, и это окупается одной предотвращённой атакой.

Это разновидности классической атаки. Cross-function Reentrancy случается, когда атакующий повторно входит не в ту же функцию, что и в первый раз, а в другую функцию того же контракта, которая разделяет с уязвимой состояние. Например, если withdraw защищена nonReentrant, но balance() не защищена — атакующий может через manipulate balance в момент, когда withdraw приостановлена внешним вызовом. Защита — ставить nonReentrant на ВСЕ функции, работающие с теми же переменными. Read-only Reentrancy — это эксплуатация view-функций оракулов, когда контракт-агрегатор вызывает price() у уязвимого протокола в момент, когда цена временно искажена. Этот тип атаки сложнее обнаружить и потребовал апдейтов в Curve, Balancer и других топ-протоколах в 2022 году.

The DAO был запущен в апреле 2016 как децентрализованный венчурный фонд на Ethereum с собранными 150 млн долларов в ETH. Уже через несколько недель исследователь Питер Веслинес опубликовал статью о Reentrancy-уязвимости в коде. Команда обсуждала фикс, но не успела — 17 июня атакующий вывел 3,6 млн ETH (тогда 60 млн долларов, сейчас более 10 миллиардов). Деньги нельзя было вернуть технически — они уже в блокчейне. Сообщество Ethereum приняло беспрецедентное решение: провести хард-форк сети и переписать историю, вернув средства держателям. Несогласные остались на оригинальной цепи, которая стала Ethereum Classic (ETC). Этот форк до сих пор обсуждается как один из самых противоречивых моментов в истории крипты.