Abstract
Proofs of proximity are proof systems wherein the verifier queries a sublinear number of bits, and soundness only asserts that inputs that are far from valid will be rejected. In their minimal form, called MA proofs of proximity (MAP), the verifier receives, in addition to query access to the input, also free access to a short (sublinear) proof. A more general notion is that of interactive proofs of proximity (IPP), wherein the verifier is allowed to interact with an omniscient, yet untrusted prover.
We construct proofs of proximity for two natural classes of properties: (1) context-free languages, and (2) languages accepted by small read-once branching programs. Our main results are:
1. MAPs for these two classes, in which, for inputs of length n, both the verifier's query complexity and the length of the MAPproof are (O) over tilde (root n).
2. IPPs for the same two classes with constant query complexity, poly-logarithmic communication complexity, and logarithmically many rounds of interaction.
| Original language | English |
|---|---|
| Pages (from-to) | 175-201 |
| Number of pages | 27 |
| Journal | Information and Computation |
| Volume | 261 |
| DOIs | |
| State | Published - Aug 2018 |
| Event | 42nd International Colloquium on Automata, Languages and Programming - Kyoto, Japan Duration: 6 Jul 2015 → 10 Jul 2015 Conference number: 42nd |
Keywords
- Interactive proofs
- Probabilistic proof systems
- Property testing
All Science Journal Classification (ASJC) codes
- Theoretical Computer Science
- Information Systems
- Computer Science Applications
- Computational Theory and Mathematics