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

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

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

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

Процесс выполнения функции remove_liquidity следующий:

1. Уничтожить LP-токены пользователя
2. Отправить пользователю средства для стейкинга
3. Обновить переменную self.D

Переменная self.D используется для расчета цены и обновляется как при добавлении, так и при удалении ликвидности. Злоумышленники воспользовались крупными финансовыми операциями, что привело к значительному увеличению значения self.D при добавлении ликвидности, в то время как при удалении оно не было своевременно обновлено.

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

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

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

Оптимизация логики кода и усиление мер безопасности могут эффективно повысить безопасность и стабильность проекта, предотвратив повторение подобных атак.

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