Kurz erklärt: Ein Zero-Knowledge-Proof (ZKP, deutsch „Null-Wissen-Beweis“) ist ein kryptografisches Protokoll, bei dem eine Partei (der Beweiser) einer anderen (dem Prüfer) belegen kann, dass eine Aussage wahr ist, ohne dabei irgendeine weitere Information als die Gültigkeit der Aussage selbst preiszugeben. Das Konzept ist eine Grundlage vieler datenschutzorientierter Blockchain-Systeme.
Herkunft und Konzept
Das Konzept des Zero-Knowledge-Proofs wurde 1985 in der wissenschaftlichen Arbeit „The Knowledge Complexity of Interactive Proof-Systems“ von Shafi Goldwasser, Silvio Micali und Charles Rackoff formuliert. Goldwasser und Micali erhielten 2012 den Turing-Award unter anderem für diese Grundlagenarbeit.
Ein Zero-Knowledge-Proof muss drei formale Eigenschaften erfüllen:
- Vollständigkeit (Completeness): Ist die Aussage wahr, kann ein ehrlicher Beweiser einen ehrlichen Prüfer überzeugen.
- Korrektheit (Soundness): Ist die Aussage falsch, kann kein betrügerischer Beweiser den Prüfer überzeugen, ausser mit vernachlässigbarer Wahrscheinlichkeit.
- Null-Wissen (Zero-Knowledge): Der Prüfer erfährt nichts ausser der Tatsache, dass die Aussage wahr ist.
Interaktiv und nicht-interaktiv
Ursprünglich waren Zero-Knowledge-Proofs interaktiv: Beweiser und Prüfer tauschten mehrere Nachrichten aus (Frage-Antwort-Runden). Für Blockchain-Anwendungen sind jedoch nicht-interaktive Varianten entscheidend, bei denen ein einzelner Beweis erzeugt und später von jedem unabhängig geprüft werden kann.
Bekannte Umsetzungen sind zk-SNARK (Succinct Non-interactive Argument of Knowledge) und zk-STARK (Scalable Transparent Argument of Knowledge). Beide erlauben kompakte Beweise, unterscheiden sich aber in Voraussetzungen und Sicherheitsannahmen.
Anwendungen im Krypto-Umfeld
Zero-Knowledge-Proofs werden in Blockchains vor allem für zwei Zwecke eingesetzt:
- Datenschutz: Kryptowährungen wie Zcash nutzen ZKPs, um Transaktionsbeträge und Adressen zu verbergen, während die Gültigkeit der Transaktion überprüfbar bleibt.
- Skalierung: Sogenannte ZK-Rollups bündeln viele Transaktionen ausserhalb der Hauptkette (Layer 2) und legen der Basiskette lediglich einen Gültigkeitsbeweis vor. Projekte im Umfeld von Ethereum wie zkSync, StarkNet oder Polygon zkEVM verwenden dieses Prinzip.
Ein anschauliches Lehrbeispiel ist die „Höhle des Ali Baba“ von Jean-Jacques Quisquater, mit der die Grundidee ohne Preisgabe eines Passworts veranschaulicht wird.
Bedeutung für Ermittlung und Regulierung
Der datenschutzsteigernde Charakter von Zero-Knowledge-Proofs steht in einem Spannungsverhältnis zu Transparenz- und Aufsichtsanforderungen. Verborgene Transaktionsdaten können die Nachvollziehbarkeit für Ermittlungsbehörden erschweren. Gleichzeitig werden ZKPs auch für datenschutzkonforme Identitätsnachweise (Self-Sovereign Identity) und für die Umsetzung regulatorischer Anforderungen diskutiert, etwa um Compliance-Eigenschaften zu belegen, ohne vollständige Datensätze offenzulegen.
Häufige Fragen
Was bedeutet Zero-Knowledge?
Es bedeutet, dass beim Beweis einer Aussage keinerlei zusätzliche Information ausser der Gültigkeit der Aussage selbst übertragen wird.
Wer hat Zero-Knowledge-Proofs erfunden?
Das Konzept wurde 1985 von Shafi Goldwasser, Silvio Micali und Charles Rackoff in einer wissenschaftlichen Arbeit eingeführt.
Wozu werden ZKPs in Blockchains genutzt?
Vor allem für Datenschutz (Verbergen von Transaktionsdetails) und für Skalierung durch ZK-Rollups auf Layer-2-Netzwerken.
Was ist der Unterschied zwischen zk-SNARK und zk-STARK?
Beide sind nicht-interaktive Beweissysteme. zk-STARKs kommen ohne vertrauenswürdiges Setup aus und gelten als quantenresistenter, erzeugen aber tendenziell grössere Beweise.
Sind Zero-Knowledge-Proofs sicher?
Die Sicherheit hängt von den kryptografischen Annahmen und der korrekten Implementierung ab. Fehler im Setup oder in der Umsetzung können die Garantien untergraben.
Zusammenfassung
Ein Zero-Knowledge-Proof ist ein kryptografisches Verfahren, das die Wahrheit einer Aussage belegt, ohne die zugrundeliegenden Daten offenzulegen. Das 1985 formulierte Konzept bildet die Basis für datenschutzorientierte Kryptowährungen und für skalierende ZK-Rollups. Es steht im Spannungsfeld zwischen Privatsphäre und regulatorischer Nachvollziehbarkeit.
Weiterführende Quellen
- Wikipedia: Zero-Knowledge-Beweis: de.wikipedia.org
- Goldwasser, Micali, Rackoff: The Knowledge Complexity of Interactive Proof-Systems (1989): dl.acm.org