Abstract:The application and analysis of the Cut-and-Choose technique in protocols secure against quantum adversaries is not a straightforward transposition of the classical case, among other reasons due to the difficulty to use rewinding in the quantum realm. We introduce a Quantum Computation Cut-and-Choose (QC-CC) technique which is a generalisation of the classical Cut-and-Choose in order to build quantum protocols secure against quantum covert adversaries. Such adversaries can deviate arbitrarily provided that their deviation is not detected. As an application of the QC-CC we give a protocol for securely performing two-party quantum computation with classical input/output. As basis we use secure delegated quantum computing (Broadbent et al 2009), and in particular the garbled quantum computation of (Kashefi et al 2016) that is secure against only a weak specious adversaries, defined in (Dupuis et al 2010). A unique property of these protocols is the separation between classical and quantum communications and the asymmetry between client and server, which enables us to sidestep the quantum rewinding issues. This opens the prospect of using the QC-CC to other quantum protocols with this separation. In our proof of security we adapt and use (at different parts) two quantum rewinding techniques, namely Watrous' oblivious q-rewinding (Watrous 2009) and Unruh's special q-rewinding (Unruh 2012). Our protocol achieves the same functionality as in previous works (e.g. Dupuis et al 2012), however using the QC-CC technique on the protocol from (Kashefi et al 2016) leads to the following key improvements: (i) only one-way offline quantum communication is necessary , (ii) only one party (server) needs to have involved quantum technological abilities, (iii) only minimal extra cryptographic primitives are required, namely one oblivious transfer for each input bit and quantum-safe commitments.

Quantum oblivious transfer protocols based on EPR states

Quantum Rabin oblivious transfer using two pure states

Quantum Oblivious Transfer Using Tripartite Entangled States

Incomplete quantum oblivious transfer with perfect one-sided security

A Practical Protocol for Quantum Oblivious Transfer from One-Way Functions

Oblivious transfer based on single-qubit rotations

Quantum Oblivious Transfer Based on POVM Measurements.

Unconditionally Secure Quantum Oblivious Transfer

Efficient Deterministic Secure Quantum Communication protocols using multipartite entangled states

Quantum oblivious transfer: a short review

Insecurity of Quantum Two-Party Computation with Applications to Cheat-Sensitive Protocols and Oblivious Transfer Reductions

Asymptotically secure All-or-nothing Quantum Oblivious Transfer

Lower Bounds for Quantum Oblivious Transfer

Simple Protocols for Oblivious Transfer and Secure Identification in the Noisy-Quantum-Storage Model

Unconditionally Secure Quantum m-out-of-n Oblivious Transfer

More Robust Multiparty Protocols with Oblivious Transfer

Cheating in quantum Rabin oblivious transfer using delayed measurements

Provably secure 1-out-of-n Oblivious Transfer scheme

The Quantum Cut-and-Choose Technique and Quantum Two-Party Computation

Bidirectional quantum teleportation and secure direct communication via entanglement swapping

A Post-Quantum Light Weight 1-out-n Oblivious Transfer Protocol