49、客户端 - 服务器并发零知识与高效多方计算协议构建

客户端 - 服务器并发零知识与高效多方计算协议构建

1. 客户端 - 服务器并发零知识相关

1.1 计算隐藏性质推导

在模拟过程中，某些元素未在其他部分使用，根据承诺方案（Com）的计算隐藏性质可知，对于每个 (0 \leq \ell \leq \ell_{max}) 和 (0 \leq i \leq n_{\ell})，有 (H_{\ell,i + 1} \approx_c H’ {\ell,i})。整体而言，对于这些取值范围，(H {\ell,i} \approx_c H_{\ell,i + 1})。由于 (\ell \leq \ell_{max}) 为常数，(n_{\ell}) 是多项式，所以对于每个 (0 \leq \ell \leq \ell_{max})，有 (H_{\ell + 1} \approx_c H_{\ell})，并且 (H_{\ell_{max}} \approx_c H_0)。

1.2 降低负载参数

1.2.1 新服务器算法 Server′

为了考虑会话终止情况并相应降低新会话的负载参数，设计了新服务器算法 Server′。在描述该算法前，先引入一些符号：
- (t)：新客户端发送会话启动消息时的开放会话数量。
- (\ell_i)：第 (i) 个开放会话的负载参数（(i \in [t])）。
- (t_i)：与第 (i) 个会话并发且负载参数至多为 (i) 的会话总数（(i \in [t])）。

如果将新会话的负载参数设为 (\ell)，对于 (\ell_i \geq \ell) 的每个会话 (i)，(t_i) 的值会增加 1。