ZK-Proof (Zero-Knowledge-Beweis): Definition

ZK-Proof (Zero-Knowledge-Beweis)

Ein Zero-Knowledge-Beweis erlaubt zu zeigen, dass eine Aussage eine Relation erfüllt, ohne den geheimen Zeugen offenzulegen, auf dem sie beruht. Der Verifizierer erfährt nur das, was zur Prüfung der Aussage nötig ist, im Rahmen des gewählten Sicherheitsmodells. Nicht jeder Validitätsbeweis und nicht jede als ZK bezeichnete Anwendung verbirgt Transaktionen oder deren Daten.

Der Prover verwendet öffentliche Daten und einen geheimen Witness, um einen Beweis zu erzeugen. Der Verifier prüft die Relation, ohne den Witness zu erhalten. Die Zero-Knowledge-Eigenschaft begrenzt, was dieser Beweis offenlegt; sie verbirgt keine Informationen, die die Anwendung auf anderem Wege veröffentlicht.

SNARK und STARK bezeichnen Familien mit unterschiedlichen Annahmen und Kosten. Einige Konstruktionen benötigen vertrauenswürdige Parameter, andere sind transparent. PLONK mit KZG-Commitments nutzt ein universelles Setup, während Varianten mit anderen Commitments andere Anforderungen haben.

Beweise können dazu dienen, Attribute oder Berechnungen zu verifizieren. Bei der Skalierung kann ein Rollup Gültigkeitsbeweise nutzen und die Transaktionen veröffentlichen, weshalb er nicht zwingend Privatsphäre bietet. Konstruktion und konkrete Anwendung müssen geprüft werden.