# Security Limitations of Classical-Client Delegated Quantum Computing

@article{Badertscher2020SecurityLO, title={Security Limitations of Classical-Client Delegated Quantum Computing}, author={Christian Badertscher and Alexandru Cojocaru and L{\'e}o Colisson and E. Kashefi and Dominik Leichtle and A. Mantri and P. Wallden}, journal={ArXiv}, year={2020}, volume={abs/2007.01668} }

Secure delegated quantum computing allows a computationally weak client to outsource an arbitrary quantum computation to an untrusted quantum server in a privacy-preserving manner. One of the promising candidates to achieve classical delegation of quantum computation is classical-client remote state preparation ($RSP_{CC}$), where a client remotely prepares a quantum state using a classical channel. However, the privacy loss incurred by employing $RSP_{CC}$ as a sub-module is unclear.
In this… Expand

#### Figures and Topics from this paper

#### 6 Citations

Secure Quantum Two-Party Computation: Impossibility and Constructions

- Computer Science
- IACR Cryptol. ePrint Arch.
- 2020

This work presents a first, simple and modular, construction of one-sided quantum two-party computation and quantum oblivious transfer over classical networks, and introduces the notion of oblivious quantum function evaluation (OQFE). Expand

Trusted center verification model and classical channel remote state preparation

- Computer Science, Physics
- 2020

It is shown that the first quantum message transmission cannot be replaced with an (even approximate) ccRSP protocol while keeping the information-theoretical soundness unless BQP is contained in AM, which solves the long-standing open problem. Expand

On the Possibility of Classical Client Blind Quantum Computing

- Computer Science, Physics
- Cryptogr.
- 2021

Using the functionality of delegated pseudo-secret random qubit generator (PSRQG), a classical client can instruct the preparation of a sequence of random qubits at some distant party, one could achieve a purely classical-client computational secure verifiable delegated universal quantum computing (also referred to as verifiable blind quantum computation). Expand

Secure Two-Party Quantum Computation Over Classical Channels

- Physics
- 2020

Secure two-party computation considers the problem of two parties computing a joint function of their private inputs without revealing anything beyond the output of the computation. In this work, we… Expand

Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States

- Computer Science, Physics
- ArXiv
- 2021

This work proposes a different approach, and starts the study of Non-Destructive Zero-Knowledge Proofs on Quantum States, and shows how it can prove useful to distribute a GHZ state between different parties, in such a way that only parties knowing a secret can be part of this GHZ. Expand

QEnclave -- A practical solution for secure quantum cloud computing

- Physics, Computer Science
- 2021

We introduce a secure hardware device named a QEnclave that can secure the remote execution of quantum operations while only using classical controls. This device extends to quantum computing the… Expand

#### References

SHOWING 1-10 OF 69 REFERENCES

On the Possibility of Classical Client Blind Quantum Computing

- Computer Science, Physics
- Cryptogr.
- 2021

Using the functionality of delegated pseudo-secret random qubit generator (PSRQG), a classical client can instruct the preparation of a sequence of random qubits at some distant party, one could achieve a purely classical-client computational secure verifiable delegated universal quantum computing (also referred to as verifiable blind quantum computation). Expand

Garbled Quantum Computation

- Mathematics, Physics
- Cryptogr.
- 2017

This contribution explores the possibility of extending the verifiable UBQC, and presents a “Yao”-type protocol for secure two-party quantum computation that is secure against a specious (quantum honest-but-curious) garbler, but in this case, against a (fully) malicious evaluator. Expand

Impossibility Of Perfectly-Secure Ono-Round Delegated Quantum Computing for classical client

- Physics, Computer Science
- Quantum Inf. Comput.
- 2019

Here it is shown that the protocol cannot satisfy both the correctness and the perfect blindness simultaneously unless BQP is in NP, suggesting the impossibility of the one-round perfectly-secure delegated quantum computing. Expand

Blind quantum computing with two almost identical states

- Physics, Computer Science
- ArXiv
- 2016

This work identifies sufficient criteria on the powers of the client, which still allow for secure blind quantum computation, in a universally composable framework, and provides a series of protocols, where each step reduces the number of differing states the client needs to be able to prepare. Expand

On the implausibility of classical client blind quantum computing

- Computer Science, Physics
- ArXiv
- 2017

Using the functionality of delegated pseudo-secret random qubit generator (PSRQG), a classical client can instruct the preparation of a sequence of random qubits at some distant party, one could achieve a purely classical-client computational secure verifiable delegated universal quantum computing (also referred to as verifiable blind quantum computation). Expand

Succinct blind Quantum computation using a random oracle

- Computer Science, Physics
- IACR Cryptol. ePrint Arch.
- 2020

A new universal blind quantum computation protocol that is succinct, that is, its complexity is independent of the circuit size, and can be used to evaluate any circuit of size up to a subexponential of κ. Expand

Complexity-Theoretic Limitations on Blind Delegated Quantum Computation

- Mathematics, Computer Science
- ICALP
- 2019

This paper shows that if an ITS-BQC protocol exists with polynomial classical communication and which allows the client to delegate quantum sampling problems, then there exist non-uniform circuits of size that make polynomially-sized queries to an oracle. Expand

Flow ambiguity: A path towards classically driven blind quantum computation

- Computer Science, Physics
- ArXiv
- 2016

This work shows how a classical client can exploit the ambiguity in the flow of information in measurement-based quantum computing to construct a protocol for hiding critical aspects of a computation delegated to a remote quantum computer. Expand

Delegating private quantum computations12

- Physics
- 2015

We give a protocol for the delegation of quantum computation on encrypted data. More specifically, we show that in a client–server scenario, where the client holds the encryption key for an encrypted… Expand

Unconditionally verifiable blind quantum computation

- Physics
- 2017

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… Expand