Pseudorandom unitaries with non-adaptive security | Synapse