proof-of-randomization