Verifiable Encryption
検証可能暗号は、第三者が平文を知ることなく、暗号文がある関係（例えば既知のコミットメントの値を暗号化したもの）を満たすことを検証できるようにする技術である。
目的
内容を漏らさずに暗号文の正しさを証明する。フェアエクスチェンジや検証可能電子投票プロトコルで使われる。
メカニズム
暗号文には、暗号化者が平文を知っており、それが公開されたコミットメント/関係と一致することを示すゼロ知識証明が付く。検証者は復号ではなく証明を検査する。シグマプロトコルやNIZKを基礎とする。
ユースケース
- フェアエクスチェンジプロトコル
- 検証可能なオンライン投票
- コミットメントスキーム