English

Equivalence in delegated quantum computing

Quantum Physics 2025-07-01 v4

Abstract

Delegated quantum computing (DQC) enables limited clients to perform operations that are outside their capabilities remotely on a quantum server. Protocols for DQC are usually set up in the measurement-based quantum computation framework, as this allows for a natural separation of the different parts of the computation between the client and the server. The existing protocols achieve several desired properties, including the security of inputs, the blindness of computation and its verifiability, and have also recently been extended to the multiparty setting. Two approaches are followed in DQC that demand completely different operations on the clients' side. In one, the clients are able to prepare quantum states, in the other, the clients are able to measure them. In this work, we provide a novel stringent definition of the equivalence of protocols and show that these distinct DQC settings are, in fact, equivalent in this sense. We use the abstract cryptography framework to prove our claims and provide a novel technique that enables changing from one setting to the other. In this way, we demonstrate that both approaches can be used to perform tasks with the same properties. I.e., using our proposed techniques, we can always translate from one setting to the other. We finally use our results to propose a hybrid-client model for DQC.

Keywords

Cite

@article{arxiv.2206.07469,
  title  = {Equivalence in delegated quantum computing},
  author = {Fabian Wiesner and Jens Eisert and Anna Pappa},
  journal= {arXiv preprint arXiv:2206.07469},
  year   = {2025}
}

Comments

The proof of Theorem 4.1 implicitly relies on nonexistent properties (multi-shot distinguishability) of distinguishers. This work is superseded by "Unifying communication paradigms in delegated quantum computing" (arXiv:2506.21988)

R2 v1 2026-06-24T11:52:19.812Z