touch up storage proofs and random number generation