Perfect Zero-Knowledge PCPs for #P

我们针对#P中的每一种语言构建了完美的零知识可概率检验证明（PZK-PCPs）。这是首次构建针对BPP以外任何语言的PZK-PCP。此外，与以前的（统计）零知识PCP构造不同，我们的构造同时实现了针对任意（自适应）多项式时间恶意验证者的非自适应性和零知识性。我们的构造包括一种新颖的掩码求和检验PCP，利用组合零点定理在超立方体内部获得反对称结构，在其外部获得随机性。为了证明零知识性，我们引入了局部可模拟编码的概念：随机编码，在给定消息的局部视图的情况下，可以有效地采样每个局部视图的编码。我们证明了从求和协议中得出的码（Reed-Muller码加上子立方和）具有局部可模拟的编码。这将我们的掩码求和检验的代数问题简化为反对称函数的组合性质。

构建完美的零知识概率可检验证明，以证明#P中的每种语言。这是否是一个新问题？

通过引入局部可模拟编码的概念，将掩码求和检查协议的代数问题转化为反对称函数的组合性质，从而证明其零知识性。

该论文的亮点在于提出了局部可模拟编码的概念，并设计了一种新的掩码求和检查PCP，同时实现了非自适应性和零知识性。实验部分没有提到具体内容和数据集，也没有开源代码。值得进一步研究。

最近的相关研究没有被提及。