Verification of Universal Quantum Computation: Difference between revisions