Verification of Universal Quantum Computation: Difference between revisions

Verification of Universal Quantum Computation (edit)

137 bytes removed , 17 June 2019

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 4: / Line 4: @@
 ==Protocols==
-*'''Verification for universal 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
 ##Trap-based based verification: uses blind delegated quantum computation
@@ Line 16: / Line 15: @@
 ##Verification based on self-testing graphs
 ##Post-hoc verification
-#Classical Verification of Quantum Computation
-*'''Verification for sub-universal protocols'''
-*[[Verification of NP-complete problems]]
 ==Properties==