ZK-Rollups

Verifizierungsorientierter Leitfaden zu Batches, Gültigkeitsbeweisen, Datenverfügbarkeit, Abwicklungsstatus, Gebühren, Auszahlungen und bereitstellungsspezifischen Risiken von ZK-Rollups.

Nur zu Bildungszwecken; keine Anlage-, Bridge- oder Sicherheitsberatung. Ein ZK-Rollup ist nur so verlässlich wie sein bewiesenes Programm, seine öffentlichen Eingaben, sein Datenverfügbarkeitspfad, seine Verträge, Betreiber, Governance und Abwicklungskette.

Kurzantwort

Ein ZK-Rollup, genauer ein Validity-Rollup, führt Transaktionen außerhalb einer Abwicklungskette aus, bündelt sie und übermittelt Daten-Commitments, Zustandsbehauptungen und Gültigkeitsbeweise an deren Verträge. Der Verifier prüft die codierten Übergangsregeln, ohne jede Transaktion erneut auszuführen. So verteilen sich Daten- und Verifizierungskosten auf viele Transaktionen.

Die Garantie ist spezifisch, nicht absolut. Ein verifizierter Beweis stützt nur die Aussage des bereitgestellten Programms, gebunden an öffentliche Eingaben. Er beweist allein weder Datenabrufbarkeit, Verfügbarkeit oder Fairness des Sequencers, Finalität des Abwicklungsblocks, Korrektheit der Bridge noch Sicherheit eines Upgrades. „ZK“ bedeutet auch nicht automatisch Privatsphäre: Viele Rollups veröffentlichen Transaktionen oder Zustandsdifferenzen.

Ausführen

Der Prüfer führt einen Stapel oder eine Berechnung aus und zeichnet den resultierenden Zustandsübergang auf.

Funktionsweise

Deployment festlegen: L1- und L2-Chain-IDs, Rollup- und Bridge-Verträge, Verifier und Schlüsselversion, bewiesenes Programm oder Circuits, Batchformat, DA-Modus, Sequencer, Prover, Administratoren, Pausenrechte und Beobachtungsblock. Ein Stackname belegt keine identischen Garantien aller Deployments.
Reihenfolge und Beweis trennen. Der Sequencer kann vor L1-Commitment oder Beweis eine schnelle Quittung und L2-Blöcke liefern. Exakten Batch notieren und zwischen sequenziert, committed, bewiesen, akzeptiert, abwicklungssicher, finalisiert und Auszahlung abgeschlossen unterscheiden.
Batch rekonstruieren. Vorgeschriebene Transaktionen, Zustandsdifferenzen, Blob-Sidecars oder andere DA-Nutzdaten beschaffen; Reihenfolge und Commitments prüfen; vorherige und neue State Roots, Auszahlungs- oder Nachrichtenwurzel und weitere öffentliche Eingaben ableiten. Ein an falsche Chain, Batch oder Root gebundener Beweis beweist die falsche Aussage.
Beweispfad prüfen. Bestätigen, dass die Abwicklungstransaktion den vorgesehenen Verifier mit erwarteten Beweisen, Schlüssel und Eingaben aufrief, erfolgreich war, das erwartete Ereignis ausgab und den richtigen Speicherplatz änderte. Wenn möglich mit unabhängiger Software reproduzieren.
Datenverfügbarkeit separat prüfen. Ethereum-Blobs bieten Verfügbarkeit im Protokollfenster und Commitments, keine dauerhafte Archivabfrage. Externe Komitees oder alternative DA-Schichten bringen eigene Annahmen. Ein gültiger Beweis stellt fehlende Daten zur Zustandsrekonstruktion oder Auszahlung nicht wieder her.
Ein- und Auszahlungen vollständig verfolgen. Kanonischen Token und Messenger, Betrag, Ziel, Nachrichten-Nonce, Inklusionswurzel, Beweis, Finalitätsregel und Saldoänderung abgleichen. Eine Fast Bridge streckt Liquidität mit eigenen Preisen, Routen und Gegenparteirisiken vor; sie verkürzt die kanonische Uhr nicht.
Liveness und Kontrolle überwachen. Batch- und Beweisrückstand, Zwangsaufnahme und Auswege, Prover-Vielfalt, Upgrades, Timelocks, Guardians und Notfallmodi messen. Nach Änderungen an Vertrag, Circuit, Schlüssel, DA-Modus oder Protokoll erneut prüfen.

