從技術角度深入解析Hyperliquid:橋合約、HyperEVM及潛在問題

Hyperliquid作爲一個備受關注的鏈上訂單簿交易所,其技術架構和安全性值得深入探討。本文將從跨鏈橋合約結構、HyperEVM技術特點以及潛在安全隱患三個方面進行分析。

Hyperliquid跨鏈橋解析

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

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

存款流程

橋合約使用EIP-2612的Permit方法處理存款,只允許存入USDC。存款操作較爲簡單,主要通過batchedDepositWithPermit函數批量處理。

提款流程

提款流程較爲復雜:

1. 用戶發起提款請求
2. hotValidatorSet的2/3籤名權重確認
3. 200秒爭議期
4. finalizers成員最終確認

在爭議期內,lockers可投票凍結合約,coldValidatorSet可使部分提款無效。

橋合約鎖定機制

lockers成員可調用voteEmergencyLock函數進行投票,2名成員投票即可鎖定橋合約。解鎖需要coldValidatorSet的2/3籤名。

驗證者集合更新

通過updateValidatorSet函數更新hotValidatorSet和coldValidatorSet,需要全部hotValidatorSet成員籤名,有200秒爭議期。

主要風險點

1. coldValidatorSet被控制可繞過所有防線盜取資產
2. finalizers可拒絕確認提款交易,導致用戶資產無法提取
3. lockers惡意鎖定橋合約,阻礙提款

HyperEVM與雙鏈交互架構

爲實現訂單簿交易的可編程性,Hyperliquid推出了HyperEVM方案。其特點是:

1. 可讀取Hyperliquid訂單簿狀態
2. 可與Hyperliquid訂單簿系統交互

Hyperliquid採用"雙鏈方案",同時運行兩條鏈:

• Hyperliquid L1:訂單簿專用鏈,許可制
• HyperEVM:EVM兼容鏈,無許可

兩鏈通過Precompiles和Events實現交互:

• Precompiles:預編譯代碼,允許EVM讀取L1狀態
• Events:EVM拋出事件,L1節點監聽並執行相應操作

HyperBFT共識

Hyperliquid採用基於HotStuff改進的HyperBFT共識算法,理論上每秒可處理200萬筆訂單。

開發者注意事項

1. msg.sender可能爲系統合約地址,非用戶地址
2. EVM與L1交互非原子性,需處理失敗情況
3. EVM合約地址需在L1創建映射帳戶
4. 資產跨鏈過程中餘額可能暫時不可見

總結

Hyperliquid通過雙鏈架構和創新的交互機制,實現了高性能訂單簿與可編程性的結合。但其復雜的驗證者機制和跨鏈交互也帶來了潛在的安全隱患,值得進一步關注和優化。