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).