Verification of Universal Quantum Computation

Functionality

Quantum Computers perform task which are intractable for classical computers. The basic question here would be, "How should one verify the result of a quantum computer? This task is known as quantum verification or verification of quantum computation. Tags: Quantum Functionality, Universal Task

Use Case

Protocols

Properties

  1. BQP is the class of problems which can be efficiently solved by quantum computers
  2. BPP is the class of problems which can be efficiently solved by classical computers.
  3. MA (Merlin-Arthur) is the class of problems whose solutions can be verified when given a proof setting called witness.
  4. IP (interactive-proof system) is a generalization of MA, which involves back and forth communication between a verifier (a BPP machine) and prover (has unbounded computational power).
  • Correctness
  • Soundness

Further Information

  • Review Papers

References

  1. Gheorghiu et al (2018)
contributed by Shraddha Singh