On the Computational Hardness Needed for Quantum Cryptography
| Autor: | Brakerski, Zvika, Canetti, Ran, Qian, Luowen |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: |
FOS: Computer and information sciences
Theory of computation → Cryptographic primitives Quantum Physics Computer Science - Cryptography and Security Security and privacy → Mathematical foundations of cryptography zero knowledge FOS: Physical sciences secure multiparty computation Theory of computation → Quantum complexity theory commitment scheme quantum cryptography efi Quantum Physics (quant-ph) Cryptography and Security (cs.CR) Theory of computation → Computational complexity and cryptography oblivious transfer Theory of computation → Cryptographic protocols |
| DOI: | 10.4230/lipics.itcs.2023.24 |
| Popis: | In the classical model of computation, it is well established that one-way functions (OWF) are minimal for computational cryptography: They are essential for almost any cryptographic application that cannot be realized with respect to computationally unbounded adversaries. In the quantum setting, however, OWFs appear not to be essential (Kretschmer 2021; Ananth et al., Morimae and Yamakawa 2022), and the question of whether such a minimal primitive exists remains open. We consider EFI pairs -- efficiently samplable, statistically far but computationally indistinguishable pairs of (mixed) quantum states. Building on the work of Yan (2022), which shows equivalence between EFI pairs and statistical commitment schemes, we show that EFI pairs are necessary for a large class of quantum-cryptographic applications. Specifically, we construct EFI pairs from minimalistic versions of commitments schemes, oblivious transfer, and general secure multiparty computation, as well as from $\mathsf{QCZK}$ proofs from essentially any non-trivial language. We also construct quantum computational zero knowledge ($\mathsf{QCZK}$) proofs for all of $\mathsf{QIP}$ from any EFI pair. This suggests that, for much of quantum cryptography, EFI pairs play a similar role to that played by OWFs in the classical setting: they are simple to describe, essential, and also serve as a linchpin for demonstrating equivalence between primitives. Comment: 30 pages, 1 figure |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|