MoL-2019-27: McKnight, John Hunter (2019) Quantum Shell Games: How to Classically Delegate the Preparation of Authenticated Quantum States. [Report]
Preview |
Text
MoL-2019-27.text.pdf Download (638kB) | Preview |
Abstract
We propose novel protocols for verifiable, classically instructed remote state preparation. Our “Shell Game” protocols require constantly many rounds of communication to prepare an arbitrary number of qubits, and the prepared qubits can optionally be authenticated using a trap code. In the Shell Game, a classical client and quantum server use a new cryptographic resource called a “magic box” to perform secret CNOT and SWAP operations that encode, permute, and encrypt a quantum state held by the server. The keys to this encoding/encryption are private to the client. The client tests the server’s honesty by asking the server to measure some of the prepared state and evaluating the consistency of the outcomes against the honest state. The remaining, unmeasured state is the quantum output of the protocol.
We give a practical construction of magic boxes using Mahadev’s secret-CNOT gadget in the quantum honest-but-curious setting. We prove the Shell Game protocols secure against adversaries in this limited setting. We include a case study on the security of magic boxes against adversaries as a first step toward proving security of the Shell Game against active adversaries.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2019-27 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2019 |
| Subjects: | Computation Logic |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 27 Dec 2020 21:18 |
| Last Modified: | 15 Apr 2021 17:53 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1766 |
Actions (login required)
 |
View Item |
