Time-Lock Puzzles from Randomized Encodings.

Nir Bitansky Shafi Goldwasser Abhishek Jain Omer Paneth Vinod Vaikuntanathan Brent Waters

Published in: ITCS (2016)

Keyphrases

constraint satisfaction
non binary
orders of magnitude
decision forest
genetic algorithm
concurrency control
learning algorithm
website
randomized algorithm
boolean satisfiability
locking protocol