Lighter veröffentlicht Zero-Knowledge Proof Circuits als Open Source nach Sicherheitsaudits

TLDR:

• Lighter hat den Verifizierungscode für Zero-Knolwedge-Beweis veröffentlicht, nachdem die Audits der Perpetual- und Spot-Circuits abgeschlossen wurden.
• Die Open-Source-Veröffentlichung ermöglicht eine unabhängige Verifizierung von Aufträgen, Stornierungen und Liquidationen auf Ethereum.
• Das Protokoll verarbeitet täglich etwa 500 Millionen Aufträge und Stornierungen durch sein Verifizierungssystem.
• Entwickler können Circuits mithilfe von GitHub-Repository-Skripten erstellen, um sie mit bereitgestellten Ethereum Smart-Contracts abzugleichen.

Lighter hat seinen Verifizierungscode für Zero-Knolwedge-Beweis öffentlich zugänglich gemacht, nachdem umfassende Sicherheitsaudits seiner Perpetual- und Spot-Trading-Circuits abgeschlossen wurden. 

Das Layer-2-Protokoll hat den Code veröffentlicht, der alle On-Chain-Prozess-Operationen verifiziert, einschließlich Auftragsplatzierungen, Stornierungen und Liquidationen. 

Diese Veröffentlichung ermöglicht eine unabhängige Verifizierung der Funktionsweise von Lighter L2 und der Aufrechterhaltung der Sicherheit auf Ethereum. Der Schritt stellt einen Fortschritt in Richtung größerer Transparenz in der Infrastruktur dezentraler Börsen dar.

Vollständiges Circuit-Verifizierungssystem jetzt verfügbar

Das Protokoll kündigte die Veröffentlichung über seine offiziellen Kanäle an und erklärte, dass der Abschluss des Audits für Perpetual- und Spot-Circuits der Code-Veröffentlichung vorausging. 

Lighter-Circuits sind jetzt auf GitHub im elliottech/lighter-prover-Repository zugänglich. Benutzer können das build_circuits.sh-Skript mit Standardeinstellungen ausführen, um alle Circuit-Ebenen von Grund auf zu erstellen. Der Prozess generiert einen aktualisierten ZkLighterVerifier-Vertrag, der mit der bereitgestellten Version übereinstimmt.

Der Lighter Verifier Proxy arbeitet unter einer bestimmten Ethereum-Adresse, die auf Etherscan zur öffentlichen Einsicht dokumentiert ist. 

Entwickler können den Vertrag unter dieser Adresse mit der Ausgabe des Build-Skripts vergleichen. Dieser Verifizierungsprozess gewährleistet Konsistenz zwischen bereitgestellten Verträgen und dem Open-Source-Code. Das System verarbeitet täglich etwa 500 Millionen Aufträge und Stornierungen auf der Handelsplattform von Lighter.

Laut der technischen Dokumentation des Projekts folgt die Architektur einem strengen Validierungsprotokoll. L2Beat hat Details der Smart-Contract-Struktur veröffentlicht, die zeigen, wie der Verifier gültige Nachweise für Operationsstapel benötigt. 

Ohne korrekten kryptografischen Nachweis lehnt das System Zustandsänderungen auf Ethereum ab. Dieser Mechanismus verhindert unbefugte Änderungen am Blockchain-Zustand.

Leistungskennzahlen und Verifizierungsinfrastruktur

Das Zero-Knolwedge-Beweis-System verarbeitet ein erhebliches Handelsvolumen bei gleichzeitiger Aufrechterhaltung von Sicherheitsgarantien. 

Lighter verarbeitet täglich Hunderte Millionen von Transaktionen durch seine Verifizierungs-Circuits. Das Team verbessert weiterhin die Effizienz der Proving-Infrastruktur. Das Protokoll behauptet, die höchsten Transaktionen pro Sekunde unter den Ethereum Layer-2-Lösungen zu erreichen.

Der Verifizierungsprozess deckt mehrere Operationstypen innerhalb des Handelssystems ab. Aufträge, Stornierungen und Liquidationen durchlaufen alle eine kryptografische Verifizierung, bevor Zustandsaktualisierungen erfolgen. 

Dieser umfassende Ansatz stellt sicher, dass jede Aktion auf der Plattform eine ordnungsgemäße Validierung erhält. Die Circuits wahren die Integrität der Handelsoperationen bei gleichzeitiger Wahrung der Privatsphäre der Benutzer.

Die Open-Source-Veröffentlichung ermöglicht es Blockchain-Entwicklern und Sicherheitsforschern, die Verifizierungslogik zu untersuchen. 

Technische Teams können die kryptografische Implementierung prüfen und das Sicherheitsmodell validieren. Diese Transparenz trägt dazu bei, Vertrauen in die Architektur der Plattform aufzubauen. Die Code-Veröffentlichung folgt den Best Practices der Branche für Layer-2-Skalierungslösungen.

Der Beitrag Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits erschien zuerst auf Blockonomi.