Rechenbeispiele

Komprimierung. Ein Lehrbatch enthält 10,000 transactions; 1,200 KB Rohdaten werden auf 300 KB komprimiert. Verhältnis: 1,200 / 300 = 4.0x, Reduktion: 1 - 300 / 1,200 = 75%, Dezimalmittel: 300,000 / 10,000 = 30 bytes/transaction. Dies misst weder Beweissicherheit noch Zustandswachstum oder Archivierung.
Kostenaufteilung. Nutzer zahlen 3.0 ETH; L1-Daten kosten 1.4 ETH, Verifizierung 0.4 ETH und L2-Ausführung 0.2 ETH. Rest: 3.0 - 1.4 - 0.4 - 0.2 = 1.0 ETH, Durchschnitt: 3.0 / 10,000 = 0.0003 ETH/transaction. Das ist kein Nettogewinn; Proving, Hardware, Fehlschläge, Bridges, Kapital und Steuern fehlen.
Lebenszyklus. Quittung bei minute 0, L1-Commitment bei minute 12, Beweisannahme bei minute 50, erfüllte Finalitätsregel bei minute 64 und kanonische Auszahlung bei minute 70. Insgesamt: 12 + 38 + 14 + 6 = 70 minutes. Kein früherer Zeitpunkt entspricht der abgeschlossenen Auszahlung.

Risiken

Falsche Chain, Deployment, Vertrag, Batch, Root, Verifier, Schlüssel- oder Circuit-Version.
Unvollständiges oder falsches Programm, das ein solides System korrekt beweist.
Fehlende oder falsch codierte öffentliche Eingaben, Domains, Nachrichten oder Parameter.
Schwachstellen in Verifier, Precompile, Bridge, Messenger oder Zustandsvertrag.
Kompromittiertes Setupmaterial oder gebrochene kryptografische Annahmen.
Zensur, Umordnung, widersprüchliche Zusagen, Ausfall oder verspätete Veröffentlichung.
Prover-Ausfall, Zentralisierung, Zensur, Kapazitätsmangel oder wachsender Rückstand.
Nicht verfügbare, fehlerhafte oder unarchivierte Daten, Zustandsdifferenzen oder Blob-Sidecars.
Commitment oder Komiteesignatur mit aktueller Abrufbarkeit verwechseln.
L1-Reorganisation oder voreiliges Vertrauen in unsichere Abwicklung.
Privilegierte Upgrades, kurze Timelocks, Verifierwechsel, Pausen oder Notfallumgehung.
Fehlende, deaktivierte oder unbrauchbare Zwangsaufnahme, Wiederherstellung oder Auswege.
Kanonische Bridgefehler, falsche Tokenzuordnung, Replay-, Nachrichten- oder Beweisfehler.
Liquiditäts-, Preis-, Routing-, Insolvenz- und Gegenparteirisiken schneller Bridges.
Schätzungen ohne L1-Daten-, Beweis-, Bridge-, Stau- oder Fehlschlagskosten.
EVM-Kompatibilität, Finalität, Privatsphäre oder Sicherheit eines Rollups auf andere übertragen.

Häufige Irrtümer

Jeder ZK-Rollup verbirgt Beträge, Adressen und App-Aktivitäten.
Ein gültiger Beweis garantiert Datenverfügbarkeit und Zustandsrekonstruktion.
Sequencer-Quittung, L1-akzeptierter Beweis und finale Auszahlung sind gleich.
Gültigkeitsbeweise beseitigen Sequencer-, Prover-, Governance-, Upgrade- und Bridgerisiken.
Das billigste oder schnellste Beweissystem liefert automatisch das sicherste Ergebnis.

Quellen

Zero-knowledge rollups - Ethereum.org (abgerufen: 2026-08-22)
Zero-knowledge proofs - Ethereum.org (abgerufen: 2026-08-22)
EIP-4844: Shard Blob Transactions - Ethereum Improvement Proposals (abgerufen: 2026-08-22)
Rollup Process - Scroll Documentation (abgerufen: 2026-08-22)
Data availability - Starknet Documentation (abgerufen: 2026-08-22)