Short PCPs with Polylog Query Complexity

We give constructions of probabilistically checkable proofs (PCPs) of length n · polylog n proving satisfiability of circuits of size n that can verified by querying polylog n bits of the proof. We also give analogous constructions of locally testable codes (LTCs) mapping n information bits to n · polylog n bit long codewords that are testable with polylog n queries. Our constructions rely on new techniques revolving around properties of codes based on relatively high-degree polynomials in one variable, i.e., Reed-Solomon codes. In contrast, previous constructions of short PCPs, beginning with [5] and until the recent [9], relied extensively on properties of low-degree polynomials in many variables. We show how to convert the problem of verifying the satisfaction of a circuit by a given assignment to the task of verifying that a given function is close to being a Reed-Solomon codeword, i.e., a univariate polynomial of specified degree. This reduction also gives an alternative to using the “sumcheck protocol ” [34]. We then give a new PCP for the special task of proving that a function is close to being a Reed-Solomon codeword. The resulting PCPs are not only shorter than previous ones but also arguably simpler. In fact, our constructions are also more natural in that they yield locally testable codes first, which are then converte