55、高效零知识证明与数字签名技术解析

高效零知识证明与数字签名技术解析

1. 高效零知识证明性能优势

在零知识证明领域，一种新方法展现出显著的性能优势。由于无需进行切分选择操作，与共享转换方法相比，证明的参数规模大幅缩短，且仅需通信一个元素域。这使得证明的通信复杂度相较于以往方法有了显著降低，与 [Sta96] 相比降低了 77%，还超越了 [BTV20] 的防弹证明方法。例如，协议 3 在 2048 位素数下，当 $N = 28$，$M = 1744$，$τ = 17$ 时，证明规模为 17.2 KB；而该新方法在 3072 位素数下，对于相同数量的参与方，证明规模仅为 6.6 KB。

2. 证明 IPKP 解的知识

2.1 置换核问题（PKP/IPKP）定义

设 $(q, m, n)$ 为正整数，$H \in F_q^{m\times n}$ 是一个随机矩阵，向量 $v \in F_q^n$。PKP 问题是找到一个置换 $\pi \in S_n$，使得 $H\pi(v) = 0$；非齐次版本的 IPKP 问题则是，给定目标向量 $y \in F_q^m$，找到一个置换 $\pi \in S_n$，使得 $H\pi(v) = y$。

2.2 协议调整

为了证明 IPKP 实例解的知识，即找到 $x \in F_q^n$ 使得 $Hx = y$ 且 $\pi(v) = x$，对协议 2 进行了如下调整：
- 输入 $x \in F_q^n$ 是向量，需按坐标进行转换。
- $x$ 的共享是在整数上进行的，即 $\langle x[e] \rangle_j \in [0, A - 1]^n$（$A > q$），因此需添加拒