Механизм Hook Uniswap v4: инновации и вызовы

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

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

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

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

Механизм Hook

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

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

Синглтон, молниеносная бухгалтерия и механизм блокировки

Однообразная архитектура и молниеносное бухгалтерское учёты призваны улучшить производительность, снижая затраты и повышая эффективность. Нововведённый одиночный контракт PoolManager используется для хранения и управления состоянием всех пулов.

Рабочий процесс механизма молниеносной бухгалтерии и блокировки следующий:

1. контракт locker запрашивает lock у PoolManager
2. PoolManager добавляет адрес locker в очередь и вызывает его обратный вызов lockAcquired
3. Локер выполняет логику в обратном вызове, взаимодействие с пулом может привести к не нулевому увеличению валюты.
4. PoolManager проверяет состояние очереди и увеличения валюты, после валидации удаляет этот locker

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

! [Почему Hook является «обоюдоострым мечом» для Uniswap V4?] ](https://img-cdn.gateio.im/webp-social/moments-ba4bfa88e0ac0b6246e82ad879361ff3.webp)

Модель угроз

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

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

Проблемы безопасности в модели угроз I

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

• Проблемы с контролем доступа: Функции обратного вызова Hook могут быть вызваны несанкционированно.
• Вопросы валидации ввода: Неправильная валидация ввода в реализации Hook приводит к ненадежным внешним вызовам

Эти проблемы могут привести к потере средств или искажению критического состояния.

Проблемы безопасности в модели угроз II

В зависимости от способа доступа к Hook, их можно разделить на:

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

Управляемые хуки трудно напрямую похитить активы, но они могут манипулировать механизмом управления сборами. Независимые хуки получают больше прав, и если они могут быть обновлены, это создает серьезные риски безопасности.

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

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

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

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