炒作退潮後的HyperLiquid:從技術角度解讀其跨鏈橋與HyperEVM架構

HyperLiquid作爲一個備受矚目的鏈上訂單簿交易所,其TVL已突破20億美元,被譽爲"鏈上Binance"。本文將從技術構造與安全的角度深入探究HyperLiquid,重點分析其跨鏈橋合約的構造與隱患,以及HyperEVM與HyperL1的雙鏈架構。

HyperLiquid跨鏈橋解析

HyperLiquid在Arbitrum上部署了一個跨鏈橋合約,用於存儲用戶的USDC資產。該橋合約包含四組驗證者:

• hotValidatorSet:負責高頻操作如用戶提款
• coldValidatorSet:負責修改系統配置,處理橋合約鎖定狀態等
• lockers:類似安全委員會,可在緊急情況下暫停橋合約運行
• finalizers:確認跨鏈橋狀態變化,如用戶存款和提款

存款流程

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

提款流程

提款流程相對復雜:

1. 用戶發起提款請求,需集齊hotValidatorSet 2/3籤名權重
2. 進入200秒的"爭議期"
3. 爭議期內可能出現兩種情況:
   • lockers認爲存在問題,可投票凍結合約
   • coldValidatorSet可使部分提款請求無效
4. 爭議期結束後,finalizers成員調用函數敲定最終狀態,將USDC轉給用戶

橋合約鎖定機制

• 需要2名lockers投票即可鎖定橋合約
• 可通過unvoteEmergencyLock函數撤回投票
• 解鎖需coldValidatorSet 2/3籤名權重,同時可更新驗證者集合

驗證者集合更新

通過updateValidatorSet函數更新,需全體hotValidatorSet籤名,有200秒爭議期。

跨鏈橋的潛在風險

1. 黑客控制coldValidatorSet可繞過防線盜取資產
2. finalizers可能拒絕確認提款,導致審查攻擊
3. lockers可能惡意鎖定橋合約,阻礙提款

HyperEVM與雙鏈架構

HyperLiquid採用雙鏈架構:

• HyperLiquid L1(L1):訂單簿專用鏈,許可制
• HyperEVM(EVM):無許可鏈,可部署智能合約

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

• Precompiles:EVM讀取L1狀態
• Events:EVM向L1寫入數據

HyperBFT共識

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

開發者注意事項

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

總的來說,HyperEVM類似於基於HyperLiquid L1的二層架構,但提供了更高的互操作性。開發者需注意處理好跨鏈交互中的各種邊界情況。