Time-release Protocol from Bitcoin and Witness Encryption for SAT
How to Obfuscate Programs Directly