DeFi setzt stark auf „Zero Knowledge“ – ist die Technologie bereit?

Innerhalb von 36 Stunden in der vergangenen Woche haben Polygon, zkSync und Scroll ihre eigenen bevorstehenden Veröffentlichungen von angekündigt „Heiliger Gral“ der Layer-2-Technologie — die Zero-Knowledge Ethereum Virtual Machine (zkEVM). 

Die Ankündigungen sorgten für Aufsehen. Blockworks hat mit mehreren Programmierern gesprochen, die sich gefragt haben, wie nah der Raum wirklich an einem funktionierenden zkEVM liegt.

ZkEVMs würden stark zunehmen Ethereum Layer-2-Transaktionsgeschwindigkeiten über dem Status quo von optimistische Rollups. Der Mitbegründer der Blockchain Vitalik Buterin hat bejubelte die Technologie als die Zukunft der Ethereum-Skalierung.

Zero-Knowledge-Rollups verschieben Transaktionen zur Verifizierung außerhalb der Kette, bevor sie einen Datenstapel zur Abrechnung auf Ethereum senden. Der Prozess beruht auf einem sogenannten „Prover“, der Daten als wahr oder falsch kennzeichnen kann, während die Privatsphäre der Benutzer gewahrt bleibt.

Prover sind für diese Art von Skalierungslösungen unerlässlich. Für einige enthielten die zkEVM-Ankündigungen dieser Woche keinen ausreichenden Hinweis darauf, dass irgendein Team einen funktionierenden Beweiser erstellt hat.

„Wir sind noch nicht an dem Punkt angelangt, an dem irgendein Team einen funktionierenden zkEVM-Prover hat“, sagte Steven Goldfeder, CEO von Offchain Labs, dem Entwickler hinter dem optimistischen Rollup Arbitrum. „Was meiner Meinung nach passiert, ist, dass sie ziemlich weit von der Produktion entfernt sind.“

Ganz zu schweigen davon, dass Layer-2-Sequenzer immer noch zentralisiert sind, und die meisten zkEVM-Ersteller müssen ihre Beweiser – den Kern der Technologie – noch zu Open Source machen.

Polygon, der Layer-2-Riese, der kürzlich eine Partnerschaft angekündigt hat nicht fungible Tokens (NFTs) zu Meta bringen, hat seinen zkEVM-Code öffentlich gemacht. Polygon glaubt, dass die Klärung seines Codes das Unternehmen vor Scroll und zkSync bringt, von denen keines seinen Beweis öffentlich veröffentlicht hat.

Aber einige fragen sich, ob der Code von Polygon so „voll funktionsfähig“ ist wie angekündigt. Der Prüfcode Polygon auf GitHub hochgeladen ist nicht voll funktionsfähig. Quellen, die mit der Technologie vertraut sind, äußerten Zweifel am Code von Polygon, wobei einer die Fähigkeit von Polygon in Frage stellte, überhaupt Beweise im aktuellen Zustand des Programms auszuführen.

David Schwartz, technischer Leiter bei Polygon Hermez, teilte Blockworks in einer E-Mail mit, dass der Code noch in Arbeit sei. Kommentierte Codeabschnitte im GitHub des Projekts sind derzeit nicht funktionsfähig.

„Wir verstecken nichts, weder in den Dokumenten noch im Code“, sagte Schwartz. „Konkurrenten wie Starkware oder zkSync betreiben überhaupt kein Open-Sourcing ihrer [Zero-Knowledge]-Netzwerke.“

Starkware, das Unternehmen hinter StarkNet, einem Zero-Knowledge-Rollup mit einem Open-Source-Prover, betonte, dass die zkEVM-Technologie keine einfache Angelegenheit sei.

Der Bau eines Prüfers ist „eine Herkulesaufgabe in Bezug auf Mathematik, Technik und Software. Wir haben ein 100-köpfiges Team und sind seit vier Jahren dabei“, Eli Ben Sasson, der Präsident des Unternehmens, sagte Blockworks in einem Telefonanruf von EthCC. 

Selbst unter der Annahme, dass zkEVMs über funktionierende Prover verfügen, würde die Veröffentlichung des Prover-Codes Layer-2s näher an das dezentrale Ideal der Blockchain bringen.

„Wenn der Prover Open-Source ist, können Sie überprüfen, was mit den Geldern gemacht wird.“ Dan Janew, Chief Product Officer beim Layer-2-Geldmarktprotokoll Rhino.fi, gegenüber Blockworks. 

„Diese Unternehmen werden unter Druck gesetzt, etwas in den Händen der Benutzer zu haben“, sagte Yanev über Layer-2s. 

Dennoch nannte Yanev den Open-Source-Prover von Polygon einen „großen Schritt“ für zkEVMs und bleibt optimistisch, dass sich Layer-2-Netzwerke mit zunehmender Reife der Technologie dezentralisieren werden.

Auf der anderen Seite glaubt Goldfeder, dessen Unternehmen mit optimistischen Rollups arbeitet, dass die hohen Kosten von Zero-Knowledge-Beweisen verhindern werden, dass zkEVMs langfristig finanziell nachhaltig sind.

„Skalierung muss von Skalierungslösungen kommen, nicht von [Risikokapital]-Finanzierung“, sagte Goldfeder.

Scroll und zkSync haben Anfragen nach Kommentaren nicht sofort beantwortet.

Erhalten Sie jeden Abend die wichtigsten Krypto-Nachrichten und -Einblicke des Tages in Ihren Posteingang. Abonnieren Sie den kostenlosen Newsletter von Blockworks . Kontaktieren Sie uns jetzt!