從技術視角剖析Hyperliquid:橋合約、架構與潛在風險

Hyperliquid作爲一個備受矚目的鏈上訂單簿交易所,其技術構造和安全性值得深入探討。本文將從跨鏈橋合約結構、HyperEVM與雙鏈架構兩個方面,對Hyperliquid進行技術分析。

Hyperliquid跨鏈橋解析

Hyperliquid在Arbitrum上部署了跨鏈橋合約,用於存儲用戶的USDC資產。從節點身分劃分來看,Hyperliquid有四組驗證者:

• hotValidatorSet:處理高頻操作如提款
• coldValidatorSet:負責系統配置修改
• lockers:類似安全委員會,可投票暫停橋合約
• finalizers:確認跨鏈橋狀態變化

存款流程

橋合約使用EIP-2612的Permit方法處理存款,只允許存入USDC。batchedDepositWithPermit函數可批量處理多筆存款,流程簡單且安全性較高。

提款流程

提款請求需獲得hotValidatorSet的2/3籤名權重。發起後有200秒"爭議期",期間:

1. lockers可投票暫停合約
2. coldValidatorSet可使某筆提款無效

爭議期後,finalizers成員調用batchedFinalizeWithdrawals函數確認提款。

橋合約鎖定機制

2名lockers投票即可鎖定橋合約。解鎖需coldValidatorSet的2/3籤名,同時可更新驗證者名單。

驗證者集合更新

updateValidatorSet函數可更新hotValidatorSet和coldValidatorSet,需全體hotValidatorSet籤名,有200秒爭議期。

潛在風險

1. coldValidatorSet被控制可繞過防護盜取資產
2. finalizers可能拒絕確認提款交易
3. lockers惡意鎖定橋合約

HyperEVM與雙鏈架構

Hyperliquid採用"雙鏈方案",同時運行訂單簿專用鏈(HyperL1)和EVM兼容鏈(HyperEVM)。

Precompiles

HyperEVM增加預編譯代碼,允許智能合約讀取HyperL1狀態。已知的預編譯地址0x800可讀取L1最新區塊的永續合約倉位。

Events

HyperEVM通過Events向HyperL1寫入數據。節點監聽0x3333...3333地址的Events,將用戶意圖轉爲L1交易。

HyperBFT共識

基於HotStuff開發,理論處理速度可達每秒200萬筆訂單。

開發注意事項

1. msg.sender可能是L1系統合約地址
2. EVM與L1交互非原子性可能導致資產損失
3. EVM合約地址需在L1創建映射帳戶
4. 跨鏈資產可能暫時無法查詢餘額

總的來說,HyperEVM類似Hyperliquid L1的二層,但提供了更高的互操作性。開發者需注意處理好各種特殊情況,以確保用戶資產安全。