Lighter Open-Source Circuite de Dovezi Zero-Knowledge După Audituri de Securitate

TLDR:

• Lighter a publicat codul de verificare a dovezilor cu cunoștințe zero în urma finalizării auditurilor pentru circuitele perpetue și spot.
• Lansarea open-source permite verificarea independentă a ordinelor, anulărilor și lichidărilor pe Ethereum.
• Protocolul procesează aproximativ 500 de milioane de ordine și anulări zilnic prin sistemul său de verificare.
• Dezvoltatorii pot construi circuite folosind scripturile din depozitul GitHub pentru a se potrivi cu contractele inteligente Ethereum implementate.

Lighter a făcut public codul său de verificare a dovezilor cu cunoștințe zero după finalizarea auditurilor cuprinzătoare de securitate ale circuitelor sale de tranzacționare perpetuă și spot. 

Protocolul Layer 2 a publicat codul care verifică toate operațiunile on-chain, inclusiv plasarea ordinelor, anulările și lichidările. 

Această lansare permite verificarea independentă a modului în care Lighter L2 funcționează și menține securitatea pe Ethereum. Această mișcare reprezintă un pas către o transparență mai mare în infrastructura schimburilor descentralizate.

Sistem complet de verificare a circuitelor acum disponibil

Protocolul a anunțat publicarea prin canalele sale oficiale, declarând că finalizarea auditului pentru circuitele perpetue și spot a precedat lansarea codului. 

Circuitele Lighter sunt acum accesibile pe GitHub în depozitul elliottech/lighter-prover. Utilizatorii pot rula scriptul build_circuits.sh cu setările implicite pentru a construi toate straturile de circuite de la zero. Procesul generează un contract ZkLighterVerifier actualizat care se potrivește cu versiunea implementată.

Lighter Verifier Proxy funcționează la o adresă Ethereum specifică, documentată pe Etherscan pentru inspecție publică. 

Dezvoltatorii pot compara contractul de la această adresă cu rezultatul scriptului de construire. Acest proces de verificare asigură consistența între contractele implementate și codul open-source. Sistemul procesează aproximativ 500 de milioane de ordine și anulări zilnic pe platforma de tranzacționare Lighter.

Conform documentației tehnice a proiectului, arhitectura urmează un protocol strict de validare. L2Beat a publicat detalii despre structura contractului inteligent, arătând cum verificatorul necesită dovezi valide pentru loturile de operațiuni. 

Fără dovada criptografică corectă, sistemul respinge modificările de stare pe Ethereum. Acest mecanism previne modificările neautorizate ale stării blockchain-ului.

Metrici de performanță și infrastructură de verificare

Sistemul de dovezi cu cunoștințe zero gestionează volume substanțiale de tranzacționare menținând în același timp garanțiile de securitate. 

Lighter procesează sute de milioane de tranzacții prin circuitele sale de verificare în fiecare zi. Echipa continuă să îmbunătățească eficiența infrastructurii de dovadă. Protocolul susține că realizează cele mai multe tranzacții pe secundă dintre soluțiile Ethereum Layer 2.

Procesul de verificare acoperă mai multe tipuri de operațiuni în cadrul sistemului de tranzacționare. Ordinele, anulările și lichidările suferă toate verificare criptografică înainte ca actualizările de stare să aibă loc. 

Această abordare cuprinzătoare asigură că fiecare acțiune de pe platformă primește validarea adecvată. Circuitele mențin integritatea operațiunilor de tranzacționare păstrând în același timp confidențialitatea utilizatorilor.

Lansarea open-source permite dezvoltatorilor blockchain și cercetătorilor în securitate să examineze logica de verificare. 

Echipele tehnice pot audita implementarea criptografică și pot valida modelul de securitate. Această transparență ajută la construirea încrederii în arhitectura platformei. Lansarea codului urmează cele mai bune practici din industrie pentru soluțiile de scalare Layer 2.

Postarea Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits a apărut mai întâi pe Blockonomi.