[Resource Topic] 2024/1854: A Zero-Knowledge PCP Theorem

Welcome to the resource topic for 2024/1854

Title:
A Zero-Knowledge PCP Theorem

Authors: Tom Gur, Jack O'Connor, Nicholas Spooner

Abstract:

We show that for every polynomial q∗ there exist polynomial-size, constant-query, non-adaptive PCPs
for NP which are perfect zero knowledge against (adaptive) adversaries making at most q∗ queries to
the proof. In addition, we construct exponential-size constant-query PCPs for NEXP with perfect zero
knowledge against any polynomial-time adversary. This improves upon both a recent construction of
perfect zero-knowledge PCPs for #P (STOC 2024) and the seminal work of Kilian, Petrank and Tardos
(STOC 1997).

ePrint: https://eprint.iacr.org/2024/1854

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .