QFactory: classically-instructed remote secret qubits preparation
arXiv:1904.06303 · doi:10.1007/978-3-030-34578-5_22
Abstract
The functionality of classically-instructed remotely prepared random secret qubits was introduced in (Cojocaru et al 2018) as a way to enable classical parties to participate in secure quantum computation and communications protocols. The idea is that a classical party (client) instructs a quantum party (server) to generate a qubit to the server's side that is random, unknown to the server but known to the client. Such task is only possible under computational assumptions. In this contribution we define a simpler (basic) primitive consisting of only BB84 states, and give a protocol that realizes this primitive and that is secure against the strongest possible adversary (an arbitrarily deviating malicious server). The specific functions used, were constructed based on known trapdoor one-way functions, resulting to the security of our basic primitive being reduced to the hardness of the Learning With Errors problem. We then give a number of extensions, building on this basic module: extension to larger set of states (that includes non-Clifford states); proper consideration of the abort case; and verifiablity on the module level. The latter is based on "blind self-testing", a notion we introduced, proved in a limited setting and conjectured its validity for the most general case.
51 pages, 4 figures
References in corpus (27)
- Quantum Computing in the NISQ era and beyond
- Universal blind quantum computation
- Unknown Quantum States: The Quantum de Finetti Representation
- Leftover Hashing Against Quantum Side Information
- Unconditionally verifiable blind computation
- Robust Self Testing of the Singlet
- Robust Self Testing of Unknown Quantum Systems into Any Entangled Two-Qubit States
- Blind topological measurement-based quantum computation
- Universal Blind Quantum Computing with Weak Coherent Pulses
- Quantum homomorphic encryption for circuits of low -gate complexity
- Interactive Proofs For Quantum Computations
- Post hoc verification with a single prover
- Post hoc verification of quantum computation
- Optimal Blind Quantum Computation
- Efficient universal blind computation
- Limitations on information theoretically secure quantum homomorphic encryption
- Quantum homomorphic encryption from quantum codes
- Quantum fully homomorphic encryption scheme based on universal quantum circuit
- A quantum approach to homomorphic encryption
- QFactory: classically-instructed remote secret qubits preparation
- Quantum Fully Homomorphic Encryption With Verification
- A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games
- Reducing resources for verification of quantum computations
- Blind quantum computing with two almost identical states
- Ground state blind quantum computation on AKLT state
- Blind Quantum Computation
- On Statistically-Secure Quantum Homomorphic Encryption
Cited by in corpus (19)
- Advances in Quantum Cryptography
- Quantum Encryption with Certified Deletion, Revisited: Public Key, Attribute-Based, and Classical Communication
- QFactory: classically-instructed remote secret qubits preparation
- Self-testing of a single quantum device under computational assumptions
- On the possibility of classical client blind quantum computing
- Depth-efficient proofs of quantumness
- QEnclave -- A practical solution for secure quantum cloud computing
- Security Limitations of Classical-Client Delegated Quantum Computing
- Succinct Blind Quantum Computation Using a Random Oracle
- Traceable random numbers from a nonlocal quantum advantage
- Sumcheck-based delegation of quantum computing to rational server
- Multi-agent blind quantum computation without universal cluster states
- Lattice-Based Quantum Advantage from Rotated Measurements
- Rewindable Quantum Computation and Its Equivalence to Cloning and Adaptive Postselection
- Towards practical secure delegated quantum computing with semi-classical light
- Information-Theoretic Limits of Quantum Learning via Data Compression
- Unifying communication paradigms in measurement-based delegated quantum computing
- Partial Blind Quantum Computation: A Framework for Selective Circuit Protection
- Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States