Verifiable Encryption
Verifizierbare Verschlüsselung erlaubt einem Dritten zu prüfen, dass ein Chiffrat eine Relation erfüllt (z. B. den Wert eines bekannten Commitments verschlüsselt), ohne den Klartext zu erfahren.
Zweck
Die Korrektheit eines Chiffrats beweisen, ohne den Inhalt preiszugeben; eingesetzt in Fair Exchange und verifizierbaren Wahlprotokollen.
Mechanismus
Das Chiffrat trägt einen Zero-Knowledge-Beweis, dass der Verschlüsseler den Klartext kennt und dieser zum öffentlichen Commitment bzw. zur Relation passt. Der Prüfer kontrolliert den Beweis, statt zu entschlüsseln. Es baut auf Sigma-Protokollen oder NIZK auf.
Anwendungsfälle
- Fair-Exchange-Protokolle
- Verifizierbare elektronische Wahl
- Commitment-Schemata