14、高效确认者签名与抗碰撞双长度哈希技术解析

高效确认者签名与抗碰撞双长度哈希技术解析

高效确认者签名

在密码学领域，确认者签名是一项重要的技术。它实现“承诺签名”范式的确认者签名通常由待签名消息的承诺、用于生成承诺的随机字符串的加密以及对承诺的数字签名组成。

证明系统

有两种重要的证明系统，分别用于不同的语言成员验证。
- 语言{e: ∃m : m = Γ.decrypt(e)}的证明系统
1. 证明者选择 (r’\stackrel{R}{\leftarrow}G)，计算并发送 (t2 = Γ.encrypt(r’) ◦e e) 给验证者。
2. 验证者选择 (b\stackrel{R}{\leftarrow}{0, 1}) 并发送给签名者。
3. 若 (b = 0)，证明者发送 (r’) 以及在 (Γ.encrypt(r’)) 中用于加密它的随机性；否则，发送 (r’ ∗r) 并证明 (t2) 是 (r’ ∗r) 的加密。
4. 若 (b = 0)，验证者检查 (t2) 是否按步骤 1 计算；否则，检查 (t2) 的解密证明，若失败则拒绝证明。
mermaid graph LR A[证明者] -->|t2 = Γ.encrypt(r') ◦e e| B[验证者] B -->|b| A A -->|r'及随机性或r' ∗r及证明| B B -->|检查| C{接受或拒绝}
- 语言{(e, c): ∃r : r = Γ.decrypt(e) ∧r = (̸=)Ω.open(c, m)}的证明系统
1. 证明者和验