HyperLiquid tras la retirada de la especulación: un análisis técnico de su puente cross-chain y arquitectura HyperEVM

HyperLiquid, como un destacado intercambio de libros de órdenes en la cadena, ha visto su TVL superar los 2000 millones de dólares, siendo apodado "el Binance en la cadena". Este artículo explorará en profundidad HyperLiquid desde la perspectiva de la construcción técnica y la seguridad, analizando específicamente la estructura y los riesgos de su contrato de puentes cross-chain, así como la arquitectura de doble cadena de HyperEVM y HyperL1.

Análisis de puentes cross-chain HyperLiquid

HyperLiquid ha desplegado un contrato de puentes cross-chain en Arbitrum para almacenar los activos USDC de los usuarios. Este contrato de puente incluye cuatro grupos de validadores:

• hotValidatorSet: responsable de operaciones de alta frecuencia como los retiros de usuarios
• coldValidatorSet: se encarga de modificar la configuración del sistema, manejar el estado de bloqueo del contrato del puente, etc.
• lockers: similar a un comité de seguridad, puede suspender la operación del contrato del puente en caso de emergencia
• finalizers: confirmar cambios en el estado del puente cross-chain, como depósitos y retiros de usuarios

proceso de depósito

El contrato puente de HyperLiquid utiliza el método Permit de EIP-2612 para manejar los depósitos, permitiendo únicamente el depósito de USDC. La operación de depósito es bastante simple, utilizando la función batchedDepositWithPermit para procesar múltiples depósitos en lote.

proceso de retiro

El proceso de retiro es relativamente complejo:

1. El usuario inicia una solicitud de retiro, debe reunir el peso de firma de 2/3 del hotValidatorSet.
2. Ingresar al "período de controversia" de 200 segundos
3. Durante el período de controversia pueden ocurrir dos situaciones:
   • lockers consideran que hay un problema, se puede votar para congelar el contrato
   • coldValidatorSet puede invalidar ciertas solicitudes de retiro
4. Después de que finalice el período de disputa, los miembros de finalizers llaman a la función para definir el estado final y transferir USDC al usuario.

mecanismo de bloqueo del contrato del puente

• Se necesitan 2 lockers para votar y así bloquear el contrato del puente.
• Se puede retirar el voto a través de la función unvoteEmergencyLock
• Se requiere un peso de firma 2/3 de coldValidatorSet para desbloquear y, al mismo tiempo, se puede actualizar el conjunto de validadores.

actualización del conjunto de validadores

Se actualiza a través de la función updateValidatorSet, se requiere la firma de todo el hotValidatorSet, hay un período de controversia de 200 segundos.

Potenciales riesgos de los puentes cross-chain

1. Los hackers que controlan coldValidatorSet pueden eludir la línea de defensa para robar activos.
2. los finalizadores pueden rechazar la confirmación de retiros, lo que lleva a ataques de revisión
3. lockers pueden bloquear maliciosamente los contratos de puente, obstaculizando los retiros

HyperEVM y arquitectura de doble cadena

HyperLiquid adopta una arquitectura de doble cadena:

• HyperLiquid L1(L1): cadena dedicada a libros de órdenes, con licencia
• HyperEVM(EVM): cadena sin permisos, contratos inteligentes desplegables

Las dos cadenas interactúan a través de Precompiles y Eventos:

• Precompilados: EVM lee el estado de L1
• Eventos: EVM escribe datos en L1

consenso HyperBFT

Basado en la mejora de HotStuff, la velocidad de procesamiento teórica puede alcanzar hasta 2 millones de órdenes por segundo.

Consideraciones para desarrolladores

1. msg.sender puede ser la dirección del contrato del sistema en lugar de la dirección del usuario
2. La no atomicidad de la interacción entre EVM y L1 puede llevar a riesgos de activos
3. La dirección del contrato EVM debe crear una cuenta mapeada en L1
4. Los activos cross-chain pueden no ser consultables temporalmente.

En general, HyperEVM es similar a la arquitectura de segunda capa basada en HyperLiquid L1, pero ofrece una mayor interoperabilidad. Los desarrolladores deben tener cuidado al manejar diversas situaciones límite en las interacciones cross-chain.