Interactive Proofs for Quantum Computation

Revision as of 20:16, 17 June 2019 by Shraddha (talk | contribs) (Created page with "'Does every problem in BQP admit an interactive-proof system in which the prover is restricted to BQP computations?' The [https://arxiv.org/pdf/1704.04487.pdf example protocol...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

'Does every problem in BQP admit an interactive-proof system in which the prover is restricted to BQP computations?' The example protocol answers this question by defining quantum prover interactive proofs and state 'Any language in BQP has a QPIP which hides the computation from the prover'

Retrieved from "https://wiki.veriqloud.fr/index.php?title=Interactive_Proofs_for_Quantum_Computation&oldid=3295"