Towards a quantum-inspired proof for ip = pspace

Ayal Green, Guy Kindler, Yupan Liu

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


We explore quantum-inspired interactive proof systems where the prover is limited. Namely, we improve on a result by [6] showing a quantum-inspired interactive protocol (IP) for PreciseBQP where the prover is only assumed to be a PreciseBQP machine, and show that the result can be strengthened to show an IP for NPPP with a prover which is only assumed to be an NPPP machine-which was not known before. We also show how the protocol can be used to directly verify QMA computations, thus connect-ing the sum-check protocol by [2] with the result of [6, 29]. Our results shed light on a quantum-inspired proof for IP = PSPACE, as PreciseQMA captures the full PSPACE power.

Original languageAmerican English
Pages (from-to)377-386
Number of pages10
JournalQuantum Information and Computation
Issue number5-6
StatePublished - 2021

Bibliographical note

Publisher Copyright:
© Rinton Press.


  • Delegating quantum computation
  • Interactive proofs


Dive into the research topics of 'Towards a quantum-inspired proof for ip = pspace'. Together they form a unique fingerprint.

Cite this