verification of randomness