Perfect Zero-Knowledge PCPs for #P
arxiv(2024)
摘要
We construct perfect zero-knowledge probabilistically checkable proofs
(PZK-PCPs) for every language in #P. This is the first construction of a
PZK-PCP for any language outside BPP. Furthermore, unlike previous
constructions of (statistical) zero-knowledge PCPs, our construction
simultaneously achieves non-adaptivity and zero knowledge against arbitrary
(adaptive) polynomial-time malicious verifiers.
Our construction consists of a novel masked sumcheck PCP, which uses the
combinatorial nullstellensatz to obtain antisymmetric structure within the
hypercube and randomness outside of it. To prove zero knowledge, we introduce
the notion of locally simulatable encodings: randomised encodings in which
every local view of the encoding can be efficiently sampled given a local view
of the message. We show that the code arising from the sumcheck protocol (the
Reed-Muller code augmented with subcube sums) admits a locally simulatable
encoding. This reduces the algebraic problem of simulating our masked sumcheck
to a combinatorial property of antisymmetric functions.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要