Editing Verification of Universal Quantum Computation (section)

==Protocols==
#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]]: Protocols use schemes for [[Authentication of Quantum Messages|authentication of quantum messages]] to run interactive proofs. 
##Trap-based based verification: Protocol uses [[Prepare-and-Send Universal Blind Quantum Computation|blind delegated quantum computation]]
##Verification based on repeated runs
#Single-prover receive-and-measure: Verifier can only receive and measure quantum states
##Measurement only verification: uses blind delegated quantum computation
##Post-hoc verification: Non-interactive (requires only single round of back and forth communication)
#Multi-prover entanglement-based: Verifier is completely classical and the provers are entangled
##Verification based on CHSH rigidity
##Verification based on self-testing graphs
##Post-hoc verification