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

Hyperliquid, как высоко оцененная on-chain ордерная книга обменник, заслуживает глубокого обсуждения своей технической архитектуры и безопасности. В этой статье будет проведен анализ по трем аспектам: структуре смарт-контрактов кросс-цепочного моста, особенностям технологии HyperEVM и потенциальным угрозам безопасности.

Анализ кросс-цепного моста Hyperliquid

Hyperliquid развернула кросс-цепочный мостовой контракт на Arbitrum для хранения активов пользователей USDC. С точки зрения разделения узловой идентичности, у Hyperliquid есть четыре группы валидаторов:

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

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

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

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

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

1. Пользователь инициирует запрос на вывод средств
2. подтверждение веса подписи 2/3 hotValidatorSet
3. Период спора в 200 секунд
4. окончательное подтверждение членов финализаторов

В период спора lockers могут голосовать за заморозку контракта, а coldValidatorSet может сделать некоторые выводы недействительными.

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

Члены lockers могут вызвать функцию voteEmergencyLock для голосования, и для блокировки контракта моста достаточно голосов 2 членов. Для разблокировки требуется подпись 2/3 coldValidatorSet.

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

Обновление hotValidatorSet и coldValidatorSet осуществляется через функцию updateValidatorSet, требуется подпись всех членов hotValidatorSet, существует 200-секундный период обсуждения.

Основные риски

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

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

Для достижения программируемости торговли наOrder Book, Hyperliquid представил решение HyperEVM. Его особенности:

1. Можно читать состояние книги заказов Hyperliquid
2. Можно взаимодействовать с системой(order book) Hyperliquid

Hyperliquid использует "двухцепочную схему", одновременно работает на двух цепях:

• Hyperliquid L1: специализированная цепочка для ордеров, с лицензированием
• HyperEVM: EVM совместимая цепочка, без разрешений

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

• Преконпиляция: предкомпилированный код, позволяет EVM считывать состояние L1
• События: EVM генерирует события, узлы L1 отслеживают и выполняют соответствующие действия

HyperBFT консенсус

Hyperliquid использует усовершенствованный алгоритм консенсуса HyperBFT на основе HotStuff, теоретически способный обрабатывать 2 миллиона заказов в секунду.

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

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

Итоги

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