Black-Box Separation Between Pseudorandom Unitaries, Pseudorandom Isometries, and Pseudorandom Function-Like States
Year: 2025
Type: preprint
Abstract: Pseudorandom functions (PRFs) are one of the most fundamental primitives in classical cryptography. On the other hand, in quantum cryptography, it is possible that PRFs do not exist but their quantum analogues could exist, and still enabling many applications including SKE, MACs, commitments, multiparty computations, and more. Pseudorandom unitaries (PRUs) [Ji, Liu, Song, Crypto 2018], pseudorandom isometries (PRIs) [Ananth, Gulati, Kaleoglu, Lin, Eurocrypt 2024], and pseudorandom function-like state generators (PRFSGs) [Ananth, Qian, Yuen, Crypto 2022] are major quantum analogs of PRFs. PRUs imply PRIs, and PRIs imply PRFSGs, but the converse implications remain unknown. An important open question is whether these natural quantum analogues of PRFs are equivalent. In this paper, we partially resolve this question by ruling out black-box constructions of them: 1. There are no black-box constructions of $O(\logλ)$-ancilla PRUs from PRFSGs. 2. There are no black-box constructions of $O(\logλ)$-ancilla PRIs with $O(\logλ)$ stretch from PRFSGs. 3. There are no black-box constructions of $O(\logλ)$-ancilla PRIs with $O(\logλ)$ stretch from PRIs with $Ω(λ)$ stretch. Here, $O(\logλ)$-ancilla means that the generation algorithm uses at most $O(\logλ)$ ancilla qubits. PRIs with $s(λ)$ stretch is PRIs mapping $λ$ qubits to $λ+s(λ)$ qubits. To rule out the above black-box constructions, we construct a unitary oracle that separates them. For the separations, we construct an adversary based on the quantum singular value transformation, which would be independent of interest and should be useful for other oracle separations in quantum cryptography.
Source: arXiv (Cornell University)
Authors: Gulati, Aditya, Lin, Yao-Ting, Morimae, Tomoyuki, Yamada, Shogo
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: G2443921619, G3823623899, Theoretical Foundations of Resource-Bounded Quantum Computation, CAREER: Foundations of Unclonable Cryptography, G5613623313, Collaborative Research: FET: Small: Theoretical Foundations of Quantum Pseudorandom Primitives, G6671297155, Collaborative Research: CISE-ANR: FET: Small: Complexity theory aspects of quantum cryptography, G7879866177, G7904985311
OpenAlex ID: W4416330271
Cites:
Cited by:
Related to: