Pseudorandom Unitaries in the Haar Random Oracle Model | Synapse