International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Pseudorandomness in the (Inverseless) Haar Random Oracle Model

Authors:
Prabhanjan Ananth , UCSB
John Bostanci , Columbia University
Aditya Gulati , UCSB
Yao-Ting Lin , UCSB
Download:
Search ePrint
Search Google
Conference: EUROCRYPT 2025
Abstract: We study the (in)feasibility of quantum pseudorandom notions in a quantum analog of the random oracle model, where all the parties, including the adversary, have oracle access to the same Haar random unitary. In this model, we show the following: – (Unbounded-query secure) pseudorandom unitaries (PRU) exist. Moreover, the PRU construction makes two calls to the Haar oracle. – We consider constructions of PRUs making a single call to the Haar oracle. In this setting, we show that unbounded-query security is impossible to achieve. We complement this result by showing that bounded-query secure PRUs do exist with a single query to the Haar oracle. – We show that multi-copy pseudorandom state generators and function-like state generators (with classical query access), making a single call to the Haar oracle, exist. Our results have the following consequence: for the first time, we show that the key length in pseudorandom unitaries can be generically shrunk (relative to the output length). Our results are also some of the first usecases of the new “path recording” formalism for Haar random unitaries, introduced in the recent breakthrough work of Ma and Huang.
BibTeX
@inproceedings{eurocrypt-2025-35065,
  title={Pseudorandomness in the (Inverseless) Haar Random Oracle Model},
  publisher={Springer-Verlag},
  author={Prabhanjan Ananth and John Bostanci and Aditya Gulati and Yao-Ting Lin},
  year=2025
}