SecurityProtocol_BitCommitment

比特承诺

简介

阶段

• 承诺阶段

• 打开阶段

安全性质

• 隐藏性

• 绑定性：给定承诺阶段的交互信息，B只能接受一个合法承诺，A不能在打开阶段改变自己承诺的比特

构造

• 对称加密函数
• 单向散列函数
• 伪随机数发生器
• 困难问题-Pedersen承诺协议

对称加密函数

1. 系统公开参数：基于可信第三方学选取安全的对称加密算法E和相应的解密算法D
2. 承诺阶段：Alice承诺b
   1. Bob产生随机比特串R，并发送给Alice（随机数R是为了保证绑定性，否则Alice易于找到$K’$满足$D_{K’}(E_K(b))=b’,b’\neq b$）
   2. A将$E_K(R,b)$发送给Bob
3. 打开阶段：
   1. Alice发送K给Bob
   2. Bob解密消息