Time-Lock Puzzles from Randomized Encodings (Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science)