[Resource Topic] 2024/1745: Pseudorandomness in the (Inverseless) Haar Random Oracle Model

Welcome to the resource topic for 2024/1745

Title:
Pseudorandomness in the (Inverseless) Haar Random Oracle Model

Authors: Prabhanjan Ananth, John Bostanci, Aditya Gulati, Yao-Ting Lin

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 two consequences: (a) when the Haar random unitary is instantiated suitably, our results present viable approaches for building quantum pseudorandom objects without relying upon one-way functions and, (b) 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.

ePrint: https://eprint.iacr.org/2024/1745

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .