Lighter torna públicos os circuitos de prova de conhecimento zero após auditorias de segurança

TLDR:

• A Lighter publicou o código de verificação de provas de conhecimento zero após auditorias completas dos circuitos perpétuos e spot.
• O lançamento de código aberto permite a verificação independente de ordens, cancelamentos e liquidações no Ethereum.
• O protocolo processa aproximadamente 500 milhões de ordens e cancelamentos diariamente através do seu sistema de verificação.
• Os programadores podem construir circuitos usando scripts do repositório GitHub para corresponder aos contratos inteligentes do Ethereum implementados.

A Lighter disponibilizou publicamente o seu código de verificação de provas de conhecimento zero após concluir auditorias de segurança abrangentes dos seus circuitos de negociação perpétuos e spot. 

O protocolo Layer 2 publicou o código que verifica todas as operações on-chain, incluindo colocação de ordens, cancelamentos e liquidações. 

Este lançamento permite a verificação independente de como a Lighter L2 funciona e mantém a segurança no Ethereum. O movimento representa um passo em direção a uma maior transparência na infraestrutura de exchange descentralizada.

Sistema de Verificação de Circuito Completo Agora Disponível

O protocolo anunciou a publicação através dos seus canais oficiais, afirmando que a conclusão da auditoria dos circuitos perpétuos e spot precedeu o lançamento do código. 

Os circuitos Lighter estão agora acessíveis no GitHub no repositório elliottech/lighter-prover. Os utilizadores podem executar o script build_circuits.sh com configurações padrão para construir todas as camadas de circuito desde o início. O processo gera um contrato ZkLighterVerifier atualizado que corresponde à versão implementada.

O Lighter Verifier Proxy opera num endereço Ethereum específico, documentado no Etherscan para inspeção pública. 

Os programadores podem comparar o contrato neste endereço com o resultado do script de construção. Este processo de verificação garante consistência entre os contratos implementados e o código de código aberto. O sistema processa aproximadamente 500 milhões de ordens e cancelamentos diariamente na plataforma de negociação da Lighter.

De acordo com a documentação técnica do projeto, a arquitetura segue um protocolo de validação rigoroso. O L2Beat publicou detalhes da estrutura de contrato inteligente, mostrando como o verificador requer provas válidas para lotes de operações. 

Sem a prova criptográfica correta, o sistema rejeita alterações de estado no Ethereum. Este mecanismo previne modificações não autorizadas ao estado da blockchain.

Métricas de Desempenho e Infraestrutura de Verificação

O sistema de provas de conhecimento zero gere um volume de negociação substancial mantendo garantias de segurança. 

A Lighter processa centenas de milhões de transações através dos seus circuitos de verificação todos os dias. A equipa continua a melhorar a eficiência da infraestrutura de comprovação. O protocolo afirma alcançar o maior número de transações por segundo entre as soluções Layer 2 do Ethereum.

O processo de verificação abrange múltiplos tipos de operações dentro do sistema de negociação. Ordens, cancelamentos e liquidações são submetidos a verificação criptográfica antes de ocorrerem atualizações de estado. 

Esta abordagem abrangente garante que cada ação na plataforma recebe a validação adequada. Os circuitos mantêm a integridade das operações de negociação preservando a privacidade do utilizador.

O lançamento de código aberto permite que programadores de blockchain e investigadores de segurança examinem a lógica de verificação. 

Equipas técnicas podem auditar a implementação criptográfica e validar o modelo de segurança. Esta transparência ajuda a construir confiança na arquitetura da plataforma. O lançamento do código segue as melhores práticas da indústria para soluções de escalabilidade Layer 2.

O artigo Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits apareceu primeiro no Blockonomi.