{"id":"arxiv/2606.09588","url":"https://arxiv.org/abs/2606.09588","tags":["cs.CC","quant-ph"],"score":0,"title":"Probabilistically Checking Quantum Proofs, with Interaction","domain":"cs.CC","source":"arxiv","authors":["Baocheng Sun","Thomas Vidick"],"reviews":0,"subject":"cs.CC","summary":"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 small number of bits, to the interactive setting: a polynomial-time verifier interacts with an unbounded prover, but is restricted to only reading a small number of bits, in total, from the messages sent by the prover. IOPs provide a relaxed setting in which to study local probabilistic verification. They have proved instrumental in devising efficient methods for verification through subsequent compilation into…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}