[Lighter × Succinct]: Visão de contratos de alto desempenho impulsionados por ZK e ordenadores compartilhados

Chainfeeds Guia de Leitura:

Essa arquitetura estabelece uma divisão clara de funções: L1 (Ethereum) atua como um balanço patrimonial global seguro, responsável pelo armazenamento de capital; L2 (Lighter): serve como uma camada de execução de alta performance, responsável pela gestão de riscos; Infraestrutura ZK (Succinct): funciona como a base criptográfica que conecta ambas de forma confiável.

Fonte do artigo:

Autor do artigo:

jaehaerys

Opinião:

jaehaerys: Na busca pela escalabilidade do blockchain, a narrativa de L2 foi por muito tempo dominada pela metáfora da ponte. Para acessar ambientes Rollup de alta vazão e baixo custo, os usuários precisam bloquear seus ativos em L1 e receber um equivalente sintético em L2. No entanto, esse modelo gerou novos problemas: fragmentação de liquidez e uma série de ataques catastróficos a pontes cross-chain — que se tornaram alguns dos maiores casos de perdas financeiras na história das finanças descentralizadas. Em resposta, surgiu uma nova abordagem alternativa: ao invés de transferir ativos para o ambiente computacional, basta levar informações verificáveis sobre os ativos para esse ambiente. Essa ideia foi inicialmente apresentada em uma transmissão ao vivo da SuccinctLabs, quando o fundador da Gauntlet, Tarun Chitra, ao refletir sobre o futuro dos sistemas ZK, sugeriu que protocolos ZK poderiam tornar a migração de ativos mais natural e eficiente. Os ativos podem continuar bloqueados na mainnet do Ethereum (L1), mas, por meio de provas de conhecimento zero (ZKP), sua utilidade pode ser validada com segurança em L2 e usada como colateral. Assim, a localização e a função do capital são separadas: os ativos permanecem no ambiente mais seguro, o L1, enquanto seu valor é projetado para o L2 de alta performance, aumentando significativamente a eficiência do capital. Por exemplo, a posição de stETH ou Morpho Vault de um usuário pode continuar gerando rendimento em L1, enquanto a prova de seu valor é usada como alavancagem colateral em L2. Esse modelo não só reduz riscos cross-chain, como também impulsiona a composabilidade e a interoperabilidade segura entre camadas. A implementação desse modelo depende da combinação entre Lighter e Succinct. Lighter é uma exchange descentralizada de contratos perpétuos (Perp DEX) baseada em central limit order book (CLOB), cuja arquitetura central opta por circuitos zk customizados, ao invés de zkVM ou zkEVM genéricos. Essa escolha permite que seu sistema criptográfico seja otimizado especificamente para matching, motor de risco e lógica de liquidação, tornando a verificação de funções de negociação altamente eficiente e evitando os gargalos caros e lentos das provas genéricas. Por outro lado, Succinct oferece a SP1 zkVM — uma máquina virtual baseada em RISC-V, compatível com todo o ecossistema Rust, capaz de codificar de forma eficiente lógicas complexas de aplicativos, como métodos de avaliação de DeFi Vaults ou motores de liquidação. Além disso, Succinct opera uma rede descentralizada de provas (SPN), um mercado competitivo de geração de provas alimentado por GPU, FPGA e, futuramente, ASICs, capaz de produzir as provas necessárias de forma rápida e barata. Combinando ambos, os usuários podem utilizar ativos produtivos em L1 para operações alavancadas em L2 sem sacrificar rendimento. Por exemplo, um usuário pode continuar recebendo juros no Morpho Vault em L1, enquanto a prova do valor desses ativos serve como margem para negociações perpétuas em L2. Indo além, essa arquitetura também pode suportar a tokenização de estratégias complexas de L2, permitindo sua circulação em L1 como ativos padronizados, como tokens nativos de alavancagem 3x ETH, que podem ser usados em aplicações como empréstimos na Aave. Esse modelo não só aumenta a eficiência do capital, como também amplia as possibilidades de composabilidade entre camadas. O núcleo dessa arquitetura é a colaboração entre o contrato Escrow e a rede de provas Succinct. O usuário primeiro deposita ETH, stablecoins ou ativos produtivos no contrato Escrow em Ethereum L1. O contrato Escrow dispara um evento, que é recebido pela rede de provas Succinct, que então gera uma prova SNARK atestando que o ativo foi realmente bloqueado. Após a confirmação dessa prova pelo contrato de verificação on-chain, o Sequencer credita a conta de margem do usuário em Lighter L2. Em seguida, o compromisso de estado de L2 (estado do order book, saldos, etc.) é submetido à camada de disponibilidade de dados (DA) para validação futura. Durante todo o processo, o ativo nunca deixa o L1, garantindo segurança. Mais importante ainda, caso o usuário enfrente censura ou problemas em L2, pode acionar o mecanismo de escape diretamente em L1 para solicitar a saída. O usuário inicia uma transação de saída em L1, a DA fornece o compromisso de estado e a prova inclusa, e a rede Succinct converte esse pedido em uma tarefa de prova e gera a prova SNARK. Se validada, o contrato Escrow libera os fundos, devolvendo os ativos diretamente ao usuário. Esse design garante que, independentemente do que aconteça em L2, o usuário sempre pode contar com a segurança de L1 para recuperar seus ativos. Semelhante ao caminho de escape dos Rollups tradicionais, mas, no contexto de utilidade de ativos e migração de colateral, esse modelo oferece uma saída de fundos mais flexível e resistente à censura, destacando ainda mais as vantagens da separação entre localização e função do capital. [Original em inglês]