Аналіз атаки повторного входу на термінові позики в мережі Jarvis

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

Зловмисник скористався вразливістю у функції remove_liquidity. При видаленні ліквідності ця функція повертає токени, які користувач додав. Оскільки Polygon та EVM є гомоморфними ланцюгами, передача MATIC до контракту активує логіку повторного входу контракту.

Зосередьтеся на процесі виклику функції getUnderlyingPrice. Ця функція пов'язана з взаємодією кількох контрактів, деякі з яких не є відкритими. В аналізі виявлено, що проблема полягає в значенні, яке повертає функція get_virtual_price. Це значення має значні відмінності до та після повторного входу.

Конкретно, оновлення змінної 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).

Завдяки цим заходам можна значно підвищити безпеку та стабільність проєкту, запобігаючи повторенню подібних атак.