A16z Crypto aktualisiert Jolt zkVM und stellt den leichtfertigen Gebrauch des „ZK“-Labels in Frage

A16z Crypto, der Web3-Arm der bedeutenden Venture-Capital-Firma Andreessen Horowitz, kritisierte in einem aktuellen Blogbeitrag über das Jolt zkVM die umgangssprachliche Nutzung von „ZK“ in einigen Entwicklerumgebungen. 

„Die meisten zkVMs bieten eigentlich keine echte Zero-Knowledge-Eigenschaft – außer es wird eine aufwändige ‚Wrapping‘-Prozedur angewendet“, heißt es in dem Blog. „Dieses Wrapping umfasst typischerweise das rekursive Beweisen der Verifizierung des zkVM-Proofs innerhalb eines weiteren Proof-Systems, das“

Die Autoren stellten zudem fest, dass „zk“ häufig als eine Art Kurzform für „die Eigenschaft der Kürze“ verwendet wird, was bedeutet, dass Proofs „kurz und schnell zu verifizieren“ sind, statt echter Zero-Knowledge-Privatsphäre. 

„Mit dem zunehmenden Fokus der Community auf Privatsphäre – womit wirkliches Zero Knowledge gemeint ist, das den Schutz sensibler Daten des Provers betrifft – wird diese Fehlverwendung der Terminologie zu einem echten Problem“, fügte a16z hinzu. 

Was sind ZK-Proofs?

ZK-Proofs sind eine kryptographische Methode, mit der eine Partei (der Prover) eine andere Partei (den Verifier) davon überzeugen kann, dass eine Aussage wahr ist, ohne jegliche zugrunde liegende Information über die Aussage selbst offenzulegen.

Zunächst in der Wissenschaft entwickelt, fand die erste großskalige kommerzielle Anwendung von ZK-Proofs vermutlich in der Kryptoindustrie statt, insbesondere mit dem Launch von Zcash, das eine Art von kurzen Proofs namens zk-SNARKs einsetzte, um durch das Verschleiern von Transaktionsdaten Onchain-Privatsphäre zu gewährleisten.  

Zero-Knowledge-Kryptografie wurde jedoch mittlerweile in verschiedenen neuartigen Blockchain-Anwendungsfällen eingesetzt, insbesondere als Skalierungslösung für Ethereum Layer 2 Blockchains und andere zk-Rollups. 

Privatsphäre selbst ist als wichtiger Aspekt unter Krypto-Entwicklern und Investoren wieder in den Fokus gerückt, da argumentiert wird, dass die Transparenz der meisten heutigen Blockchains die Akzeptanz – insbesondere bei Institutionen – einschränken wird.

Barry Silbert, CEO der Digital Currency Group, äußerte beispielsweise kürzlich seine Erwartung, dass bedeutende Finanzströme in Privacy-Chains fließen werden. 

Die Lösung von Jolt

A16z’s Open-Source Jolt zkVM hat am Dienstag ein bedeutendes neues Upgrade eingeführt, das Zero-Knowledge-Proofs nativ unterstützt.

Sogenannte Zero-Knowledge Virtual Machines dienen dazu, Programme auszuführen und einen Proof zu generieren, dass eine Funktion von Code ausgeführt wurde, ohne deren Eingaben preiszugeben.

Wie die im Blog kritisierten Anwendungen nutzte Jolt ZK-Proofs zunächst primär für Kürze und nicht für vollwertige Privatsphäre, eine Problematik, die die Entwickler durch den Einsatz eines Folding-Schemas aus den „1990er Jahren“ behoben.

Konkret nutzte Jolt das NovaBlindFold-Folding-Schema, um geblendete Proofs zur Verhinderung von Informationsleckage zu erstellen, „was es für Privacy-Anwendungen geeignet macht“.

„Das Resultat ist ein ZK-Proof, der nur etwa 3 KB größer ist als der originale nicht-ZK Jolt Proof“, heißt es im Blog.