- L2BEAT hat alle ZK-Schaltkreise für den Wüstenverifizierer von Lighter unabhängig regeneriert und bestätigt, dass sie mit dem bereitgestellten Vertrag auf Ethereum übereinstimmen.
- Die Schaltkreisquellen im Wüstenmodus von Lighter waren bis vor Kurzem nicht verfügbar, sodass Benutzer nicht in der Lage waren, Gelder abzuheben, ohne sich auf das Team verlassen zu müssen.
- Benutzer können das Build-Skript jetzt lokal ausführen, um ZK-Schaltkreise selbst zu überprüfen, sodass sie bei Notausgängen nicht mehr einer einzelnen Partei vertrauen müssen.
Die von Lighter, einem dauerhaften dezentralen Austausch auf Ethereum, verwendeten ZK-Schaltkreise haben eine kritische Vertrauensbarriere überwunden.
L2BEAT, die Blockchain-Forschungsorganisation, hat zum ersten Mal alle ZK-Schaltkreise unabhängig aus dem Quellcode neu generiert.
Die Überprüfung bestätigte diesFeuerzeugDer bereitgestellte Desert-Verifier-Vertrag stimmt mit den veröffentlichten Quellen überein.
Benutzer müssen sich nicht mehr ausschließlich auf das Lighter-Team verlassen, um auf Notfallabhebungen zuzugreifen. Diese Entwicklung stärkt direkt die Sicherheitsgrundlage des Layer-2-Netzwerks von Lighter.
Das Vertrauensproblem, das Benutzergelder gefährdet
L2BEAT führt einen ZK-Katalog aus, der Verifiziererverträge über Layer-2-Netzwerke hinweg verfolgt. Der Prozess umfasst die Neugenerierung von Solidity-Dateien direkt aus dem Quellcode, um zu bestätigen, dass bereitgestellte Verträge legitim sind.
Die Organisation veröffentlicht auch unabhängige Regenerationsschritte, sodass jeder den Prozess selbst wiederholen kann.
Noch im April 2026 war der Quellcode der Wüstenmodusschaltung nicht öffentlich verfügbar, und L2BEAT-Untersuchungen ergaben, dass eine vollständige Zustandsrekonstruktion allein aus Layer-1-Daten nicht möglich war.
Zum ersten Mal wurden alle von Lighter Perp DEX L2 verwendeten ZK-Schaltkreise aus Quellen von L2BEAT regeneriert!
Jetzt müssen Sie dem Lighter-Team nicht mehr vertrauen, dass es einen Notausgang ohne Erlaubnis durchführt.
👇Erfahren Sie mehr im Thread👇pic.twitter.com/VueN61QqjP
— L2BEAT 💗 (@l2beat)19. Mai 2026
Dies stellte ein ernstes Problem für Benutzer dar, die ohne die Hilfe eines Bedieners aussteigen mussten. Ohne verifizierte Quellen könnte niemand unabhängig einen gültigen Auszahlungsnachweis erstellen.
Wenn der Sequenzer blockiert oder zensiert, können Benutzer Prioritätsoperationen in der Kette einreichen oder über den Notfall-Wüstenmodus, der auf Ethereum-Daten basiert, beenden.
Dieser Ausstiegsweg war jedoch faktisch unzugänglich. Die fehlenden Schaltkreisquellen bedeuteten, dass niemand außerhalb des Lighter-Teams dem Wüstenverifizierer vertrauen oder ihn unabhängig bestätigen konnte.
Wie die Verifizierung von L2BEAT alles verändert
Der Wüstenprüfer von Lighter besteht aus Schaltkreisen, die gültige L2-zu-L1-Auszahlungen im Wüstenmodus nachweisen. Jeder Benutzer generiert bei einem Notausgang lokal auf seinem eigenen Rechner einen ZK-Nachweis.
Dieser Beweis wird dann mit dem Desert-Verifier-Vertrag auf Ethereum Layer 1 verglichen. Wenn dieser Vertrag nicht verifiziert oder böswillig ist, schlägt der Beweis fehl und die Gelder bleiben gesperrt.
Das Lighter-Team veröffentlichte schließlich die Schaltungsquellen. L2BEAT bestätigte dann, dass der veröffentlichte Code mit dem bereits bereitgestellten Vertrag übereinstimmtEthereum.
Wie die Organisation mitteilte, funktioniert die Notluke nun. Durch diese einmalige Bestätigung entfällt die Notwendigkeit, einem Team blindes Vertrauen zu schenken.
Benutzer können das Skript build_Circuits.sh mit Standardeinstellungen ausführen, um alle Schaltungsschichten von Grund auf zu erstellen und einen aktualisierten Verifier-Vertrag zu generieren, der der bereitgestellten Version entspricht. Entwickler können diese Ausgabe dann mit dem Live-Vertrag auf Etherscan vergleichen.
Lighter weist jede Auftragsübereinstimmung, Risikoprüfung und Liquidation mit Zero-Knowledge-Beweisen nach, und Benutzer können jetzt überprüfen, ob die Notausgangsschicht auf einem ebenso soliden Fundament steht.
Das Vertrauensrisiko, das einst den Sicherheitsmechanismus von Lighter verdeckte, wurde unabhängig gelöst.
Quelle: Live Bitcoin News
Schreibe einen Kommentar