Гиперликвидность после спада хайпа: технический анализ кроссчейн моста и архитектуры HyperEVM

HyperLiquid как высоко оцененная децентрализованная биржа с заказными книгами на блокчейне, её TVL уже превысил 2 миллиарда долларов и она была названа "Централизованным Binance". В этой статье мы углубимся в HyperLiquid с точки зрения технической конструкции и безопасности, уделяя особое внимание конструкции и рискам её кроссчейн моста, а также двойной цепочной архитектуре HyperEVM и HyperL1.

HyperLiquid кроссчейн мост解析

HyperLiquid развернул контракт кроссчейн моста на Arbitrum для хранения активов пользователей в USDC. Этот мостовой контракт включает четыре группы валидаторов:

• hotValidatorSet: отвечает за высокочастотные операции, такие как вывод средств пользователями
• coldValidatorSet: отвечает за изменение конфигурации системы, обработку состояния блокировки мостового контракта и т.д.
• lockers: аналогично комитету по безопасности, могут приостановить работу контракта моста в экстренных ситуациях
• финализаторы: подтверждение изменений состояния кроссчейн моста, например, депозитов и снятий пользователей

Процесс депозита

Контракт HyperLiquid моста использует метод Permit EIP-2612 для обработки депозитов, разрешая только внесение USDC. Операция депозита довольно проста, используется функция batchedDepositWithPermit для пакетной обработки нескольких депозитов.

Процесс вывода средств

Процесс вывода средств относительно сложный:

1. Пользователь инициирует запрос на вывод средств, необходимо собрать 2/3 подписей от hotValidatorSet.
2. Вход в 200 секундный "период споров"
3. В течение периода спора могут возникнуть две ситуации:
   • lockers считают, что есть проблема, могут голосовать за заморозку контракта
   • coldValidatorSet может сделать некоторые запросы на вывод средств недействительными
4. После окончания периода споров члены финализаторов вызывают функцию, чтобы подтвердить окончательное состояние и перевести USDC пользователю.

механизм блокировки контракта моста

• Необходимо, чтобы 2 locker'а проголосовали, чтобы заблокировать контракт моста.
• Можно отозвать голос с помощью функции unvoteEmergencyLock
• Для разблокировки требуется 2/3 сигнатур от coldValidatorSet, также можно обновить набор валидаторов.

Обновление набора валидаторов

Обновление через функцию updateValidatorSet требует подписания всеми hotValidatorSet, есть 200 секунд на обжалование.

Потенциальные риски кроссчейн моста

1. Хакеры, контролирующие coldValidatorSet, могут обойти защиту и украсть активы
2. финализаторы могут отказать в подтверждении вывода средств, что приведет к атаке на проверку
3. lockers могут злонамеренно заблокировать мостовой контракт, препятствуя выводу средств

HyperEVM и двойная цепочечная архитектура

HyperLiquid использует двойную цепочную архитектуру:

• HyperLiquid L1(L1): цепочка для книги заказов, разрешительная система
• HyperEVM(EVM): безлицензионная цепь, можно развертывать смарт-контракты

Две цепи взаимодействуют через Precompiles и Events:

• Предварительные компиляции: EVM читает состояние L1
• События: EVM записывает данные в L1

HyperBFT консенсус

На основе улучшений HotStuff теоретическая скорость обработки может достигать 2 миллионов заказов в секунду.

Важные замечания для разработчиков

1. msg.sender может быть адресом системного контракта, а не адресом пользователя
2. Неатомарное взаимодействие EVM с L1 может привести к рискам активов
3. Адрес EVM контракта должен быть создан в L1 для сопоставления аккаунта
4. Кросс-чейн активы могут временно быть недоступны для проверки баланса

В целом, HyperEVM похож на двухуровневую архитектуру на базе HyperLiquid L1, но предоставляет более высокую степень взаимозаменяемости. Разработчики должны обращать внимание на обработку различных пограничных случаев в кросс-чейн взаимодействиях.