Спадок спекуляцій та HyperLiquid: технічний аналіз його кросчейн моста та архітектури 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. Після закінчення періоду оскарження члени finalizers викликають функцію для затвердження остаточного стану, передаючи USDC користувачу

механізм блокування мосту

• Потрібно 2 голоси lockers, щоб заблокувати міст контракт
• Можна відкликати голос за допомогою функції 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, але забезпечує вищу взаємодію. Розробникам слід звернути увагу на обробку різних граничних випадків під час крос-ланцюгової взаємодії.