Write, autoreview, editor, reviewer
3,129
edits
Verification of Universal Quantum Computation: Difference between revisions
Verification of Universal Quantum Computation (edit)
Revision as of 21:18, 17 June 2019
, 17 June 2019→Protocols
| Line 5: | Line 5: | ||
==Protocols== | ==Protocols== | ||
#Single-prover prepare-and-send: Verifier can only prepare and send quantum states to delegate a BQP computation to the prover | #Single-prover prepare-and-send: Verifier can only prepare and send quantum states to delegate a BQP computation to the prover | ||
##[[Interactive Proofs for Quantum Computation|Quantum-authentication based verification]] | ##[[Interactive Proofs for Quantum Computation|Quantum-authentication based verification]]: Protocols use schemes for [[Authentication of Quantum Messages|authentication of quantum messages]] to run interactive proofs. | ||
##Trap-based based verification: uses | ##Trap-based based verification: Protocol uses [[Prepare-and-Send Universal Blind Quantum Computation|blind delegated quantum computation]] | ||
##Verification based on repeated runs | ##Verification based on repeated runs | ||
#Single-prover receive-and-measure: Verifier can only receive and measure quantum states | #Single-prover receive-and-measure: Verifier can only receive and measure quantum states | ||