Pseudorandom number generator used for randomness in protocols and simulations.