English
Related papers

Related papers: Verifying BQP Computations on Noisy Devices with M…

200 papers

Recent experimental achievements motivate an ever-growing interest from companies starting to feel the limitations of classical computing. Yet, in light of ongoing privacy scandals, the future availability of quantum computing through…

Quantum Physics · Physics 2021-10-13 Elham Kashefi , Dominik Leichtle , Luka Music , Harold Ollivier

Blind Quantum Computing (BQC) allows a client to have a server carry out a quantum computation for them such that the client's input, output and computation remain private. A desirable property for any BQC protocol is verification, whereby…

Quantum Physics · Physics 2017-07-12 Joseph F. Fitzsimons , Elham Kashefi

With the advent of quantum cloud computing, the security of delegated quantum computation has become of utmost importance. While multiple statistically secure blind verification schemes in the prepare-and-send model have been proposed, none…

Quantum Physics · Physics 2026-04-16 Theodoros Kapourniotis , Dominik Leichtle , Luka Music , Harold Ollivier

Cloud-based quantum computing, coupled with the rapid progress in quantum algorithms, brings to the forefront the question of verifiability in delegated quantum computations. In the current landscape of noisy quantum devices, this question…

Quantum Physics · Physics 2025-12-01 Anne Broadbent , Joshua Nevin

With experimental quantum computing technologies now in their infancy, the search for efficient means of testing the correctness of these quantum computations is becoming more pressing. An approach to the verification of quantum computation…

Quantum Physics · Physics 2018-04-18 Alexandru Gheorghiu , Matty J. Hoban , Elham Kashefi

Verifiable blind quantum computing is a secure delegated quantum computing where a client with a limited quantum technology delegates her quantum computing to a server who has a universal quantum computer. The client's privacy is protected…

Quantum Physics · Physics 2016-10-12 Tomoyuki Morimae

As progress on experimental quantum processors continues to advance, the problem of verifying the correct operation of such devices is becoming a pressing concern. The recent discovery of protocols for verifying computation performed by…

Quantum Physics · Physics 2015-12-03 Michal Hajdušek , Carlos A. Pérez-Delgado , Joseph F. Fitzsimons

As large-scale quantum computers become a reality, they will likely exist as centralized cloud resources accessible to a broad user base. Securely delegating private quantum computations to untrusted servers is therefore a foundational…

Quantum Physics · Physics 2025-09-29 Sanidhya Gupta , Ankur Raina

Verifiable blind quantum computing allows a client with poor quantum devices to delegate universal quantum computing to a remote quantum server in such a way that the client's privacy is protected and the honesty of the server is verified.…

Quantum Physics · Physics 2017-11-15 Yuki Takeuchi , Keisuke Fujii , Tomoyuki Morimae , Nobuyuki Imoto

Blind quantum computing is a new secure quantum computing protocol where a client who does not have any sophisticated quantum technlogy can delegate her quantum computing to a server without leaking any privacy. It is known that a client…

Quantum Physics · Physics 2014-06-20 Tomoyuki Morimae

Known protocols for secure delegation of quantum computations from a client to a server in an information theoretic setting require quantum communication. In this work, we investigate methods to reduce communication overhead. First, we…

Quantum Physics · Physics 2025-04-25 Abbas Poshtvan , Oleksandra Lapiha , Mina Doosti , Dominik Leichtle , Luka Music , Elham Kashefi

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum…

Quantum Physics · Physics 2014-03-10 Theodoros Kapourniotis , Elham Kashefi , Animesh Datta

Blind quantum computation protocols allow a user with limited quantum technology to delegate an intractable computation to a quantum server while keeping the computation perfectly secret. Whereas in some protocols a user can verify that…

Quantum Physics · Physics 2016-04-04 Kentaro Honda

Delegated quantum computation enables a client with limited quantum capabilities to outsource computations to a more powerful quantum server while preserving correctness and privacy. Verification is crucial in this setting to ensure that…

Quantum Physics · Physics 2026-03-11 Fabian Wiesner , Anna Pappa

We present a protocol which allows a client to have a server carry out a quantum computation for her such that the client's inputs, outputs and computation remain perfectly private, and where she does not require any quantum computational…

Quantum Physics · Physics 2012-02-22 Anne Broadbent , Joseph Fitzsimons , Elham Kashefi

With the advent of delegated quantum computing as a service, verifying quantum computations is becoming a question of great importance. Existing information theoretically Secure Delegated Quantum Computing (SDQC) protocols require the…

Quantum Physics · Physics 2024-03-18 Elham Kashefi , Dominik Leichtle , Luka Music , Harold Ollivier

Blind quantum computing protocols enable a client, who can generate or measure single-qubit states, to delegate quantum computing to a remote quantum server protecting the client's privacy (i.e., input, output, and program). With current…

Quantum Physics · Physics 2019-03-26 Tomoyuki Morimae , Takeshi Koshiba

Blind delegation protocols allow a client to delegate a computation to a server so that the server learns nothing about the input to the computation apart from its size. For the specific case of quantum computation we know that blind…

Quantum Physics · Physics 2019-02-22 Scott Aaronson , Alexandru Cojocaru , Alexandru Gheorghiu , Elham Kashefi

Interactive verification protocols for quantum computations allow to build trust between a client and a service provider, ensuring the former that the instructed computation was carried out faithfully. They come in two variants, one without…

Quantum Physics · Physics 2026-04-01 Amit Saha , Harold Ollivier

We present a modular error mitigation protocol for running $\mathsf{BQP}$ computations on a quantum computer with time-dependent noise. Utilising existing tools from quantum verification and measurement-based quantum computation, our…

Quantum Physics · Physics 2025-02-06 Joseph Harris , Elham Kashefi
‹ Prev 1 2 3 10 Next ›