We introduce a device-independent two-prover scheme in which a classical verifier can use a simple untrusted quantum measurement device (the client device) to securely delegate a quantum computation to an untrusted quantum server. To do this, we construct a parallel self-testing protocol to perform device-independent remote state preparation of $n$ qubits and compose this with the unconditionally secure universal verifiable blind quantum computation (VBQC) scheme of Fitzsimons and Kashefi [Phys. Rev. A 96, 012303 (2017)]. Our self-test achieves a multitude of desirable properties for the application we consider, giving rise to practical and fully device-independent VBQC. It certifies parallel measurements of all cardinal and intercardinal directions in the $XY$ plane as well as the computational basis, uses few input questions (of size logarithmic in $n$ for the client and a constant number communicated to the server), and requires only single-qubit measurements to be performed by the client device.
翻译:我们提出了一种设备无关的双证明者方案,其中经典验证者可以利用一个简单且不可信的量子测量设备(客户端设备)将量子计算安全地委托给不可信的量子服务器。为此,我们构建了一种并行自测试协议,以实现$n$个量子比特的设备无关远程态制备,并将其与Fitzsimons和Kashefi [Phys. Rev. A 96, 012303 (2017)]提出的无条件安全通用可验证盲量子计算方案相结合。我们的自测试协议实现了所考虑应用场景中的多种理想特性,从而催生了实用且完全设备无关的可验证盲量子计算。该协议能够认证$XY$平面内所有基本方向及中间方向的并行测量以及计算基测量,仅需使用少量输入问题(客户端问题规模为$n$的对数,与服务器通信的问题数量为常数),并且客户端设备仅需执行单量子比特测量。