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:08, 17 June 2019
, 17 June 2019→Protocols
| Line 4: | Line 4: | ||
==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 | |||
##Quantum-authentication based verification | ##Quantum-authentication based verification | ||
##Trap-based based verification: uses blind delegated quantum computation | ##Trap-based based verification: uses blind delegated quantum computation | ||
| Line 16: | Line 15: | ||
##Verification based on self-testing graphs | ##Verification based on self-testing graphs | ||
##Post-hoc verification | ##Post-hoc verification | ||
==Properties== | ==Properties== | ||