Interactive Proofs for Quantum Computation: Difference between revisions
Jump to navigation
Jump to search
(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...") |
(No difference)
|
Revision as of 20:16, 17 June 2019
'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'