[Thread em inglês] Interpretação da arquitetura Lighter ZK: como construir soluções financeiras on-chain eficientes e flexíveis

Chainfeeds Introdução:

À medida que o Ethereum executa seu roadmap, possivelmente integrando tecnologia ZK e buscando uma expansão significativa, a principal motivação para construir alt-L1s independentes, em busca de throughput bruto, pode enfraquecer. Nesse novo paradigma emergente, as plataformas de sucesso podem não ser aquelas que constroem as maiores ilhas isoladas, mas sim aquelas que oferecem fortes garantias de segurança, integração profunda com a rica liquidez do Ethereum e execução proporcionada por circuitos ZK customizados.

Fonte do artigo:

jaehaerys

Opinião:

jaehaerys: No cenário das finanças on-chain, existe atualmente uma divergência fundamental de arquitetura, especialmente evidente no design das exchanges CLOB (Central Limit Order Book). Essa divergência não é apenas uma diferença funcional, mas um conflito de estratégias fundamentais. Por um lado, exchanges L1 (Layer 1) monolíticas e específicas para aplicações, como Hyperliquid e dYdX v4, buscam alto desempenho ao controlar toda sua stack tecnológica. Embora esse método permita baixa latência, ele também traz um custo elevado: fragmentação de liquidez, ecossistemas isolados e dependência de modelos de segurança baseados em mecanismos de consenso próprios e emergentes, em vez de uma camada base comprovada em batalha. Por outro lado, há a estratégia modular L2 (Layer 2), defendida pela Lighter. Esse modelo aproveita a segurança, descentralização e efeito de rede incomparáveis do Ethereum como camada global de liquidação e disponibilidade de dados, tratando essas características como vantagens a serem exploradas, e não como limitações a serem evitadas. Essa escolha arquitetônica é cuidadosamente pensada e profundamente enraizada em uma filosofia de engenharia pragmática. A estratégia da Lighter é ainda validada por duas tendências macro poderosas: primeiro, o renascimento do zero-knowledge (ZK) — as provas ZK, antes uma tecnologia de nicho e por vezes incompreendida, amadureceram e se tornaram uma ferramenta mainstream indispensável para escalar blockchains sem comprometer a segurança. Um número crescente de DEXs perpétuas está adotando tecnologia ZK, destacando seu papel fundamental na construção da próxima geração do DeFi. Em segundo lugar, a estratégia ativa do Ethereum de escalar por meio de tecnologia ZK. O roadmap da Ethereum Foundation inclui avanços destinados a aumentar significativamente o throughput da camada base, podendo incorporar provas ZK como parte de sua estratégia de expansão. Essa visão final posiciona o próprio Ethereum para se tornar uma camada global de liquidação, potencialmente aprimorada por ZK. Esse posicionamento estratégico faz da Lighter não apenas uma solução temporária de escalabilidade, mas um membro nativo da futura arquitetura do Ethereum. Nesse contexto, L2s baseadas em ZK, construídas do zero, têm potencial para herdar e compor os benefícios das melhorias da camada base. Em contraste, L1s independentes como Hyperliquid, apesar de características arquitetônicas como a HyperEVM integrada, estão sempre competindo com o ritmo de pesquisa e desenvolvimento de todo o ecossistema Ethereum. Assim, o sucesso da Lighter está intrinsecamente ligado ao sucesso do Ethereum, criando fortes ventos favoráveis estratégicos de longo prazo para a Lighter. É essa consistência fundamental que permite à Lighter não apenas alcançar alto desempenho e segurança verificável, mas também integrar-se profundamente com a vasta base de capital do Ethereum, começando pela inovação em eficiência de capital (como cross-margin universal). A arquitetura central da Lighter é projetada a partir dos primeiros princípios para oferecer desempenho superior sem sacrificar a verificabilidade. O protocolo opera como um ZK-rollup, separando de forma inteligente as funções de execução e verificação. Um Sequencer centralizado é responsável pela ordenação de transações de baixa latência e FIFO, oferecendo o desempenho de alta frequência esperado pelos traders. No entanto, seu poder é rigidamente limitado; ele apenas determina a ordem das transações, enquanto a validade da execução é garantida por outras partes. Cada transição de estado — cada envio, cancelamento, negociação e liquidação de ordem — é processada por um Prover, que utiliza circuitos ZK customizados para gerar provas criptográficas, garantindo a correção das operações. O núcleo desse sistema de provas é a "Order Book Tree", uma estrutura de dados inovadora detalhada no whitepaper da Lighter. Diferente das árvores Merkle tradicionais, a Order Book Tree é uma estrutura híbrida capaz de codificar diretamente a prioridade preço-tempo em seus nós folha. Isso permite que o motor de matching encontre e execute ordens de maior prioridade com eficiência ótima, acessando apenas um nó folha, tornando possível provar a justiça de todo o processo de matching em grande escala. Todo o sistema é conectado ao Ethereum por meio de um mecanismo de segurança crucial: o Escape Hatch. A Lighter publica periodicamente dados de estado comprimidos no Ethereum, permitindo que os usuários reconstruam o estado de suas contas individuais. Se o Sequencer ficar offline ou não processar solicitações prioritárias no L1 dentro do prazo, o sistema entra em modo de emergência. Nesse modo, os usuários podem usar os dados on-chain para gerar provas ZK, provar o valor de suas contas e sacar ativos diretamente do smart contract no L1, contornando completamente o operador do L2. Isso fornece uma garantia incondicional de autocustódia, algo que L1s independentes não podem oferecer. 【Original em inglês】