Verifiable Encryption
Le chiffrement vérifiable permet à un tiers de vérifier qu'un chiffré satisfait une relation (p. ex. qu'il chiffre la valeur d'un engagement connu) sans apprendre le texte clair.
Objectif
Prouver l'exactitude d'un chiffré sans en divulguer le contenu ; utilisé dans l'échange équitable et les protocoles de vote vérifiable.
Mécanisme
Le chiffré porte une preuve à divulgation nulle que l'émetteur connaît le texte clair et qu'il correspond à l'engagement/relation publics. Le vérificateur contrôle la preuve au lieu de déchiffrer. Il repose sur les protocoles Sigma ou le NIZK.
Cas d’usage
- Protocoles d'échange équitable
- Vote électronique vérifiable
- Schémas d'engagement