Kurz erklärt: Ein ZK-Rollup (Zero-Knowledge Rollup) ist eine Variante des Rollups, bei der zu jedem gebündelten Transaktionspaket ein kryptografischer Gültigkeitsnachweis (Validity Proof) erzeugt wird, der die Korrektheit der Berechnung beweist, ohne alle Einzeldaten offenlegen zu müssen.
Konzept und Herkunft
ZK-Rollups bauen auf der Kryptografie sogenannter Zero-Knowledge-Beweise auf, die es erlauben, die Richtigkeit einer Aussage zu belegen, ohne die zugrundeliegenden Daten preiszugeben. Diese Verfahren gehen auf akademische Arbeiten der 1980er-Jahre zurück und wurden ab etwa 2018/2019 für die Skalierung von Ethereum praktisch nutzbar gemacht.
Wie jeder Rollup verlagert ein ZK-Rollup die Ausführung von Transaktionen auf Layer 2 und verankert die Daten auf der Hauptkette. Der Unterschied liegt im Nachweis: Statt auf eine Betrugsanfechtung zu warten, wird die Gültigkeit jedes Bundles sofort mathematisch bewiesen.
Funktionsweise
Der Ablauf eines ZK-Rollups lässt sich in folgende Schritte gliedern:
- Ein Betreiber (Prover) bündelt viele Transaktionen und berechnet den neuen Zustand.
- Er erzeugt einen kompakten kryptografischen Beweis (SNARK oder STARK), der belegt, dass der neue Zustand korrekt aus dem alten hervorgeht.
- Der neue Zustands-Hash und der Beweis werden auf der Hauptkette veröffentlicht.
- Ein Verifizierungs-Smart-Contract auf Layer 1 prüft den Beweis. Ist er gültig, gilt der neue Zustand sofort als final.
Zwei verbreitete Beweissysteme sind ZK-SNARKs (kompakt, benötigen bei manchen Varianten ein initiales vertrauenswürdiges Setup) und ZK-STARKs (ohne Trusted Setup, größere Beweise, als quantenresistenter geltend).
Vorteile und Kompromisse
| Aspekt | ZK-Rollup | Optimistic Rollup |
|---|---|---|
| Finalität auf Layer 1 | schnell (nach Beweisprüfung) | verzögert (Widerspruchsfrist) |
| Rechenaufwand | hoch (Beweiserzeugung) | gering |
| Nachweistyp | Validity Proof | Fraud Proof |
| Reife/Komplexität | technisch anspruchsvoller | einfacher umsetzbar |
Der Vorteil schneller, mathematisch garantierter Finalität steht dem hohen Rechenaufwand für die Beweiserzeugung gegenüber. Historisch war die Umsetzung allgemeiner Smart Contracts in ZK-Rollups technisch schwieriger, was zur Entwicklung sogenannter zkEVM-Systeme führte, die die Ethereum-Ausführungsumgebung beweisbar nachbilden.
Bekannte Umsetzungen
- zkSync Era: zkEVM-kompatibles Rollup von Matter Labs.
- StarkNet: auf STARK-Beweisen basierendes Netzwerk von StarkWare.
- Polygon zkEVM: ZK-Rollup mit Ethereum-Kompatibilität.
- Linea: zkEVM-Rollup aus dem Umfeld von ConsenSys.
ZK-Rollups spielen zudem eine Rolle in Diskussionen um Privatsphäre, da Zero-Knowledge-Technik prinzipiell auch vertrauliche Transaktionen ermöglicht. Für die Blockchain-Forensik ist dabei relevant, dass die Daten je nach Ausgestaltung dennoch auf Layer 1 verankert und damit auswertbar bleiben, sofern es sich um ein echtes Rollup und nicht um ein Validium handelt.
Häufige Fragen
Was bedeutet Zero-Knowledge in diesem Zusammenhang?
Es bezeichnet ein kryptografisches Verfahren, mit dem die Korrektheit einer Berechnung bewiesen werden kann, ohne alle zugrundeliegenden Einzeldaten offenlegen zu müssen.
Sind ZK-Rollups schneller als Optimistic Rollups?
Bei der Finalität auf Layer 1 ja, weil kein mehrtägiges Widerspruchsfenster nötig ist. Dafür ist die Erzeugung der Beweise rechenintensiv.
Was ist der Unterschied zwischen SNARK und STARK?
SNARKs sind sehr kompakt, benötigen bei manchen Varianten ein Trusted Setup. STARKs kommen ohne Trusted Setup aus, haben größere Beweise und gelten als quantenresistenter.
Bedeutet ZK-Rollup automatisch Anonymität?
Nein. Die Technik kann Privatsphäre ermöglichen, dient in Rollups aber primär der Skalierung. Ob Daten vertraulich sind, hängt von der konkreten Umsetzung ab.
Was ist ein zkEVM?
Eine Umgebung, die die Ethereum Virtual Machine beweisbar nachbildet, sodass gängige Smart Contracts in einem ZK-Rollup ausgeführt werden können.
Zusammenfassung
Ein ZK-Rollup ist ein Rollup, das zu jedem gebündelten Transaktionspaket einen kryptografischen Gültigkeitsnachweis erzeugt und diesen auf der Hauptkette verifizieren lässt. Dadurch entsteht schnelle, mathematisch abgesicherte Finalität ohne Widerspruchsfrist, allerdings zum Preis hohen Rechenaufwands bei der Beweiserzeugung. Verbreitete Beweissysteme sind ZK-SNARKs und ZK-STARKs; bekannte Umsetzungen sind zkSync, StarkNet und Polygon zkEVM.
Weiterführende Quellen
- ethereum.org: Zero-Knowledge-Rollups: ethereum.org
- Wikipedia: Zero-Knowledge-Beweis: de.wikipedia.org