Wissensbeweis (Proof of Knowledge)

Der Witness (Zeuge) ist die Information, mit der sich eine überprüfbare Aussage erfüllen lässt: ein Geheimnis, eine Signatur oder die Lösung einer Berechnung. Die Knowledge-Eigenschaft verlangt, dass ein akzeptierter Beweis unter dem Sicherheitsmodell des Protokolls den Besitz dieses Witness impliziert.

Knowledge und Zero Knowledge beantworten unterschiedliche Fragen. Die erste Eigenschaft betrifft, was der Beweiser weiß; die zweite, was der Verifizierer erfährt. Ein Beweis kann die eine Eigenschaft ohne die andere haben. SNARKs bezeichnen prägnante, nicht interaktive Wissensargumente (Succinct Non-interactive Arguments of Knowledge); das Präfix zk fügt die Zero-Knowledge-Eigenschaft hinzu.

Ein Wissensbeweis (Proof of Knowledge) kann zur Authentifizierung oder zum Nachweis der Ausführung einer Berechnung eingesetzt werden. Privatsphäre, der Bedarf an vertrauenswürdigen Parametern sowie die Kosten für Beweiserstellung und Verifikation hängen von der gewählten Konstruktion ab.