Механізм Hook Uniswap v4: інновації та виклики

Uniswap v4 незабаром з'явиться, і це оновлення принесе безліч інноваційних функцій, серед яких механізм Hook особливо привертає увагу. Цей механізм дозволяє виконувати користувацький код на певних етапах життєвого циклу ліквідного пулу, значно підвищуючи масштабованість і гнучкість пулу. Проте механізм Hook також може стати двосічним мечем, адже його складність неминуче приносить нові потенційні ризики безпеки.

Ця стаття, як перша в серії, представить концепції механізму Hook в Uniswap v4 та окреслить можливі ризики безпеки.

Основний механізм Uniswap v4

Основні нововведення Uniswap v4 включають Hook, одноразову архітектуру та миттєвий облік. Ці функції призначені для реалізації користувацьких ліквіднісних пулів і ефективної маршрутизації через кілька пулів.

Механізм Hook

Hook є контрактом, який працює на різних етапах життєвого циклу ліквідних фондів. Наразі існує вісім колбеків Hook, поділених на чотири групи:

• передІніціалізацією/післяІніціалізації
• передЗміноюПозиції/післяЗміниПозиції
• перед обміном/після обміну
• передДонатом/післяДонату

Ці Hook можуть реалізувати такі функції, як динамічні збори, лімітні ордери в ланцюгу та середній зважений за часом маркет-мейкер (TWAMM).

! [Чому Hook є «палицею з двома кінцями» для Uniswap V4?] ](https://img-cdn.gateio.im/webp-social/moments-f652bf2a22ca7f28f19b4ce9880d0548.webp)

Однофайлова архітектура та блискавичний облік

Одноразова архітектура та блискавична бухгалтерія призначені для підвищення продуктивності та ефективності. Усі пулю ліквідності зберігаються в одному смарт-контракті, яким керує PoolManager.

Версія v4 впроваджує механізм блокування, його робочий процес виглядає так:

1. locker контрактний запит lock
2. PoolManager додає адресу контракту locker до черги та викликає зворотний виклик
3. логіка виконання контракту locker
4. PoolManager перевіряє стан і видаляє контракт locker

Цей механізм забезпечує ліквідацію всіх транзакцій та запобігає паралельному доступу.

Модель загроз

Ми в основному розглядаємо дві моделі загроз:

1. Hook сам по собі є добрим, але має вразливості
2. Hook сам по собі є зловмисним

Проблеми безпеки в моделі загроз I

У цій моделі ми в основному зосереджені на потенційних вразливостях, характерних для версії v4. Дослідження показало, що існує два основних типи проблем: проблеми з контролем доступу та проблеми з валідацією вводу.

Проблема контролю доступу

Функції зворотного виклику Hook можуть бути викликані лише PoolManager. Якщо ці функції можуть бути викликані будь-якими рахунками, це може призвести до проблем, таких як неправильне отримання винагород.

Вхідна валідація

Через наявність механізму блокування користувачі повинні отримати lock через контракт, щоб виконати операції з фондом. Однак, якщо у реалізації Hook вхідна перевірка виконана неналежним чином, це може призвести до ненадійних зовнішніх викликів, що, у свою чергу, спричинить різноманітні атаки.

! [Чому Hook є «палицею з двома кінцями» для Uniswap V4?] ](https://img-cdn.gateio.im/webp-social/moments-ba4bfa88e0ac0b6246e82ad879361ff3.webp)

Проблеми безпеки в моделі загроз II

У цій моделі ми припускаємо, що сам Hook є зловмисним. Залежно від способу доступу, ми розділяємо Hook на два типи:

1. Хостинг Hook: Користувач повинен взаємодіяти з Hook через маршрутизатор
2. Незалежний Hook: Користувачі можуть безпосередньо взаємодіяти з Hook

Щодо управлінських Hook, основний ризик полягає в можливій маніпуляції механізмом управління витратами. Щодо незалежних Hook, якщо вони є оновлювальними, то після оновлення можуть стати шкідливими.

Заходи запобігання

Для моделі загроз I слід впровадити відповідний контроль доступу до чутливих функцій, перевірити вхідні параметри та розглянути можливість додавання захисту від повторних викликів.

Щодо моделі загроз II, для керованого Hook слід звернути увагу на поведінку управління витратами; для незалежного Hook основна увага має бути зосереджена на його можливості оновлення.

Висновок

Механізм Hook Uniswap v4 приніс величезні інновації, але водночас також викликав нові проблеми безпеки. У наступних статтях ми детально проаналізуємо конкретні проблеми безпеки в кожній моделі загроз, щоб сприяти безпечному розвитку спільноти.