2 papers
cs.CC2026
Probabilistically Checking Quantum Proofs, with Interaction
Baocheng Sun, Thomas Vidick
The model of interactive oracle proofs (IOP) generalizes the notion of probabilistically checkable proof (PCP), in which a static proof is verified probabilistically by querying a…
cs.CC2026
Quantum Interactive Oracle Proofs
Baocheng Sun, Thomas Vidick
We initiate the study of quantum Interactive Oracle Proofs (qIOPs), a generalization of both quantum Probabilistically Checkable Proofs and quantum Interactive Proofs, as well as a…