论文标题
授权量子计算的等效性
Equivalence in delegated quantum computing
论文作者
论文摘要
授权的量子计算(DQC)使有限的客户端可以在量子服务器上远程执行其功能之外的操作。通常在基于测量的量子计算框架中设置了DQC的协议,因为这可以自然地分离客户端和服务器之间的计算的不同部分。现有协议实现了几个所需的属性,包括输入的安全性,计算的失明及其可验证性,并且最近也扩展到了多方设置。 DQC遵循两种方法,要求在客户方面完全不同的操作。在一个中,客户能够准备量子状态,另一方面,客户能够测量它们。在这项工作中,我们对协议的等效性提供了一个新颖的严格定义,并表明这些独特的DQC设置实际上在这种意义上是等效的。我们使用抽象的加密框架来证明我们的主张并提供一种新颖的技术,使从一种设置更改为另一种设置。通过这种方式,我们证明两种方法都可以用于执行具有相同属性的任务。即,使用我们提出的技术,我们总是可以从一种设置转换为另一种设置。最终,我们使用结果为DQC提出了一个杂种 - 客户模型。
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.