Time-Lock Puzzles from Randomized Encodings
proofs of work and bread pudding protocols .