Verifiable Encryption
可验证加密允许第三方验证密文满足某关系（如加密的是某已知承诺的值）而无法获知明文。
用途
在公平交换、可验证投票等协议中证明密文正确性而不泄露内容。
机制
密文附加零知识证明，证明加密者知道明文且明文与公开承诺/关系匹配。验证者检查证明而非解密。基于 Sigma 协议或 NIZK。
用例
- 公平交换协议
- 可验证电子投票
- 承诺方案
可验证加密允许第三方验证密文满足某关系（如加密的是某已知承诺的值）而无法获知明文。
在公平交换、可验证投票等协议中证明密文正确性而不泄露内容。
密文附加零知识证明，证明加密者知道明文且明文与公开承诺/关系匹配。验证者检查证明而非解密。基于 Sigma 协议或 NIZK。