Verified Random Number Generator (vRNG)

Update soon