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\'epeau-Kilian (FOCS 1988) framework with these commitments yields simulation-secure QOT.
翻译:我们证明,量子困难单向函数蕴含仿真安全的量子不经意传输(QOT),而众所周知后者足以实现任意量子功能的安全计算。此外,我们的构造仅对量子困难单向函数进行黑盒使用。我们的主要技术贡献是基于标准模型中对量子困难单向函数的黑盒使用,构建了可抽取且可含糊其辞的量子比特承诺。将这些承诺实例化到Cr\'epeau-Kilian(FOCS 1988)框架中,即得到仿真安全的QOT。