Verification of Universal Quantum Computation: Difference between revisions

Jump to navigation Jump to search
Line 3: Line 3:


==Protocols==
==Protocols==
*Single prover protocols
#Single prover protocols
#[[Prepare-and-Send Verifiable Universal Blind Quantum Computation|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
#[[Measurement-Only Verifiable Universal Blind Quantum Computation|Single-prover receive-and-measure]]: Verifier can only receive and measure states
##[[Measurement-Only Verifiable Universal Blind Quantum Computation|Single-prover receive-and-measure]]: Verifier can only receive and measure states
*Multi-prover protocols
#Multi-prover protocols
#Multi-prover entanglement-based: verifier is completely classical and the provers are entangled
##Multi-prover entanglement-based: verifier is completely classical and the provers are entangled


==Properties==
==Properties==
Write, autoreview, editor, reviewer
3,125

edits

Navigation menu