Write, autoreview, editor, reviewer
3,129
edits
Verification of Universal Quantum Computation: Difference between revisions
Jump to navigation
Jump to search
Verification of Universal Quantum Computation (edit)
Revision as of 20:57, 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]] | ||
##Trap-based based verification: uses verifiable blind delegated quantum computation | ##Trap-based based verification: uses verifiable blind delegated quantum computation | ||
##Verification based on repeated runs | ##Verification based on repeated runs | ||