LIT em máximos sucessivos: o que a Lighter está a fazer bem?

Autor original: Eric, Foresight News

Desde 20 de agosto, o token LIT da perp DEX Lighter, com uma equipa com experiência em trading quantitativo na Citadel, tem vindo a renovar máximos. A 26 de agosto, o LIT atingiu um máximo de 3,8 dólares, quase 5 vezes acima do mínimo de cerca de 0,78 dólares registado a 30 de março deste ano.

Um ponto importante a notar é que a oferta em circulação do LIT é atualmente de apenas cerca de 25% do total. As alocações da equipa e dos investidores estão bloqueadas até 30 de dezembro de 2026, pelo que a pressão de venda atual do LIT provém apenas das recompensas de staking, que não são muitas. Durante a subida do preço, os utilizadores têm maior incentivo para fazer staking e tendem a manter as suas posições.

Com uma oferta em circulação limitada, a recompra e queima de LIT também é significativa. De acordo com o painel oficial, o número de LIT recomprados já atingiu 17,3 milhões, representando 1,73% do total e 6,92% da oferta em circulação.

Em julho, no artigo "A expandir território com a Robinhood: estará a Lighter a planear uma grande jogada?" (https://foresightnews.pro/article/detail/98462), analisámos as razões para a subida contínua do LIT, incluindo o mecanismo de recompra e queima e a parceria com a Robinhood. Além destes estímulos ao nível do negócio, a Lighter também fez inovações únicas ao nível da cadeia.

Antes da Lighter, os derivados on-chain enfrentavam basicamente um trilema. As L2 de uso geral, como a Arbitrum, têm taxas e latência inadequadas para a colocação de ordens de alta frequência. Cadeias independentes como a dYdX v4 e a Hyperliquid sacrificam, em certa medida, a segurança. As soluções híbridas de order book ao estilo StarkEx dependem de matching centralizado, com riscos de censura e MEV.

A L1 própria da Hyperliquid utiliza o consenso HyperBFT para executar o motor de matching diretamente no conjunto de validadores, obtendo finalização em menos de um segundo e um throughput superior a 200.000 transações por segundo. O custo é que o modelo de segurança depende inteiramente de si própria, com algumas dezenas de nós validadores a sustentar toda a cadeia, e a movimentação de ativos entre cadeias depende de pontes.

A Lighter escolheu outra direção. É uma ZK Rollup criada exclusivamente para trading. O matching, a liquidação e a gestão de risco estão encapsulados no Lighter Core, desenvolvido internamente. Utiliza um motor de geração de provas personalizado para gerar provas zk-SNARK e submete o estado comprimido à mainnet da Ethereum. Em comparação com zkVMs de uso geral, esta solução sacrifica a generalidade em troca de velocidade de prova, estabilidade de latência e eficiência de execução de order books de alta frequência. As métricas oficiais indicam uma latência de matching inferior a 5 milissegundos e a capacidade de empacotar 20.000 ordens e cancelamentos por bloco.

De acordo com dados da L2BEAT, como uma L2 desenvolvida de forma independente, sem utilizar stacks ZK Rollup existentes, o TVL da Lighter ultrapassou 1,1 mil milhões de dólares, ocupando o quinto lugar, atrás apenas da Base, Arbitrum, OP Mainnet e Mantle.

O sistema da Lighter é composto por três funções. O sequenciador ordena as transações por ordem de chegada (FIFO) e fornece finalidade provisória. O provador gera provas para cada bloco. Os contratos inteligentes na Ethereum custodiam os fundos dos utilizadores, armazenam a raiz do estado e verificam cada prova.

A verdadeira diferenciação está no conteúdo que os circuitos provam. A maioria das Rollups apenas prova que a transição de estado é válida. Os circuitos da Lighter codificam as próprias regras da bolsa como restrições zk. Utiliza uma estrutura de árvore binária de prefixos chamada Order Book Tree, que codifica o princípio de prioridade preço-tempo nos índices das folhas, resultando numa complexidade de prova logarítmica. Isto significa que o protocolo pode provar criptograficamente que as ordens de maior prioridade são executadas primeiro, que os limites das taxas de financiamento são aplicados corretamente e que as liquidações utilizam as fórmulas corretas.

Isto é especialmente importante para contratos perpétuos. As posições alavancadas são garantidas por margem e a liquidação é automática e mecânica. Se não for possível verificar se a liquidação foi executada corretamente, está-se a confiar na plataforma precisamente no momento em que ela tem menos incentivos para ser honesta. A liquidação verificável não é jargão de marketing, mas o significado central desta arquitetura.

Como L2 da Ethereum, a Lighter herda duas coisas que as L1 independentes não podem oferecer.

A primeira é a garantia de saída. Se o sequenciador censurar persistentemente as transações, os utilizadores podem submeter transações forçadas diretamente na L1. Se não forem processadas durante mais de 14 dias, o sistema congela e entra em Desert Mode. Os utilizadores podem reconstruir o estado a partir de dados on-chain e submeter provas de saldo para levantar fundos, sem necessidade de cooperação do operador. A L2BEAT chegou a reproduzir este processo, reconstruindo a raiz do estado a partir dos dados blob da L1 e verificando-a até ao topo da cadeia. Todos os dados de estado necessários para construir provas são publicados on-chain, o que é um pré-requisito para que este mecanismo de saída de emergência funcione.

A segunda é o efeito de rede de liquidez. Os fundos da Lighter são custodiados em contratos da Ethereum. Os utilizadores podem depositar diretamente a partir de várias cadeias, incluindo Ethereum, Arbitrum, Base e Solana, e podem reutilizar ativos dos ecossistemas Aave, Uniswap e stablecoins da Ethereum, sem necessidade de pontes complexas entre cadeias. A componibilidade da Hyperliquid está limitada ao interior da HyperEVM, não podendo aceder diretamente ao TVL de centenas de milhares de milhões de dólares da Ethereum.

Outro aspeto digno de nota é a arquitetura horizontal da LighterEVM. O motor de trading principal corre em circuitos ZK personalizados, enquanto os contratos inteligentes de uso geral correm num ambiente zkVM paralelo. As duas lógicas estão separadas, mas podem partilhar estado de forma atómica. Mesmo que os protocolos de empréstimo on-chain estejam congestionados, a velocidade de matching do order book principal não é afetada, e os programadores podem construir produtos estruturados no lado EVM que leem diretamente o order book.

Ainda ontem, a Lighter publicou os seus mais recentes progressos no sistema de verificação. No último mês, o tempo médio de verificação de blocos da Lighter diminuiu de cerca de 5,3 minutos para cerca de 1 minuto, através de duas melhorias independentes. A primeira é a "decomposição pesada/leve", que divide os circuitos de verificação de acordo com a complexidade das transações, permitindo que mais de 98% das transações simples paguem apenas custos de verificação mais baixos. Esta melhoria reduziu o tempo de verificação para metade. A segunda é o resultado de uma competição de otimização de provadores organizada em conjunto com a Eigen Labs, focada em otimizações puramente infraestruturais do provador Plonky2. Os primeiros resultados foram lançados a 23 de agosto, reduzindo novamente o tempo de verificação em mais de metade.

Um facto pouco conhecido: quando a tokenização de RWA estava apenas a começar, a cadeia com mais ativos RWA on-chain era a ZKsync.

A razão era uma só: segurança.

Mesmo hoje, a ZKsync ainda se mantém no top 10, acima de cadeias como Arbitrum, Polygon e Base, que aparentam ter mais força no papel. A vantagem das provas ZK é que, embora a finalidade ainda exija, em sentido estrito, a confirmação da mainnet da Ethereum, a verificação da fiabilidade da transação já está concluída na L2. Para as instituições, mesmo que seja um pouco mais lento ou um pouco mais caro do que outras L2 ou L1 próprias, é totalmente aceitável.

Em comparação com ZK Rollups de uso geral como a ZKsync e a Starknet, e mesmo com L2 especializadas desenvolvidas com base nessas stacks, a maior vantagem da Lighter é ter escrito diretamente nos circuitos a lógica de trading, liquidação, etc. Juntamente com a segurança ao nível da mainnet da Ethereum, este mecanismo, ainda mais seguro do que as instituições de compensação tradicionais, dá-lhe plena capacidade para se afirmar no mercado extremamente competitivo das perp DEX.

A parceria com a Robinhood é um exemplo disso. Além de utilizar igualmente o pagamento por fluxo de ordens e de ter uma equipa com um historial sólido, os mecanismos oferecidos pela Lighter conferem-lhe vantagens únicas em segurança e conformidade. O mercado está disposto a pagar um prémio por esta arquitetura, e a lógica é clara. Para projetos que pretendem vender contratos perpétuos aos utilizadores da Robinhood e a instituições financeiras tradicionais, "regras de matching escritas em circuitos e segurança de fundos garantida pela Ethereum" é uma história que pode ser contada aos departamentos de conformidade e aos auditores.

A Hyperliquid provou que o desempenho pode vir do consenso. A Lighter está a provar que a confiança pode vir das provas. Enquanto outras perp DEX se esforçam ao nível operacional e de negócio, a Lighter abriu um novo caminho.