2、镜像承诺：修复“随机部分检查”及其应用

镜像承诺：修复“随机部分检查”及其应用

在信息安全领域，消息的加密、混合以及验证过程至关重要。本文将深入探讨Chaumian随机部分检查（RPC）混合网络及其改进版本——镜像随机部分检查（mRPC）协议，分析它们的工作原理、安全性以及隐私保障。

1. 符号说明

• 用 $[n] = {1, \ldots, n}$ 表示集合。
• 安全分析基于Chaumian RPC混合网络使用的原语的标准假设：
  • 用于Chaumian RPC的公钥加密方案（$E = \langle KeyGen, Enc, Dec \rangle$）需满足IND - CCA2安全。
  • 承诺方案是完美隐藏且计算绑定的，例如Pedersen方案。
  • 加密方案允许进行正确解密的证明。

2. Chaumian随机部分检查（RPC）混合网络

2.1 协议描述

• 目标 ：混合服务器联合解密发送者（选民）发送的消息，审计员验证解密过程是否正确。
• 步骤 ：
  1. 设置阶段 ：每个混合服务器 $M_j$ 生成两对公私钥对 $(pk_{2j - 1}, sk_{2j - 1})$ 和 $(pk_{2j}, sk_{2j})$，并将公钥 $pk_{2j - 1}$ 和 $pk_{2j}$ 发布在公告板上。
  2. 提交阶段