Quantum Commitments and Signatures Without One-Way Functions
Tomoyuki Morimae, Takashi Yamakawa
Abstract
In the classical world, the existence of commitments is equivalent to the existence of one-way functions. In the quantum setting, on the other hand, commitments are not known to imply one-way functions, but all known constructions of quantum commitments use at least one-way functions. Are one-way functions really necessary for commitments in the quantum world? In this work, we show that non-interactive quantum commitments (for classical messages) with computational hiding and statistical binding exist if pseudorandom quantum states exist. Pseudorandom quantum states are sets of quantum states that are efficiently generated but their polynomially many copies are computationally indistinguishable from the same number of copies of Haar random states [Ji, Liu, and Song, CRYPTO 2018]. It is known that pseudorandom quantum states exist even if (relative to a quantum oracle) [Kretschmer, TQC 2021], which means that pseudorandom quantum states can exist even if no quantum-secure classical cryptographic primitive exists. Our result therefore shows that quantum commitments can exist even if no quantum-secure classical cryptographic primitive exists. In particular, quantum commitments can exist even if no quantum-secure one-way function exists. In this work, we also consider digital signatures, which are other fundamental primitives in cryptography. We show that one-time secure digital signatures with quantum public keys exist if pseudorandom quantum states exist. In the classical setting, the existence of digital signatures is equivalent to the existence of one-way functions. Our result, on the other hand, shows that quantum signatures can exist even if no quantum-secure classical cryptographic primitive (including quantum-secure one-way functions) exists.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 5bd0abbf-539a-4f7c-b0f7-33ee2e0a36f3Cited by top-tier papers34
- Cryptography from Pseudorandom Quantum StatesPrabhanjan Ananth, Luowen Qian, Henry YuenCRYPTO 2022 · 78 citations
- Quantum Cryptography in AlgorithmicaWilliam Kretschmer, Luowen Qian, Makrand Sinha, Avishay TalSTOC 2023 · 47 citations
- Cryptography with Certified DeletionJames Bartusek, Dakshita KhuranaCRYPTO 2023 · 25 citations
- Simple Constructions of Linear-Depth t-Designs and Pseudorandom UnitariesTony Metger, Alexander Poremba, Makrand Sinha, Henry YuenFOCS 2024 · 21 citations
- Improved Stabilizer Estimation via Bell Difference SamplingSabee Grewal, Vishnu Iyer, William Kretschmer, Daniel LiangSTOC 2024 · 20 citations
Builds on4
- Cryptography from Pseudorandom Quantum StatesPrabhanjan Ananth, Luowen Qian, Henry YuenCRYPTO 2022 · 78 citations
- One-Way Functions Imply Secure Computation in a Quantum WorldJames Bartusek, Andrea Coladangelo, Dakshita Khurana, Fermi MaCRYPTO 2021 · 57 citations
- Oblivious Transfer Is in MiniQCryptAlex B. Grilo, Huijia Lin, Fang Song, Vinod VaikuntanathanEUROCRYPT 2021 · 56 citations
- Scalable Pseudorandom Quantum StatesZvika Brakerski, Omri ShmueliCRYPTO 2020 · 24 citations
Related papers
- Oracle Separation Between Quantum Commitments and Quantum One-WaynessJohn Bostanci, Boyang Chen, Barak NehoranEUROCRYPT 2025 · 3 citations
- Commitments from Quantum One-WaynessDakshita Khurana, Kabir TomerSTOC 2024 · 21 citations
- Unconditionally Secure Commitments with Quantum Auxiliary InputsTomoyuki Morimae, Barak Nehoran, Takashi YamakawaCRYPTO 2024 · 7 citations
- The Power of a Single Haar Random State: Constructing and Separating Quantum PseudorandomnessBoyang Chen, Andrea Coladangelo, Or SattathEUROCRYPT 2025 · 6 citations
- Quantum Advantage from One-Way FunctionsTomoyuki Morimae, Takashi YamakawaCRYPTO 2024 · 4 citations
