Глибокий технічний аналіз архітектури Hyperliquid та потенційних проблем

Hyperliquid, як один з представників бірж з онлайновими ордерними книгами, має TVL понад 2 мільярди доларів і називається "онлайновим Binance". У цій статті ми детально проаналізуємо архітектурні принципи Hyperliquid з точки зору технічної конструкції та безпеки.

Аналіз крос-ланцюгового мосту Hyperliquid

Hyperliquid розгорнув контракт крос-чейн мосту на Arbitrum для зберігання активів USDC користувачів. Цей містовий контракт містить чотири групи валідаторів:

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

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

Містковий контракт використовує метод Permit з EIP-2612 для обробки депозитів, підтримує пакетні операції. Логіка депозиту проста, ризик безпеки досить низький.

Процес виведення

Запит на виведення коштів має відповідати таким умовам:

1. Зібрати 2/3 ваги підписів hotValidatorSet
2. Після 200 секунд обговорення
3. Остаточне підтвердження членами фіналізаторів

У період спірів lockers можуть призупинити містковий контракт, coldValidatorSet може зробити зняття недійсним.

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

Потрібно 2 голосування locker, щоб заблокувати місткий контракт. Розблокування потребує 2/3 ваги підпису coldValidatorSet, а також можна оновити набір валідаторів.

Оновлення набору валідаторів

Оновлення hotValidatorSet та coldValidatorSet потребує підписів усіх членів hotValidatorSet, а після 200-секундного періоду обговорення підтверджується фіналізаторами.

потенційні ризики

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

HyperEVM та архітектура взаємодії з двома ланцюгами

Hyperliquid використовує дволанкову архітектуру:

• Hyperliquid L1: спеціалізована система ордерів, ліцензійна
• HyperEVM: EVM-сумісний ланцюг, без дозволу

Дві ланцюги реалізують взаємодію через Precompiles та Events:

• Precompiles: дозволяють HyperEVM читати стан L1
• Події: Дозволити HyperEVM записувати дані в L1

HyperBFT консенсус

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

Увага розробникам

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

В цілому, HyperEVM є подібною до L1 двошаровою архітектурою, але забезпечує вищу ступінь взаємодії. Розробникам слід звернути увагу на технічні деталі, що виникають через його унікальну дволанкову структуру.