Lighter Rende Open-Source i Circuiti di Dimostrazione a Conoscenza Zero Dopo gli Audit di Sicurezza

TLDR:

• Lighter ha pubblicato il codice di verifica della dimostrazione a conoscenza zero dopo aver completato gli audit dei circuiti perpetui e spot.
• Il rilascio open-source consente la verifica indipendente di ordini, cancellazioni e liquidazioni su Ethereum.
• Il protocollo elabora circa 500 milioni di ordini e cancellazioni giornalmente attraverso il suo sistema di verifica.
• Gli sviluppatori possono costruire circuiti utilizzando script del repository GitHub per corrispondere agli smart contract Ethereum distribuiti.

Lighter ha reso pubblicamente disponibile il suo codice di verifica della dimostrazione a conoscenza zero dopo aver completato audit di sicurezza completi dei suoi circuiti di trading perpetui e spot. 

Il protocollo Layer 2 ha pubblicato il codice che verifica tutte le operazioni on-chain, inclusi piazzamento di ordini, cancellazioni e liquidazioni. 

Questo rilascio consente la verifica indipendente di come Lighter L2 funziona e mantiene la sicurezza su Ethereum. La mossa rappresenta un passo verso una maggiore trasparenza nell'infrastruttura degli exchange decentralizzati.

Sistema Completo di Verifica dei Circuiti Ora Disponibile

Il protocollo ha annunciato la pubblicazione attraverso i suoi canali ufficiali, dichiarando che il completamento dell'audit per i circuiti perpetui e spot ha preceduto il rilascio del codice. 

I circuiti Lighter sono ora accessibili su GitHub nel repository elliottech/lighter-prover. Gli utenti possono eseguire lo script build_circuits.sh con le impostazioni predefinite per costruire tutti i livelli di circuito da zero. Il processo genera un contratto ZkLighterVerifier aggiornato che corrisponde alla versione distribuita.

Il Lighter Verifier Proxy opera a un indirizzo Ethereum specifico, documentato su Etherscan per l'ispezione pubblica. 

Gli sviluppatori possono confrontare il contratto a questo indirizzo con l'output dello script di build. Questo processo di verifica garantisce coerenza tra i contratti distribuiti e il codice open-source. Il sistema elabora circa 500 milioni di ordini e cancellazioni giornalmente sulla piattaforma di trading di Lighter.

Secondo la documentazione tecnica del progetto, l'architettura segue un protocollo di convalida rigoroso. L2Beat ha pubblicato i dettagli della struttura dello smart contract, mostrando come il verificatore richieda prove valide per i batch di operazioni. 

Senza una corretta prova crittografica, il sistema rifiuta le modifiche di stato su Ethereum. Questo meccanismo impedisce modifiche non autorizzate allo stato della blockchain.

Metriche di Performance e Infrastruttura di Verifica

Il sistema di dimostrazione a conoscenza zero gestisce un volume di trading sostanziale mantenendo garanzie di sicurezza. 

Lighter elabora centinaia di milioni di transazioni attraverso i suoi circuiti di verifica ogni giorno. Il team continua a migliorare l'efficienza dell'infrastruttura di prova. Il protocollo afferma di raggiungere il maggior numero di transazioni al secondo tra le soluzioni Ethereum Layer 2.

Il processo di verifica copre molteplici tipi di operazioni all'interno del sistema di trading. Ordini, cancellazioni e liquidazioni subiscono tutti una verifica crittografica prima che si verifichino aggiornamenti di stato. 

Questo approccio completo garantisce che ogni azione sulla piattaforma riceva una convalida adeguata. I circuiti mantengono l'integrità delle operazioni di trading preservando la privacy degli utenti.

Il rilascio open-source consente agli sviluppatori blockchain e ai ricercatori di sicurezza di esaminare la logica di verifica. 

I team tecnici possono effettuare l'audit dell'implementazione crittografica e convalidare il modello di sicurezza. Questa trasparenza aiuta a costruire fiducia nell'architettura della piattaforma. Il rilascio del codice segue le best practice del settore per le soluzioni di scaling Layer 2.

Il post Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits è apparso per primo su Blockonomi.