Pseudorandom Unitaries in the Haar Random Oracle Model
arXiv:2509.24432 · doi:10.1007/978-3-032-01878-6_10
Abstract
The quantum Haar random oracle model is an idealized model where every party has access to a single Haar random unitary and its inverse. We construct strong pseudorandom unitaries in the quantum Haar random oracle model. This strictly improves upon prior works who either only prove the existence of pseudorandom unitaries in the inverseless quantum Haar random oracle model [Ananth, Bostanci, Gulati, Lin, EUROCRYPT 2025] or prove the existence of a weaker notion (implied by strong pseudorandom unitaries) in the quantum Haar random oracle model [Hhan, Yamada, 2024]. Our results also present a viable approach for building quantum pseudorandomness from random quantum circuits and analyzing pseudorandom objects in nature.
66 pages
References in corpus (8)
- Characterizing Quantum Supremacy in Near-Term Devices
- Random Oracles in a Quantum World
- Quantum Supremacy and the Complexity of Random Circuit Sampling
- Pseudorandom States, Non-Cloning Theorems and Quantum Money
- Quantum Cryptography in Algorithmica
- Unconditionally secure quantum commitments with preprocessing
- Unconditionally Secure Commitments with Quantum Auxiliary Inputs
- A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID