75、并发非可塑零知识证明的高效转换技术解析

并发非可塑零知识证明的高效转换技术解析

1. 转换编译器

存在一个编译器，可将给定的公共硬币统计诚实验证者统计零知识（hvzk）知识论证转换为并发非可塑零知识（cnmzk）知识论证。转换过程分为六个阶段，具体如下：
1. 阶段 1（P 发送验证密钥） ：运行密钥生成算法 $(vk, sk) \leftarrow K(1^{\kappa})$，证明者 P 将验证密钥 $vk$ 发送给验证者 V。
2. 阶段 2（执行提取前导码） ：V 随机选择一个值 $v \in_r \mathbb{Z} p$，V 和 P 执行“提取前导码”，V 作为发送方，P 作为接收方。设 $c \leftarrow com(v; \omega)$，$c {i,j}^b \leftarrow com(v_{i,j}^b; \omega_{i,j}^b)$ 表示相应的承诺，其中 $b \in {0, 1}$，$i, j \in [\beta]$，且 $v_{i,j}^0 + v_{i,j}^1 = v$，$\omega$ 和 $\omega_{i,j}^b$ 是承诺方案使用的随机性。
3. 阶段 3（执行 ddn - 承诺协议） ：P 和 V 执行 ddn - 承诺协议，P 作为 $S_{ddn}$ 输入 $0^{\kappa}$，V 作为 $R_{ddn}$。设 $fm^ = (p^ , q^ , g^ , h^ , vk^ , c^ \leftarrow com(0^{\kappa}; \omega^