A qIOP protocol for QMA with polylog qubit queries, polynomial communication, exponential completeness, and constant soundness gap using quantum LTCs and classical PCPPs.
Succinct arguments for QMA from standard assumptions via compiled nonlocal games.CoRR, abs/2404.19754,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Probabilistically Checking Quantum Proofs, with Interaction
A qIOP protocol for QMA with polylog qubit queries, polynomial communication, exponential completeness, and constant soundness gap using quantum LTCs and classical PCPPs.