零知识证明系统：原理、构造与扩展
零知识证明系统在密码学和信息安全领域具有至关重要的地位，它允许一方（证明者）向另一方（验证者）证明某个陈述是真实的，而不泄露除该陈述真实性之外的任何额外信息。下面将详细介绍非交互零知识证明系统的相关概念、构造以及扩展。
1. 非交互零知识证明的定义
非交互零知识证明系统（P, V）针对语言L，若存在多项式p和概率多项式时间算法M，使得集合{(x, Up(|x|), P(x, Up(|x|)))}x∈L和{M(x)}x∈L在计算上不可区分，则称该系统为零知识证明系统，其中Um是均匀分布在{0, 1}m上的随机变量。此定义为“非自适应”的，即公共输入不能依赖于公共参考字符串。
非交互零知识与常数轮零知识有所不同。非交互零知识模型假定存在一个均匀选择的参考字符串，供证明者和验证者共同使用。一种自然的想法是用一个双方协议来生成指定长度的均匀分布字符串，替代该假定。这个协议需能抵御双方的对抗行为，即使一方偏离协议，输出仍应是均匀分布的。此外，该协议应具备强可模拟性，能为每个给定结果生成随机执行记录。为了从非交互零知识证明得到常数轮零知识证明系统，似乎需要一个常数轮（强可模拟）的协议来生成均匀分布的字符串，可使用完美隐藏承诺方案构建该协议。
2. 构造非交互零知识证明系统
2.1 隐藏位模型
隐藏位模型是设计非交互零知识证明系统的一个有用抽象。在该模型中，公共参考字符串像之前一样均匀选择，但只有证明者能看到全部内容。证明者发送给验证者的“证明”由两部分组成：“证书”和公共参考字符串中某些位的位置指定。验证者只能检查证明者指定位置的公共参考字符串位，此外，还会检查公共输入和“证书”。
