Efficient pseudorandom unitaries with general (adaptive) query security

Establish the existence of efficient pseudorandom unitary ensembles that are computationally indistinguishable from Haar measure against any polynomial-time quantum adversary making general (adaptive) oracle queries, under standard cryptographic assumptions such as the existence of quantum-secure one-way functions.

Background

Pseudorandom unitaries (PRUs) are the unitary analog of pseudorandom functions, but constructing them under standard assumptions has been challenging. While several pseudorandom state constructions exist and intermediate objects (e.g., pseudorandom state scramblers and pseudorandom isometries) have been realized, full PRUs with general query security have remained elusive.

This paper achieves a construction of PRUs with nonadaptive (parallel) security from quantum-secure one-way functions, narrowing the gap. However, full adaptive-query security—where the adversary can choose queries based on prior outcomes—remains unresolved and is explicitly identified as open.