Glossar
Validity Proof
Aktualisiert 12. Juni 2026
Validity Proof ist ein kryptografischer Beweis, der einem Verifier nachweist, dass eine bestimmte Berechnung oder Zustandsänderung korrekt ausgeführt wurde – ohne dabei alle zugrunde liegenden Eingangsdaten offenlegen zu müssen. Im Kontext von Blockchain-Skalierungslösungen bezeichnet der Begriff konkret jene Beweise, die in ZK-Rollups (Zero-Knowledge-Rollups) eingesetzt werden, um die Korrektheit eines gesamten Transaktions-Batches auf Layer 1 zu bestätigen.
Funktionsweise in ZK-Rollups
Ein ZK-Rollup bündelt viele L2-Transaktionen zu einem Batch, führt sie off-chain aus und erzeugt anschließend einen Validity Proof – entweder als ZK-SNARK oder ZK-STARK. Dieser Beweis wird zusammen mit dem neuen State Root an einen Verifier-Contract auf Ethereum übermittelt. Akzeptiert der Contract den Beweis, gilt der neue Zustand als unwiderruflich finalisiert. Entscheidend: Es ist kein Anfechtungszeitraum (Challenge Window) erforderlich. Nutzer können L1-Withdrawals unmittelbar nach der Proof-Einreichung anstoßen, weil die Korrektheit des Zustands bereits mathematisch garantiert ist.
Dabei unterscheiden sich die beiden gängigen Beweissysteme in ihren Eigenschaften: ZK-SNARKs erzeugen kompakte Beweise, die sich schnell verifizieren lassen, erfordern aber ein vertrauenswürdiges Setup (Trusted Setup Ceremony). ZK-STARKs verzichten auf dieses Setup, gelten als quantenresistenter und sind transparenter aufgebaut, produzieren jedoch größere Beweise, was sich in höheren On-Chain-Kosten niederschlagen kann.
Abgrenzung zu Fraud Proofs
Der strukturelle Gegensatz liegt im Sicherheitsmodell: Während Optimistic Rollups auf Fraud Proofs setzen und davon ausgehen, dass Transaktionen korrekt sind – bis jemand einen Fehler anficht –, verfolgt der Validity-Proof-Ansatz eine pessimistische Grundannahme: Ein L2-Zustand wird nur dann in die Blockchain aufgenommen, wenn seine Korrektheit bewiesen ist. Das verkürzt die Finalisierungszeit von typischerweise mehreren Tagen auf wenige Minuten und verbessert die Kapitaleffizienz für Nutzer erheblich.
Ein früherer Nachteil von Validity-Proof-Systemen war die eingeschränkte Unterstützung allgemeiner Berechnungen. Dieser Rückstand gegenüber EVM-kompatiblen Optimistic Rollups wurde durch spezialisierte Programmiersprachen wie Cairo (von StarkWare für STARK-beweisbare Programme entwickelt) weitgehend geschlossen, sodass heute auch komplexe Smart-Contract-Logik beweisbar ist.
Validity Proofs sind damit ein zentrales Werkzeug, um Skalierbarkeit und kryptografisch gesicherte Korrektheit ohne Abstriche beim Vertrauen zu verbinden – ein Kernprinzip moderner Layer-2-Architektur.