Write, autoreview, editor, reviewer
3,129
edits
Verification of Universal Quantum Computation: Difference between revisions
Verification of Universal Quantum Computation (edit)
Revision as of 20:11, 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 | ||
##Quantum-authentication based verification | ##[[Interactive Proofs for Quantum Computation|Quantum-authentication based verification]]: | ||
##Trap-based based verification: uses blind delegated quantum computation | ##Trap-based based verification: uses verifiable 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 | ||