logo
  • Articles
  • editors
  • Submit
  • Search
  • Home
  • About
  • Articles
  • Special Issues
  • Graduate Surveys
  • Library
  • Editors
  • Submit
  • Issues
  • Contact Us
  • Search
Articles under category:
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