rand_chacha - Rust
The ChaCha random number generator.