Module hacl::rand_util

Utilities that provide randomness. Note that this currently uses the rand crate and should be moved to a more secure alternative.

Functions

• random_array
  Generate a random array. PANICS if randomness generation fails.
• random_vec
  Generate a random byte vector of length len. PANICS if randomness generation fails.