49、乐观并发零知识协议解析

乐观并发零知识协议解析

1. 概率推导

在相关研究中，$p_a$ 和 $p’ a$ 是在 ${0, 1}^k$ 中均匀且独立选取的。对于 ${0, 1}^k$ 中的 $r$，使得 $\hat{V}^ (G, r)$ 不等于 ABORT 的 $r$ 的数量恰好为 $2^k \cdot \zeta_{i,a,b}$。由此可得 $Pr[p_a = p’ a] = 1/(2^k \cdot \zeta {i,a,b})$。通过公式推导可以得出：
[Pr_r\left[\hat{S}\hat{V}^ (G, C) = \perp\right] = \frac{1}{2^k \cdot \zeta {i,a,b}} \cdot \zeta_{i,a,b} = \frac{1}{2^k}]

2. 实证研究

为了探究并发模拟中导致问题的对抗性嵌套情况，我们对大学网站服务器的流量进行了分析。具体步骤如下：
- 选取约 122681 个 TCP 会话（从 SYN 到 FIN 的流），这些会话是部门网站服务器在 16 小时内处理的。
- 每个会话包含从客户端到服务器的 SYN 消息、服务器到客户端的 SYN 消息、客户端到服务器的 FIN 消息以及服务器到客户端的最终 FIN 消息，整个流对应着服务器处理的请求和错误消息响应。
- 选择错误消息是因为它们不受输入/输出限制，服务器处理时间大致相同，这种 4 流消息模式对应我们零知识（ZK）协议的 1 槽前置阶段。

研究结果显示：
|情况|数量|占比|
| ---- | ---