65、具有隐私性的（提交 - 证明）可预测论证技术解析

具有隐私性的（提交 - 证明）可预测论证技术解析

在密码学领域，可预测论证（Predictable Arguments，PA）是一种重要的交互式协议。它在多轮交互过程中，验证者生成挑战并能预测证明者的响应。今天我们将深入探讨与可预测论证相关的技术，包括提交 - 证明可预测论证（Commit - and - Prove Predictable Arguments，CPPA）、相关的预备知识以及更高效的零知识可预测论证（Zero - Knowledge Predictable Arguments，ZK - PA）的构建。

提交 - 证明可预测论证（CPPA）

提交 - 证明可预测论证（CPPA）是一种特殊的可预测论证。除了证明者的第一条消息外，证明者的所有响应都可以被预测。对于形式为 (x = (cm, C, y)) 的动态陈述语言，其中 (cm) 是证明者的第一条消息，(C) 是验证者可能指定的任意多项式大小的电路。特别地，当证明者发布第一条消息 (cm) 后，证明者可以针对不同但相关的陈述 ((cm, C_i, y_i)) 运行无限数量的可预测论证。

与基于标准假设（甚至不考虑零知识属性）构建高效的可预测论证似乎难以实现不同，我们在 NPRO 模型中使用混淆电路（Garbled Circuits，GC）和不经意传输（Oblivious Transfer，OT）为任意多项式大小的电路 (C \in P) 构建了零知识提交 - 证明可预测论证（ZK - CPPA）。该构建与 [15] 中的三轮零知识论证非常相似，主要区别在于证明者第一条消息的可重用性，以及在较弱假设下的非通用组合（non - UC）模型中提供零知识属性。

CPPA 的应用