炒作退潮后的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的二层架构,但提供了更高的互操作性。开发者需注意处理好跨链交互中的各种边界情况。