Ethereum-Skalierungsfirma =nil; Foundation führt sicherheitsorientiertes zkEVM ein

Zero-Knowledge-Technologieunternehmen = Null; Die Foundation hat einen neuen Zero-Knowledge Ethereum Virtual Machine (zkEVM)-Compiler vom Typ 1 entwickelt, um Sicherheitsbedenken auszuräumen, die bei ähnlichen ZK-basierten Ethereum-Skalierungslösungen festgestellt wurden.

Ich spreche exklusiv mit Cointelegraph: =nil; Misha Komarov, CEO und Mitbegründer der Stiftung, sagt, dass die Technologie der Sicherheit Priorität einräumt und die automatische Kompilierung von Programmiercode auf hoher Ebene in zk-SNARKS-Schaltkreisen (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) ermöglicht.

Das zkEVM des Unternehmens ist so konzipiert, dass es mit evmone kompatibel ist, einer C++-Version der Basisausführungsumgebung von Ethereum. Die wichtigste Erkenntnis besteht darin, dass der Anwendungscode verarbeitet und als Nachweise zusammengefasst wird, die im gleichen Format wie sein EVM an Ethereum übermittelt werden.

Verwandt: Ethereum L2 Starknet zielt darauf ab, Kernkomponenten seines Skalierungsnetzwerks zu dezentralisieren

Die Kompatibilität soll eine bessere Sicherheit und eine schnellere Implementierung gewährleisten, da der Bytecode derselbe ist und langwierige und teure Codeprüfungen entfallen. Der Ansatz bietet auch Transaktionen und Smart Contracts, die direkt mit der Ethereum Virtual Machine kompatibel sind.

Im Jahr 2023 sind mehrere hochkarätige zkEVMs auf den Markt gekommen. Diese Layer-2-Protokolle zielen darauf ab, Ethereum bei der Verarbeitung großer Transaktionslasten und intelligenter Vertragsfunktionen zu unterstützen. Cointelegraph hat diese Themen ausführlich behandelt, wobei Unternehmen wie Consensys, Polygon, StarkWare und Matter Labs ZK-Rollup-Lösungen herausbringen, um dezentralen Anwendungen, Diensten und Netzwerkbenutzern hohe Durchsätze und kostengünstige Funktionen zu bieten.

Verbunden: Matter Labs tritt zurück, als zkSync das von DappRadar verwaltete Ökosystemportal startet

Wie Komarov erklärt: =nil; Die Lösung der Foundation basiert auf einem automatisierten Compiler und unterscheidet sich vom Design anderer zkEVMs, die Schaltkreise manuell definieren. Bestehende Ansätze bezeichnet er als „zeitintensiv“ und „übermäßig komplex“, wodurch auch die Gefahr menschlicher Fehler bestehe.

Diese Bedenken wurden deutlich, als ein Fehler in der Zuverlässigkeit der ZK-Schaltkreise entdeckt wurde, die im zkSync Era-Mainnet von Matter Labs verwendet werden. Das Sicherheitsunternehmen ChainLight erhielt von der Firma eine Belohnung in Höhe von 50.000 USD Coin (USDC) für die Identifizierung der Schwachstelle im September 2023.

Verwandt: Polygon-Mitbegründer: 1-Milliarden-Dollar-Wette auf ZK-Rollups zahlt sich aus

Der Fehler hätte es einem Angreifer ermöglicht, Beweise für ungültig ausgeführte Blöcke zu liefern, die der Smart Contract Verifier im Ethereum-Mainnet akzeptiert hätte. Matter Labs hat einen Fix bereitgestellt und ChainLight ein Bug-Bounty zugesprochen, das erste, das für einen ZK-Circuit-Bug in der zkSync-Ära beansprucht wurde.

„Vitalik Buterin fing an, über Sicherheitsbedenken zu sprechen, etwa darüber, was passiert, wenn ein Stromkreis unterbrochen wird“, erklärt Komarov.

„Wir haben angefangen, uns damit auseinanderzusetzen. Das Problem wurde offensichtlich, dass diese Schaltungen manuell geschrieben werden. Die Leute haben Jahre damit verbracht, es zu entwickeln, aber es stellt im Grunde die gleiche Logik wie EVM wieder her, manuell in der Schaltkreisdarstellung.“

Komarov fügt hinzu, dass diese Methode die Codeprüfung extrem erschwert. Der zkSync-Bug ist ein Beispiel für das Fehlerpotenzial manuell definierter Schaltkreise. =Null; Der Ansatz der Foundation besteht darin, den Compiler von Ethereums EVM mithilfe ihres in den letzten zwei Jahren entwickelten Schaltungscompilers zu automatisieren.

„Das ist das Beste, was wir erreichen können, damit die Schaltung die gleiche Sicherheit wie die ursprüngliche Implementierung von Ethereum bietet. Wenn das kaputt ist, dann ist der Stromkreis unterbrochen.“

Die Lösung ist außerdem so konzipiert, dass sie im Zuge der Fortführung der Roadmap von Ethereum an EVM-Änderungen angepasst werden kann und einen „zukunftssicheren“ zkEVM-Compiler bereitstellt, der aufgrund seines automatisierten Designs keine nennenswerten Ressourcen und Zeit für die Aktualisierung benötigt. Dies ermöglicht es dem zkEVM, die neuesten Ethereum-Verbesserungsvorschläge zu integrieren, sobald diese in Kraft treten.

Die Stiftung veröffentlichte am 12. Dezember ihr Prototyp-Code-Repository und ihre Spezifikationen.

Magazin: So können die ZK-Rollups von Ethereum interoperabel werden