Lighter (LIT) é o token nativo de um protocolo Layer 2 focado em desempenho para negociação descentralizada. O protocolo utiliza provas de conhecimento zero, correspondência verificável e liquidação baseada em Ethereum para fornecer execução resistente à censura e protegida contra MEV para mercados DeFi.
Lighter é um protocolo rollup de camada 2 projetado para finanças descentralizadas (DeFi) de alta performance, oferecendo uma experiência de negociação verificável e de baixa latência utilizando provas de conhecimento zero específicas para aplicações. Sua arquitetura aborda limitações-chave dos rollups de uso geral, incluindo front-running e valor máximo extraível (MEV), ao implementar ordenação justa, correspondência por prioridade temporal e validação suportada por zk-SNARKs. O Lighter foi construído para lidar com mercados complexos baseados em order book, incluindo perpétuos e mercados à vista, mantendo garantias de confiança minimizada através do Ethereum.
A arquitetura do Lighter inclui módulos distintos para sequenciamento, prova, agregação de dados e segurança de saída. Ele permite a recuperação sem confiança dos fundos através do seu mecanismo Escape Hatch, aproveitando blobs de dados e circuitos de agregação em camadas para comprimir e verificar atividades de negociação de forma eficiente. Projetado com extensibilidade em mente, o Lighter também suporta instruções programáveis em vários passos, compressão de dados e aplicações modulares como empréstimos e mercados de previsão.
LIT é o token nativo do protocolo Lighter. Embora o protocolo se concentre fortemente em design técnico e arquitetural, espera-se que a utilidade do token apoie os seguintes papéis:
Liquidação de taxas dentro do protocolo para negociações e interações
Incentivação de participantes do protocolo, como sequenciadores e provedores de provas
Governança sobre atualizações do protocolo e parâmetros
Colateralização ou staking em funções descentralizadas futuras, como provas compartilhadas ou provisão de liquidez
LIT alinha a camada econômica com o desempenho do protocolo, servindo como ativo de liquidação e coordenação para negociação, verificação e participação na rede.
O Lighter introduz um conjunto de sistemas interconectados otimizados para negociações on-chain verificáveis:
Sequencer: Um motor de baixa latência que agrupa e confirma transações em rigorosa ordem preço-tempo, suportando tipos complexos de ordens e integrações de mercado.
Prover: Gera provas de conhecimento zero para lotes de blocos, verificando a correção da correspondência, transições de estado e atualizações de contas. Agregação multinível é usada para comprimir provas de forma eficiente.
Smart Contracts: Gerenciam ativos dos usuários, compromissos de raiz de estado, verificação de provas e saídas resistentes à censura.
Witness Generator: Transforma dados de transações confirmadas em entradas públicas para circuitos zk.
Escape Hatch: Um mecanismo criptográfico que permite aos usuários recuperarem ativos utilizando apenas dados publicados no Ethereum em caso de falha ou censura do protocolo.
Todos os lotes e mudanças de estado são publicados no Ethereum usando blobs de dados. Os circuitos de verificação validam cada etapa, desde a criação do bloco até a execução das negociações.
State Tree: Uma estrutura semelhante a Merkle que armazena saldos de contas, order books, intenções de saque, dados de pools públicos e fundos de seguro.
Account Tree: Aninhada sob a state tree, armazena metadados para subcontas de usuários, chaves, posições e informações de ordens.
Order Book Tree: Implementa uma árvore de prefixos otimizada para gerenciar correspondência de ordens com complexidade logarítmica.
Block Circuits: Geram provas zk-SNARK para lógica de exchange ao longo dos ciclos de execução, incluindo estados pré e pós-execução.
Layered Aggregation Circuits: Comprimem múltiplas provas de bloco em uma única saída verificável, melhorando o desempenho e reduzindo custos on-chain.
O Lighter suporta uma pilha de instruções programáveis, permitindo ações em múltiplos passos, tais como:
Envio agrupado de ordens
Negociações condicionais
Ajustes vinculados de posição
Este design possibilita lógica financeira composable, abrindo caminho para empréstimos, fluxos de colateral e produtos estruturados serem adicionados de forma modular.
O Escape Hatch protege os fundos dos usuários, permitindo que eles saiam via provas on-chain mesmo que o sequenciador esteja indisponível ou malicioso. Ele verifica estados dos usuários utilizando dados blob e compromissos publicados publicamente, garantindo a recuperação de ativos sem dependência de atores off-chain.