Анализ атаки повторного входа на Jarvis Network с использованием Срочных займов

15 января 2023 года проект Jarvis_Network подвергся хакерской атаке, в результате которой было потеряно 663101 MATIC. Анализируя данные о транзакциях, было выявлено, что данная атака связана со Срочными займами и уязвимостью повторного входа.

Атакующий использовал уязвимость в функции remove_liquidity. При удалении ликвидности эта функция возвращает токены, добавленные пользователем. Поскольку Polygon и EVM являются однородными цепочками, перевод MATIC на контракт вызывает логику повторного входа контракта.

Обратите внимание на процесс вызова функции getUnderlyingPrice. Эта функция включает взаимодействие нескольких контрактов, некоторые из которых не являются открытыми. Анализ показывает, что проблема заключается в значении, возвращаемом функцией get_virtual_price. Возвращаемое значение этой функции значительно отличается до и после повторного входа.

! Анализ инцидентов атаки на повторный вход в сеть Jarvis

Конкретно, обновление переменной self.D происходит после перевода токенов. Когда злоумышленник удаляет ликвидность, MATIC переводится на контракт злоумышленника. При вызове функции обратного вызова fallback злоумышленник сначала запрашивает цену определённого токена. Поскольку обновление self.D отстаёт от перевода, это приводит к ошибке в получении предыдущей цены.

Процесс удаления ликвидности включает: 1) уничтожение LP-токенов пользователя; 2) отправка пользователю залоговых средств; 3) обновление значения self.D. self.D используется для расчета цены и обновляется как при добавлении, так и при удалении ликвидности. Злоумышленник использовал уязвимость больших объемов ликвидности и времени обновления self.D, чтобы провести повторный ввод на этапе 2 и занять средства по цене, в 10 раз превышающей первоначальную.

Хотя функция remove_liquidity использует декоратор @nonreentrant('lock') для предотвращения повторного входа, злоумышленник обошел этот механизм защиты через межконтрактное кредитование.

Данная атака выявила недостатки проекта в логике изменения переменных и безопасности межконтрактных вызовов. Для предотвращения подобных атак рекомендуется проектной стороне принять следующие меры:

1. Провести строгую безопасность аудит.
2. Поместите изменения переменной перед внешним вызовом.
3. Использование многоданных источников для получения цен.
4. Соблюдайте кодировочные нормы "Проверки-Эффекты-Взаимодействия" (Checks-Effects-Interactions).

С помощью этих мер можно значительно повысить безопасность и стабильность проекта, предотвратив повторение подобных атак.