Verification of Universal Quantum Computation: Difference between revisions

Verification of Universal Quantum Computation (edit)

250 bytes added , 11 June 2019

Write, autoreview, editor, reviewer

3,129

edits

@@ Line 3: / Line 3: @@
 ==Protocols==
-#Single prover protocols
+#Single-prover prepare-and-send: Verifier can only prepare and send states
-##[[Prepare-and-Send Verifiable Universal Blind Quantum Computation|Single-prover prepare-and-send]]: Verifier can only prepare and send states
+##Quantum-authentication based verification
-##[[Measurement-Only Verifiable Universal Blind Quantum Computation|Single-prover receive-and-measure]]: Verifier can only receive and measure states
+##Trap-based based verification: uses blind delegated quantum computation
-#Multi-prover protocols
+##Verification based on repeated runs
-##Multi-prover entanglement-based: verifier is completely classical and the provers are entangled
+#Single-prover receive-and-measure: Verifier can only receive and measure 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
 ==Properties==