POLYAS Wahllexikon
Als Expert:innen für Online-Wahlen liefern wir Erklärungen und
Hintergrundinformationen zu Wahlen, Wahlrecht und digitaler Demokratie
Zero-Knowledge-Proof
Der Zero-Knowledge-Proof wird auch Zero-Knowledge-Protokoll genannt. Das Protokoll dient zur Kommunikation zwischen zwei Parteien und stammt aus dem Bereich der Kryptografie. Es handelt sich um ein interaktives Beweissystem, das einem Prüfer erlaubt, einen Verifizierer mit einer gewissen Wahrscheinlichkeit davon zu überzeugen, ein Geheimnis zu kennen, ohne dabei das eigentliche Geheimnis zu offenbaren. Datenschutz und Sicherheit sind in der Kryptografie und der Kryptowährung von großer Wichtigkeit. Eine Blockchain zum Beispiel bietet einen hohes Maß an Sicherheit und der Zero-Knowledge-Proof ist diesem Kontext eine der Sicherheitsmaßnahmen.
Das Protokoll soll stets zeigen, dass x der formalen Sprache L angehört. Drei Bedingungen müssen für den Zero-Knowledge-Proof erfüllt werden:
- Vollständigkeit: Wenn die Angabe x ein Element der Sprache L ist, dann soll der Verifizierer nach Ablauf des Protokolls akzeptieren.
- Zuverlässigkeit: Ist die Angabe x kein Element der Sprache L, dann muss nach Ablauf des Protokolls die Ablehnung durch den Verifizierer erfolgen.
- Zero-Knowledge-Eigenschaft: Aus dem Protokoll dürfen lediglich Aussagen über die Gültigkeit- bzw. Ungültigkeit der zu beweisenden Aussage hervorgehen.
Siehe auch:
