Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Theodoros Kapourniotis; Elham Kashefi; Dominik Leichtle; Luka Music; Harold Ollivier

Paper 2022/1304

Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

Theodoros Kapourniotis

, University of Warwick

Elham Kashefi, Sorbonne University, University of Edinburgh

Dominik Leichtle

, Sorbonne University

Luka Music

, Quandela

Harold Ollivier, French Institute for Research in Computer Science and Automation

Abstract

With the recent availability of cloud quantum computing services, the question of verifying quantum computations delegated by a client to a quantum server is becoming of practical interest. While Verifiable Blind Quantum Computing (VBQC) has emerged as one of the key approaches to address this challenge, current protocols still need to be optimised before they are truly practical. To this end, we establish a fundamental correspondence between error-detection and verification and provide sufficient conditions to both achieve security in the Abstract Cryptography framework and optimise resource overheads of all known VBQC-based protocols. As a direct application, we demonstrate how to systematise the search for new efficient and robust verification protocols for $\mathsf{BQP}$ computations. While we have chosen Measurement-Based Quantum Computing (MBQC) as the working model for the presentation of our results, one could expand the domain of applicability of our framework via direct known translation between the circuit model and MBQC.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
Keywords: Quantum Verification Secure Delegated Computation Error-Detection
Contact author(s): t kapourniotis @ warwick ac uk
ekashefi @ gmail com
Dominik Leichtle @ lip6 fr
luka music @ quandela com
harold ollivier @ inria fr
History: 2022-09-30: approved; 2022-09-30: received; See all versions
Short URL: https://ia.cr/2022/1304
License: CC BY-NC-SA

BibTeX

@misc{cryptoeprint:2022/1304,
      author = {Theodoros Kapourniotis and Elham Kashefi and Dominik Leichtle and Luka Music and Harold Ollivier},
      title = {Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations},
      howpublished = {Cryptology ePrint Archive, Paper 2022/1304},
      year = {2022},
      note = {\url{https://eprint.iacr.org/2022/1304}},
      url = {https://eprint.iacr.org/2022/1304}
}