深入解析Hyperliquid:技术架构与潜在风险

Hyperliquid作为一个备受关注的链上订单簿交易所,其技术架构和安全性值得深入探讨。本文将从跨链桥合约结构、HyperEVM与HyperL1双链架构两个角度,对Hyperliquid的技术实现进行分析。

Hyperliquid跨链桥分析

Hyperliquid在Arbitrum上部署了一个桥合约来存储用户的USDC资产。该桥合约包含四组验证者:hotValidatorSet、coldValidatorSet、finalizers和lockers,分别负责不同的职能。

验证者机制

• hotValidatorSet:处理高频操作如用户提款
• coldValidatorSet:修改系统配置,可无效化提款请求
• lockers:可投票暂停桥合约运行
• finalizers:确认跨链桥状态变化

目前Hyperliquid只有4个验证者节点,hotValidatorSet和coldValidatorSet各对应4个地址。

存款流程

桥合约使用EIP-2612的Permit方法处理存款,只允许存入USDC。batchedDepositWithPermit函数可批量处理多笔存款,流程较为简单。

提款流程

提款请求需满足以下条件:

1. 获得hotValidatorSet的2/3签名权重
2. 经过200秒争议期
3. 由finalizers成员最终确认

在争议期内,lockers可投票暂停桥合约,coldValidatorSet可无效化提款请求。

桥合约锁定机制

2名lockers投票即可锁定桥合约。解锁需要coldValidatorSet的2/3签名权重,同时可更新验证者地址。

验证者更新

updateValidatorSet函数可更新hotValidatorSet和coldValidatorSet,需要所有hotValidatorSet成员签名,并经过200秒争议期。

潜在风险

1. coldValidatorSet被控制可绕过所有防线盗取用户资产
2. finalizers可能拒绝确认提款交易
3. lockers可能恶意锁定桥合约

HyperEVM与双链架构

Hyperliquid采用"双链方案",同时运行两条链:

1. Hyperliquid L1:专用于订单簿系统,许可制
2. HyperEVM:EVM兼容链,无许可

两链通过相同共识协议传播数据,但在不同执行环境运行。HyperEVM可读取L1状态并向L1写入数据。

Precompiles

HyperEVM通过预编译代码读取L1状态。已知的预编译地址0x800可读取最近L1区块的用户永续合约仓位。

Events

HyperEVM通过Events向L1写入数据。L1节点监听特定地址(0x3333...3333)的Events,将用户意图转化为L1交易。

HyperBFT共识

Hyperliquid采用基于HotStuff的HyperBFT共识算法,理论上每秒可处理200万笔订单。

开发注意事项

1. msg.sender可能是L1系统合约地址
2. EVM与L1交互非原子性可能导致资产损失
3. EVM合约地址需在L1有映射账户
4. 资产跨链时可能出现暂时无法查询余额的情况

总体而言,HyperEVM类似于基于Hyperliquid L1的二层,但提供了更高的互操作性。