Interactive oracle proofs (IOPs) are a hybrid between interactive proofs and PCPs. In an IOP the prover is allowed to interact with a verifier (like in an interactive proof) by sending relatively long messages to the verifier, who in turn is only allowed to query a few of the bits that were sent (like in a PCP). Efficient IOPs are at the core of leading practical implementations of highly efficient proof-systems. In this work we construct, for a large class of N P relations, IOPs in which the communication complexity approaches the witness length. More precisely, for any N P relation for which membership can be decided in polynomial-time and bounded polynomial space (e.g., SAT, Hamiltonicity, Clique, Vertex-Cover, etc.) and for any constant gamma > 0, we construct an IOP with communication complexity (1+ gamma) cdot n, where n is the original witness length. The number of rounds, as well as the number of queries made by the IOP verifier, are constant. This result improves over prior works on short IOPs/PCPs in two ways. First, the communication complexity in these short IOPs is proportional to the complexity of verifying the NP witness, which can be polynomially larger than the witness size. Second, even ignoring the difference between witness length and non-deterministic verification time, prior works incur (at the very least) a large constant multiplicative overhead to the communication complexity. In particular, as a special case, we also obtain an IOP for CircuitSAT with communication complexity (1+ gamma) cdot t, for circuits of size t and any constant gamma > 0. This improves upon the prior state-of-the-art work of Ben Sasson et al. (ICALP, 2017) who construct an IOP for CircuitSAT with communication length c cdot t for a large (unspecified) constant c geq 1. Our proof leverages the local testability and (relaxed) local correctability of high-rate tensor codes, as well as their support of a sumcheck-like procedure. In particular, we bypass the barrier imposed by the low rate of multiplication codes (e.g., Reed-Solomon, Reed-Muller or AG codes)- A key building block of all known short PCP/IOP constructions.
|Title of host publication||Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020|
|Publisher||IEEE Computer Society|
|Number of pages||12|
|State||Published - Nov 2020|
|Event||61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020 - Virtual, Durham, United States|
Duration: 16 Nov 2020 → 19 Nov 2020
|Name||Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS|
|Conference||61st IEEE Annual Symposium on Foundations of Computer Science, FOCS 2020|
|Period||16/11/20 → 19/11/20|
Bibliographical noteFunding Information:
The authors are supported by the Milgrom family grant for Collaboration between the Technion and University of Haifa. Noga Ron-Zewi is also supported by the Israeli Science Foundation (Grant No. 735/20). Ron D. Rothblum is also supported by the Israeli Science Foundation (Grants No. 1262/18 and 2137/19), and the Technion Hiroshi Fujiwara cyber security research center and Israel cyber directorate.
© 2020 IEEE.
- computational complexity
ASJC Scopus subject areas
- Computer Science (all)