Verification of quantum computation

Does every language \(L\in\mathsf{BQP}\) admit a single-prover interactive proof with a fully classical verifier, an efficient quantum honest prover, and information-theoretic soundness?

• Quantum algorithm
• Verification of quantum computation
• Computational complexity and computability