Euler Finance зазнав флеш-атаки, втратили майже 200 мільйонів доларів

13 березня проєкт Euler Finance зазнав флеш-атаки через вразливість у контракті, що призвело до втрати близько 197 мільйонів доларів США. Зловмисник скористався вразливістю у функції donateToReserves, в якій відсутня перевірка ліквідності, здійснивши кілька операцій з різними валютами для отримання прибутку. Наразі вкрадені кошти все ще залишаються на рахунку атакуючого.

Аналіз процесу атаки

1. Зловмисник спочатку взяв у борг 30 мільйонів DAI за допомогою Термінові позики з певної платформи, а потім розгорнув два контракти: один для позики, а інший для ліквідації.

2. Залишити 20 мільйонів DAI в контракті Euler Protocol, отримати 19 мільйонів eDAI.

3. Використовуючи функцію 10-кратного кредитного плеча Euler Protocol, позичте 1,956 мільйона eDAI та 200 мільйонів dDAI.

4. Використати залишок 10 мільйонів DAI для часткового погашення боргу та знищити відповідну кількість dDAI, після чого знову позичити таку ж кількість eDAI та dDAI.

5. Через функцію donateToReserves пожертвувати 100 мільйонів eDAI, після чого викликати функцію liquidate для ліквідації, отримавши 310 мільйонів dDAI та 250 мільйонів eDAI.

6. Нарешті, вилучено 3890 мільйонів DAI, повернуто 3000 мільйонів Термінові позики, чистий прибуток становить приблизно 887 мільйонів DAI.

Аналіз причин уразливості

Основною причиною успішної атаки є те, що функція donateToReserves не має необхідної перевірки ліквідності. На відміну від інших ключових функцій, таких як mint, функція donateToReserves не викликає checkLiquidity для перевірки ліквідності користувача. Це дозволяє зловмиснику за допомогою певних дій перевести свій рахунок у стан, що підлягає ліквідації, а потім завершити ліквідацію та отримати прибуток.

У нормальних умовах функція checkLiquidity викликає модуль RiskManager, щоб забезпечити, що кількість Etoken у користувача завжди перевищує кількість Dtoken. Однак функція donateToReserves пропускає цей критичний крок, створюючи можливість для атаки.

Рекомендації з безпеки

Ця подія ще раз підкреслила важливість безпеки аудиту смарт-контрактів. Команда проекту повинна провести всебічну та детальну перевірку безпеки перед запуском, особливо для проектів, пов'язаних з кредитуванням, необхідно зосередитися на наступних аспектах:

1. Цілісність механізму повернення коштів
2. Повнота перевірки ліквідності
3. Безпека процесу ліквідації боргів

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