# CPRNG-AES

This module provides a crypto pseudo random number generator using AES in counter mode.

to import:

`import Crypto.Random.AESCtr`

to use:

```
rng <- makeSystem
let (ran, rng') = getRandomBytes rng 1024
```

it's also an instance of CryptoRandomGen from the crypto-api package.

## Statistics

Using ent, a randomness property maker on one 1Mb sample.

cprng-AES:

```
Entropy = 7.999837 bits per byte.
Optimum compression would reduce the size of this 1048576 byte file by 0 percent.
Chi square distribution for 1048576 samples is 237.02.
Arithmetic mean value of data bytes is 127.3422 (127.5 = random).
Monte Carlo value for Pi is 3.143589568 (error 0.06 percent).
```

Compared to urandom with the same sampling:

```
Entropy = 7.999831 bits per byte.
Optimum compression would reduce the size of this 1048576 byte file by 0 percent.
Chi square distribution for 1048576 samples is 246.63.
Arithmetic mean value of data bytes is 127.6347 (127.5 = random).
Monte Carlo value for Pi is 3.132465868 (error 0.29 percent).
```