One-Way Functions Imply Secure Computation in a Quantum World

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 techn...

Full description

Saved in:
Bibliographic Details
Published inAdvances in Cryptology – CRYPTO 2021 pp. 467 - 496
Main Authors Bartusek, James, Coladangelo, Andrea, Khurana, Dakshita, Ma, Fermi
Format Book Chapter
LanguageEnglish
Published Cham Springer International Publishing 2021
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

More Information
Summary: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 based on the black-box use of quantum-hard one-way functions in the standard model. Instantiating the Crépeau-Kilian (FOCS 1988) framework with these commitments yields simulation-secure QOT.
ISBN:303084241X
9783030842413
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-84242-0_17