Added a sodium-implemented pseudo random number generator