Zero-Knowledge-Proof

Ein Zero-Knowledge-Proof ist ein kryptografisches Verfahren, mit dem eine Partei beweisen kann, dass eine Aussage wahr ist, ohne außer der Tatsache ihrer Wahrheit irgendeine Information preiszugeben. Die klassische Intuition: beweisen, dass man ein Passwort kennt, ohne es zu nennen, oder beweisen, dass man über 18 ist, ohne sein Geburtsdatum zu zeigen. Ein Verifizierer prüft einen kompakten mathematischen Beweis und gewinnt Gewissheit über die Behauptung, ohne sonst etwas zu erfahren.

Im Kryptobereich erfüllen Zero-Knowledge-Proofs zwei verschiedene Zwecke, die oft vermengt werden. Der erste ist Privatsphäre: Zcash nutzt sie, damit eine Transaktion als gültig verifiziert werden kann – keine Coins erzeugt, Signaturen korrekt –, während Absender, Empfänger und Betrag verborgen bleiben. Der zweite, inzwischen wirtschaftlich größere, ist die knappe Verifikation zur Skalierung: ZK-Rollups wie zkSync und Starknet führen Tausende Transaktionen Off-Chain aus und veröffentlichen einen einzigen Beweis auf Ethereum, der bestätigt, dass der gesamte Stapel die Regeln befolgt hat, sodass die Basiskette einen kleinen Beweis prüft, statt alles erneut auszuführen. Die wichtigsten Beweisfamilien sind SNARKs (winzige Beweise, schnelle Verifikation, brauchen oft eine Trusted-Setup-Zeremonie) und STARKs (größere Beweise, kein Trusted Setup, gelten als resistent gegen Quantenangriffe).

Ein verbreiteter Irrtum ist, dass „Zero-Knowledge“ immer „privat“ bedeute; die meisten ZK-Rollups veröffentlichen ihre Transaktionsdaten offen und nutzen die Beweise rein zur Kompression und Gültigkeitsprüfung – die Zero-Knowledge-Eigenschaft ist dabei nebensächlich. Die Grenzen der Technologie verschieben sich ständig: Identitätsmerkmale beweisen, ohne Dokumente offenzulegen, Ausgaben von Machine-Learning-Modellen verifizieren und Light Clients ganze Chains mit einem einzigen Beweis prüfen lassen sind allesamt aktive Felder, die auf derselben Kernidee aufbauen.