Verified Delegated Quantum Computing with One Pure Qubit
arXiv:1403.1438
Abstract
While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing.
31 pages, 3 figures, fixed numbering of theorems
References in corpus (24)
- The Physical Implementation of Quantum Computation
- Multi-party entanglement in graph states
- Fermionic quantum computation
- On the Power of One Bit of Quantum Information
- Experimental Demonstration of Blind Quantum Computing
- Unconditionally verifiable blind computation
- Authentication of Quantum Messages
- Blind quantum computation protocol in which Alice only makes measurements
- Experimental verification of quantum computations
- Determinism in the one-way model
- Generalized Flow and Determinism in Measurement-based Quantum Computation
- Blind topological measurement-based quantum computation
- Universal Blind Quantum Computing with Weak Coherent Pulses
- On the hardness of classically simulating the one clean qubit model
- Interactive Proofs For Quantum Computations
- Efficient universal blind computation
- Optimal Blind Quantum Computation
- Multipartite entanglement verification resistant against dishonest parties
- Composable security of delegated quantum computation
- Ancilla-Driven Universal Blind Quantum Computation
- Continuous-variable blind quantum computation
- Which graph states are useful for quantum information processing?
- Computation with Unitaries and One Pure Qubit
- Ground state blind quantum computation on AKLT state