Quantum Interactive Proofs

We present a protocol that transforms any quantum multi-prover interactive proof into a nonlocal game in which questions consist of …

We present a classical interactive protocol that verifies the validity of a quantum witness state for the local Hamiltonian problem. It …