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

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

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

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

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

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

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

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

Запрос на вывод средств должен получить 2/3 подписей от hotValidatorSet. После подачи начинается "период споров" длительностью 200 секунд, в течение которого:

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

После периода споров члены finalizers вызывают функцию batchedFinalizeWithdrawals для подтверждения вывода средств.

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

Для блокировки мостового контракта достаточно голосования 2-х lockers. Для разблокировки требуется подпись 2/3 coldValidatorSet, а также можно обновить список валидаторов.

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

Функция updateValidatorSet может обновить hotValidatorSet и coldValidatorSet, требуется подпись всех hotValidatorSet, имеется 200-секундный период споров.

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

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

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

Hyperliquid использует "двусетевое решение", одновременно работающие с цепочкой заказов (HyperL1) и EVM-совместимой цепочкой (HyperEVM).

Предкомпилированные

HyperEVM добавляет предкомпилированный код, позволяющий смарт-контрактам считывать состояние HyperL1. Известный адрес предкомпиляции 0x800 может считывать постоянные контракты по последнему блоку L1.

События

HyperEVM записывает данные в HyperL1 через события. Узлы слушают события адреса 0x3333...3333, преобразуя намерения пользователей в L1 транзакции.

HyperBFT консенсус

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

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

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

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