75、可中止混洗网络与Fiat - Shamir变换的安全分析

可中止混洗网络与Fiat - Shamir变换的安全分析

可中止混洗网络的构建与运行

在密码学领域，混洗网络是保障信息隐私和安全的重要工具。这里介绍的可中止混洗网络协议（Protocol 4），巧妙地利用了两个嵌套的Chaum混洗网络实例，分别是具有显式验证的混洗网络（Protocol 2）和具有部分追踪功能的混洗网络（Protocol 3）。

• 加密过程

  • 发送者操作 ：每个发送者会对自己的消息 $m_i$ 进行多层加密。首先，使用额外的联合“最终”公钥 $pk_f$ 对消息加密得到密文 $v_i$，这层加密能在执行中止时隐藏诚实发送者的输入。接着，使用额外的联合“复制”公钥 $pk_r$ 对 $v_i$ 独立加密 $t$ 次，防止部分追踪混洗网络中的最后一个混洗服务器识别出同一发送者提交的所有密文。然后，将得到的密文再使用两个Chaum混洗网络实例的公钥列表 $pk_{cpt}$ 和 $pk_{cev}$ 进行加密。最后，将 $t$ 次加密结果拼接成一个明文块，再用“外层”公钥 $pk_o$ 加密，防止不诚实的发送者与部分不诚实的混洗服务器勾结，部分复制诚实发送者的提交来破坏其隐私。
  • 混洗服务器操作 ：每个混洗服务器会提交一个零消息的虚拟加密，计算方式与发送者的密文相同，防止腐败的混洗服务器替换所有密文。

• 解密与验证过程

  • 去除外层加密