Articles under category:
Quantum Interactive Proofs
Quantum Interactive Proofs
Vol 20, Article 3 (pp 1-87)
Verifier-on-a-Leash: New Schemes for Verifiable Delegated Quantum Computation, with Quasilinear Resources by Andrea Coladangelo, Alex B. Grilo, Stacey Jeffery, and Thomas Vidick |
Vol 15, Article 5 (pp 1-42)
Classical Verification of Quantum Proofs by Zhengfeng Ji |
Vol 14, Article 11 (pp 1-37)
How to Verify a Quantum Computation by Anne Broadbent |
Vol 11, Article 3 (pp 59-103)
Quantum Interactive Proofs and the Complexity of Separability Testing by Gus Gutoski, Patrick Hayden, Kevin Milner, and Mark M. Wilde |