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.

翻译：量子Haar随机预言机模型是一种理想化模型，其中所有参与方均可访问单个Haar随机酉算子及其逆算子。我们在量子Haar随机预言机模型中构造了强伪随机酉算子。该结果严格改进了先前的研究：既有工作要么仅证明在无逆算子的量子Haar随机预言机模型中伪随机酉算子的存在性[Ananth, Bostanci, Gulati, Lin, EUROCRYPT 2025]，要么证明量子Haar随机预言机模型中较弱概念（可由强伪随机酉算子导出）的存在性[Hhan, Yamada, 2024]。我们的研究结果为基于随机量子电路构建量子伪随机性，以及分析自然界中的伪随机对象提供了可行路径。