Editing Verification of Universal Quantum Computation
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
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: | ##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 |