Zero-Knowledge Proof

Ein Zero-Knowledge Proof (ZKP), auch als ZK-Beweis bezeichnet, ermöglicht es einer Partei (dem Beweiser), einer anderen Partei (dem Prüfer) zu beweisen, dass eine Aussage wahr ist, ohne zusätzliche Informationen preiszugeben. Stellen Sie sich vor, Alice beweist Bob, dass sie ein geheimes Passwort kennt, ohne ihm das Passwort selbst zu verraten. Diese Methode beruht auf drei grundlegenden Eigenschaften: Vollständigkeit (ehrliche Beweiser überzeugen ehrliche Prüfer), Fehlerfreiheit (unehrliche Beweiser täuschen Prüfer selten), und Nullwissen (Prüfer erfahren nichts außer der Wahrheit der Aussage).

ZKP-Protokolle arbeiten mit kryptografischen Herausforderungen. In einer interaktiven Version tauschen Beweiser und Prüfer Nachrichten aus; der Beweiser zeigt sein Wissen über ein Geheimnis, während der Prüfer Berechnungen überprüft. Nicht-interaktive Versionen, wie zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge), verwenden ein vertrauenswürdiges Setup zur Erzeugung öffentlicher Parameter. Der Beweiser berechnet einen kurzen Beweis aus privaten Eingaben und einer öffentlichen Aussage. Prüfer überprüfen diesen Beweis schnell. Um beispielsweise zu beweisen: „Ich kenne eine Zahl x, bei der hash(x) = y“ ohne x zu zeigen, verwendet der Beweiser Mathematik wie elliptische Kurven oder Polynome.

In Kryptowährungen und Blockchain verbessern ZKPs die Privatsphäre und Skalierbarkeit. Zcash verwendet zk-SNARKs für geschützte Transaktionen; Benutzer beweisen gültige Ausgaben, ohne Beträge oder Adressen offenzulegen. Ethereum's zk-Rollups bündeln Tausende von Transaktionen in einen einzigen Beweis, der auf Layer-1 mit minimalen Daten abgerechnet wird. Dies senkt die Kosten und wahrt die Privatsphäre. ZKPs ermöglichen auch verifizierbare Berechnungen, wie das Beweisen von KI-Modellausgaben, ohne das Modell offenzulegen.

Wichtige Typen sind zk-SNARKs (prägnant, vertrauenswürdiges Setup), zk-STARKs (transparent, quantenresistent, größere Beweise) und Bulletproofs (effizient für Bereichsbeweise). ZKPs erfordern Rechenleistung, entwickeln sich jedoch schnell für den realen Einsatz. Sie treiben Privacy Coins, DeFi-Skalierung und Identitätslösungen voran.