HyperLiquid após a queda da especulação: uma interpretação técnica da sua ponte de cadeia cruzada e da arquitetura HyperEVM

HyperLiquid, como uma exchange de livro de ordens on-chain muito notável, teve seu TVL ultrapassando 2 bilhões de dólares, sendo chamada de "Binance on-chain". Este artigo irá explorar profundamente o HyperLiquid a partir da perspectiva da construção técnica e segurança, focando na análise da construção e riscos do contrato da ponte de cadeia cruzada, bem como da arquitetura de dupla cadeia HyperEVM e HyperL1.

Análise da ponte de cadeia cruzada HyperLiquid

A HyperLiquid implantou um contrato de ponte de cadeia cruzada na Arbitrum para armazenar os ativos USDC dos usuários. Este contrato de ponte contém quatro grupos de validadores:

• hotValidatorSet: responsável por operações de alta frequência como retiradas de usuários
• coldValidatorSet: responsável por modificar a configuração do sistema, tratar o estado de bloqueio do contrato da ponte, etc.
• lockers: semelhante ao comitê de segurança, pode suspender a execução do contrato da ponte em situações de emergência
• finalizers: confirmar a alteração de estado das pontes de cadeia cruzada, como depósitos e retiradas dos usuários

processo de depósito

O contrato HyperLiquid da ponte utiliza o método Permit do EIP-2612 para processar depósitos, permitindo apenas depósitos em USDC. A operação de depósito é bastante simples, utilizando a função batchedDepositWithPermit para processar múltiplos depósitos em lote.

processo de saque

O processo de levantamento é relativamente complexo:

1. O usuário inicia um pedido de retirada, precisando reunir 2/3 do peso de assinatura do hotValidatorSet.
2. Entrar no "período de controvérsia" de 200 segundos
3. Durante o período de controvérsia, podem surgir duas situações:
   • lockers acredita que há um problema, pode votar para congelar o contrato
   • coldValidatorSet pode tornar alguns pedidos de retirada inválidos
4. Após o término do período de disputa, os membros dos finalizers chamam a função para definir o estado final, transferindo USDC para o usuário.

mecanismo de bloqueio de contrato de ponte

• É necessário o voto de 2 lockers para bloquear o contrato da ponte
• Pode retirar o voto através da função unvoteEmergencyLock
• O desbloqueio requer um peso de assinatura de 2/3 do coldValidatorSet, e ao mesmo tempo pode atualizar o conjunto de validadores.

atualização do conjunto de validadores

A atualização é feita através da função updateValidatorSet, necessitando da assinatura de todo o hotValidatorSet, com um período de controvérsia de 200 segundos.

Pontes de cadeia cruzada: potenciais riscos

1. Hackers control coldValidatorSet podem contornar a defesa para roubar ativos
2. finalizers podem recusar a confirmação de retiradas, levando a ataques de revisão
3. lockers podem bloquear maliciosamente o contrato da ponte, impedindo retiradas

HyperEVM e arquitetura de duas cadeias

HyperLiquid utiliza uma arquitetura de cadeia dupla:

• HyperLiquid L1(L1): cadeia dedicada ao livro de ordens, sistema de permissão
• HyperEVM(EVM): cadeia sem permissão, contratos inteligentes podem ser implantados

Duas cadeias interagem através de Precompiles e Eventos:

• Pré-compilados: EVM lê o estado L1
• Eventos: EVM escreve dados para L1

consenso HyperBFT

Baseado na melhoria do HotStuff, a velocidade teórica de processamento pode chegar a 2 milhões de ordens por segundo.

Avisos para desenvolvedores

1. msg.sender pode ser o endereço do contrato do sistema e não o endereço do usuário
2. A não atomicidade da interação entre EVM e L1 pode levar a riscos de ativos
3. O endereço do contrato EVM deve criar uma conta de mapeamento na L1
4. Os ativos de cadeia cruzada podem não ser possíveis de consultar o saldo temporariamente.

Em geral, o HyperEVM é semelhante a uma arquitetura de segunda camada baseada no HyperLiquid L1, mas oferece maior interoperabilidade. Os desenvolvedores devem ter cuidado ao lidar com várias situações limites nas interações de cadeia cruzada.