While not �provably reasonable� regarding crypto sense, most of the position runs on the verified RNGs