One-Way Functions Imply Secure Computation in a Quantum World

James Bartusek, Andrea Coladangelo, Dakshita Khurana, Fermi Ma

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\'epeau-Skubiszewska (CRYPTO 91) framework with these commitments yields simulation-secure quantum oblivious transfer.

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment