Cryptology ePrint Archive: Report 2020/1487

One-Way Functions Imply Secure Computation in a Quantum World

James Bartusek and Andrea Coladangelo and Dakshita Khurana and Fermi Ma

Abstract: We prove that quantum-hard one-way functions imply simulation-secure quantum oblivious transfer (QOT), which is known to suffice for secure computation of arbitrary quantum functionalities. Furthermore, our construction only makes black-box use of the quantum-hard one-way function.

Our primary technical contribution is a construction of extractable and equivocal quantum bit commitments from quantum-hard one-way functions in the standard model. Instantiating the Bennet-Brassard-Crépeau-Skubiszewska (CRYPTO 91) framework with these commitments yields simulation-secure QOT.

Category / Keywords: cryptographic protocols / secure quantum computation, one-way functions

Date: received 26 Nov 2020, last revised 16 Mar 2021

Contact author: bartusek james at gmail com,andrea coladangelo@gmail com,dakshita@illinois edu,fermima@alum mit edu

Available format(s): PDF | BibTeX Citation

Version: 20210316:225545 (All versions of this report)

Short URL: ia.cr/2020/1487