Parallel remote state preparation for fully device-independent verifiable blind quantum computation
arXiv:2212.05442 · doi:10.1103/PhysRevResearch.7.013069
Abstract
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 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 plane as well as the computational basis, uses few input questions (of size logarithmic in for the client and a constant number communicated to the server), and requires only single-qubit measurements to be performed by the client device.
59 pages, 3 figures; published version
References in corpus (54)
- A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations
- Bounding the set of quantum correlations
- Experimental Demonstration of Blind Quantum Computing
- Security in Quantum Cryptography
- Self-testing of quantum systems: a review
- Private Randomness Expansion With Untrusted Devices
- Unconditionally verifiable blind computation
- Robust Self Testing of the Singlet
- Quantum theory based on real numbers can be experimentally falsified
- Almost quantum correlations
- All Pure Bipartite Entangled States can be Self-Tested
- Sum-of-squares decompositions for a family of CHSH-like inequalities and their application to self-testing
- Verifiable measurement-only blind quantum computing with stabilizer testing
- Memory Attacks on Device-Independent Quantum Cryptography
- Experimental verification of quantum computations
- Performing Quantum Computing Experiments in the Cloud
- Analytic and nearly optimal self-testing bounds for the Clauser-Horne-Shimony-Holt and Mermin inequalities
- Optimal randomness certification from one entangled bit
- Unified derivations of measurement-based schemes for quantum computation
- Robust and versatile black-box certification of quantum devices
- Experimental test of Mermin inequalities on a 5-qubit quantum computer
- Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States
- Physical characterization of quantum devices from nonlocal correlations
- Parallelizing Quantum Circuits
- Robustness and device independence of verifiable blind quantum computing
- Self-testing of binary observables based on commutation
- Post hoc verification with a single prover
- Post hoc verification of quantum computation
- All the self-testings of the singlet for two binary measurements
- Interactive proofs for BQP via self-tested graph states
- Device-independent parallel self-testing of two singlets
- Robust self testing of the 3-qubit state
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Self-testing of Pauli observables for device-independent entanglement certification
- Certifying the building blocks of quantum computers from Bell's theorem
- Verified measurement-based quantum computing with hypergraph states
- How to Verify a Quantum Computation
- Self-guaranteed measurement-based quantum computation
- Device-independent point estimation from finite data and its application to device-independent property estimation
- Verifiable fault-tolerance in measurement-based quantum computation
- Quantum networks self-test all entangled states
- Self-testing in parallel
- Securing Quantum Computations in the NISQ Era
- Optimised resource construction for verifiable quantum computation
- Relations for certain symmetric norms and anti-norms before and after partial trace
- Experimental robust self-testing of the state generated by a quantum network
- Test for a large amount of entanglement, using few measurements
- A generalization of the CHSH inequality self-testing maximally entangled states of any local dimension
- Self-testing of a single quantum device under computational assumptions
- Device-independent Certification of One-shot Distillable Entanglement
- Device-independent certification of tensor products of quantum states using single-copy self-testing protocols
- Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension
- Quantum Magic Rectangles: Characterization and Application to Certified Randomness Expansion
- Practical parallel self-testing of Bell states via magic rectangles