Механизм Hook в Uniswap v4: возможности и вызовы

Uniswap v4 скоро будет запущен, это обновление принесет множество значительных инноваций, включая поддержку неограниченного количества ликвидностных пулов и динамических сборов, единую архитектуру, молниеносный учет, механизм Hook и другие. Среди них механизм Hook привлек широкое внимание благодаря своей высокой масштабируемости.

Механизм Hook позволяет выполнять пользовательский код в определенных точках жизненного цикла пула ликвидности, значительно увеличивая гибкость пула. Однако эта гибкость также создает новые проблемы безопасности. В этой статье будет систематически рассмотрены проблемы безопасности и потенциальные риски, связанные с механизмом Hook, чтобы способствовать созданию более безопасной экосистемы Uniswap v4 в сообществе.

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

Перед тем как углубиться в обсуждение вопросов безопасности, нам необходимо сначала понять несколько ключевых механизмов Uniswap v4:

1. Механизм Hook

Hook - это контракты, работающие на разных этапах жизненного цикла пула ликвидности. В настоящее время существует 8 обратных вызовов Hook, разделенных на 4 группы:

• beforeInitialize/afterInitialize
• передИзменениемПозиции/послеИзмененияПозиции
• передОбменом/послеОбмена
• передПожертвованием/послеПожертвования

Эти Hook могут реализовать динамические сборы, лимитные ордера на блокчейне, распределение крупных заказов и другие функции.

2. Архитектура Singleton и молниеносная бухгалтерия

v4 ввел дизайн одиночного контракта, все ликвидные пулы хранятся в одном смарт-контракте. Это зависит от PoolManager для управления состоянием всех пулов.

Мгновенная запись осуществляется путем корректировки внутреннего чистого баланса для учета операций, а не мгновенных переводов. Фактический перевод выполняется по завершении операции, что обеспечивает целостность средств.

3. Механизм блокировки

Внешние счета не могут взаимодействовать с PoolManager напрямую, необходимо запрашивать lock через контракт. Существует два основных сценария взаимодействия:

• Через маршрутизаторный контракт, развернутый официально или пользователями
• Контракт, интегрированный с Hook

Модель угроз

Мы в основном рассматриваем две модели угроз:

Модель угроз I: доброкачественная, но с уязвимостями Hook

В этом случае разработчик не имеет злого умысла, но в Hook могут быть уязвимости. Мы в основном сосредоточены на потенциальных уязвимостях, характерных для версии v4, таких как:

• Хук для хранения средств пользователей
• Хук для хранения ключевых данных состояния

Исследование показало, что 36% связанных проектов имеют уязвимости, в основном связанные с проблемами контроля доступа и валидации ввода.

Модель угроз II: Зловредный Hook

В этом случае разработчик и сам Hook имеют злонамеренные намерения. Мы разделяем Hook на два типа:

• Хостинговый Hook: пользователи взаимодействуют с Hook через маршрутизатор
• Независимый Hook: пользователи могут напрямую взаимодействовать с Hook

Эскроу Hook трудно непосредственно украсть активы, но возможно манипулировать механизмом управления расходами. У независимого Hook больше полномочий, и если он может быть обновлен, риск выше.

Меры предосторожности

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

Для модели угроз II необходимо оценить, является ли Hook злонамеренным. Для управляемого Hook важно обращать внимание на управление расходами, для независимого Hook важно, можно ли его обновить.

Заключение

Механизм Hook принес огромный потенциал для Uniswap v4, но также ввел новые проблемы безопасности. Понимая связанные риски и принимая соответствующие меры, мы можем лучше использовать преимущества Hook и способствовать развитию экосистемы DeFi. В последующих статьях мы проведем более глубокий анализ вопросов безопасности в рамках каждой модели угроз.