Análisis profundo de la arquitectura y problemas potenciales de Hyperliquid desde una perspectiva técnica

Hyperliquid, como uno de los representantes de los intercambios de libros de órdenes en cadena, su TVL ha superado los 2000 millones de dólares, siendo conocido como "Binance en cadena". Este artículo analizará en profundidad los principios de la arquitectura de Hyperliquid desde dos perspectivas: la construcción técnica y la seguridad.

Análisis del puente entre cadenas Hyperliquid

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

• hotValidatorSet: manejar operaciones de alta frecuencia como retiros
• coldValidatorSet: modificar la configuración del sistema, puede invalidar las solicitudes de retiro
• lockers: se puede pausar la ejecución del contrato puente
• finalizers: confirmar cambios en el estado del puente entre cadenas

Proceso de depósito

El contrato puente utiliza el método Permit de EIP-2612 para manejar los depósitos, soportando operaciones en lote. La lógica de los depósitos es simple y el riesgo de seguridad es bajo.

Proceso de retiro

Las solicitudes de retiro deben cumplir con las siguientes condiciones:

1. Reunir el 2/3 del peso de firma del hotValidatorSet
2. Después de un período de controversia de 200 segundos
3. Confirmado finalmente por los miembros de finalizers

Durante el período de disputa, los lockers pueden suspender el contrato puente, y el coldValidatorSet puede invalidar los retiros.

mecanismo de bloqueo del contrato puente

Se requieren 2 votos de lockers para bloquear el contrato puente. Para desbloquear, se necesita el 2/3 del peso de firma del coldValidatorSet, y al mismo tiempo se puede actualizar el conjunto de validadores.

actualización del conjunto de validadores

La actualización de hotValidatorSet y coldValidatorSet requiere la firma de todos los miembros de hotValidatorSet, y será confirmada por los finalizadores después de un período de disputa de 200 segundos.

Riesgos potenciales

1. Después de que el coldValidatorSet sea controlado, se puede eludir el mecanismo de seguridad para robar activos.
2. los finalizadores pueden rechazar la confirmación de transacciones de retiro
3. lockers pueden bloquear maliciosamente el contrato puente

HyperEVM y la arquitectura de interacción de dos cadenas

Hyperliquid utiliza una arquitectura de doble cadena:

• Hyperliquid L1: sistema de libro de órdenes dedicado, basado en licencias
• HyperEVM: Cadena compatible con EVM, sin permiso

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

• Precompilaciones: permiten que HyperEVM lea el estado de L1
• Eventos: Permitir que HyperEVM escriba datos en L1

consenso HyperBFT

Hyperliquid desarrolló el algoritmo de consenso HyperBFT basado en HotStuff, con una capacidad teórica de procesamiento de hasta 2 millones de órdenes por segundo.

Consideraciones para desarrolladores

1. msg.sender puede ser la dirección del contrato del sistema
2. La interacción entre EVM y L1 no es atómica, se deben manejar las situaciones de fallo.
3. La dirección del contrato EVM debe crear una cuenta mapeada en L1
4. Los activos intercadena pueden ser temporalmente invisibles, deben ser manejados adecuadamente.

En general, HyperEVM es una arquitectura de segunda capa similar a L1, pero ofrece una mayor interoperabilidad. Los desarrolladores deben tener en cuenta los detalles técnicos que presenta su única estructura de doble cadena.