见证不可区分性、隐藏性与知识证明
在密码学和相关领域中，见证不可区分性、见证隐藏性以及知识证明是非常重要的概念。下面将详细介绍这些概念及其相关内容。
见证不可区分性与隐藏性
并行组合
在某些交互过程中，存在机器 (V^{}) 与 (P) 和 (PQ) 的交互情况。除了公共输入 (x) 外，机器 (V^{}) 还会获得合适的 (i) 以及序列 (x) 和 ((w_1, \ldots, w_i, w_{i + 2}, \ldots, w_m)) 作为辅助输入。对于每个 (j \neq i + 1)，机器 (V^{*}) 会将 (x_j) 作为公共输入，(w_j) 作为第 (j) 个 (P) 副本的辅助输入。
机器 (V^{}) 会对公共输入 (x) 调用 (V^{}_Q)，并为其提供与 (PQ) 进行虚拟交互的接口。(V^{}_Q) 发送的消息 (\alpha = (\alpha_1, \ldots, \alpha_m)) 的第 (i + 1) 个分量会被转发给证明者 (P)，其他分量则用于模拟其他副本。当 (P) 用消息 (\beta) 进行回复时，机器 (V^{}) 会通过向程序 (P) 提供相应的辅助输入和传入消息序列来计算其他 (P) 副本的回复。这表明 (V^{*}) 能够区分 (P) 使用见证 (w_1^{i + 1}) 和使用见证 (w_2^{i + 1}) 的情况。
这种证明可以轻松扩展到多个证明系统以完全异步方式并发执行的情况，也适用于强见证不可区分性。由此得到以下引理：
引理 4.6.7（强见证不可区分性的
