Encryption scheme where a message can be decrypted by providing a witness to an NP statement’s truth, proposed for time lock and on chain puzzles.