54、响应式轮复杂度与并发零知识证明

响应式轮复杂度与并发零知识证明

在并发零知识证明的模拟过程中，模拟器通过特定的策略和重绕调度来实现高效模拟，并确保模拟输出与真实交互难以区分。下面将详细介绍这一过程。

1. 模拟器的基本操作

模拟器在执行重绕调度中的所有重绕操作时，会将整个时间步骤序列划分为多个部分。每个部分会被模拟器模拟两次：
- 第一次运行 ：用于获取信息，记录验证者在此次运行中揭示的字符串。
- 第二次运行 ：用于生成实际的输出记录。

在模拟每个部分时，模拟器会递归地将其划分为更小的子部分。当证明主体到来时，如果证明已被解决，模拟器会作为证明者证明存在 $i$ 使得 $p_i = v_i$；如果证明未被解决，模拟将中止并宣告失败。

2. 重绕调度

重绕调度的伪代码如下：

0: // Recall that ∆ is the overall simulation time interval.
1: top level = log(∆)
2: 
3: // This is a recursive algorithm. Top-level call follows:
4: simul(0, ∆, top level)
5: output transcript
6: 
7: // Definition of recursive function:
8: simul(location, length, level)
9: β = 2^level
10: if (level < 1)
11: