69、基于CIHF的多定理FS变换：NIZK协议的构建与分析

基于CIHF的多定理FS变换：NIZK协议的构建与分析

1. 引言

在密码学领域，非交互式零知识证明（NIZK）协议是一个重要的研究方向。我们致力于构建具有自适应多定理零知识（Adaptive Multi - theorem ZK）和可靠性（Soundness）的NIZK协议。为了实现这一目标，我们利用了一些特定的工具和协议，下面将详细介绍这些内容。

2. 所需工具与协议

为了构建NIZK协议，我们需要以下工具和协议：
- 哈希族H ：对于所有在时间T内可搜索的亚指数稀疏关系具有关联难解性（Correlation - intractable），并且是可编程的。
- SID陷门sigma协议ΣOR ：用于NP语言LOR = L ∨ LDH，具有2−λϵ的可靠性（ϵ > 0）。该协议可以从ΣL和任何用于LDH的SID陷门sigma协议ΣDH得到。
- SID陷门sigma协议ΣNDH ：用于LNDH，同样需要具有2−λϵ的可靠性（ϵ > 0）。

3. NIZK协议的构建

我们将得到的NIZK协议记为Π = (Setup, P, V)，其中Setup算法的工作流程如下：
1. crsL ←$ GenL(1λ)，crsDH ← crsNDH ← ∅，g ←$ G.Gen(1λ)，x ←$ Zp，h ← gx，k ←$ H.Gen(1λ)。
2. 输出 (crsL, crsDH, crsNDH, (g, h), k)

下面是NIZK协议Π的交互流程：