We introduce a device-independent two-prover scheme in which a classical verifier is able to 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 J. F. Fitzsimons and E. 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.
翻译:我们引入了一种依靠设备独立的双分解方案,让古典核查员能够使用一个简单的不可靠的量度测量装置(客户设备)来将量量计算权下放给一个不信任的量度服务器。为了做到这一点,我们设计了一个平行的自我测试协议,以进行以设备独立的远程状态制备当量子,并将它与J.F.Fitzsimons和E.Kashefi(Phys.Rev. A 96, 012303 (2017))的无条件安全的、可核实的通用量度计算(VBQ)方案结合起来。我们的自我测试为我们所考虑的应用取得了许多可取的属性,从而产生了实用和完全独立的设备VBC。它验证了对$XY$-平面所有主干线和内心方向的平行测量以及计算基础,很少使用输入的问题(客户使用以美元计算的数值和向服务器通报的恒定数字),只需要客户设备进行单位测量。