Time-release Protocol Implementation “How to Build Time-Lock Encryption” by Jager

“Time-release Protocol from Bitcoin and Witness Encryption for SAT” by Liu, Garcia, and Ryan

I looked through the references, googled, searched GitHub but couldn't find an implementation of either of them in any programming language.

Are these theoretical with no implementation yet?

I would greatly appreciate a link to an implementation if one exists.
Tibor Jager (author to the first paper linked in question):


  "There is no implementation yet. Given that there are no really efficient Witness Encryption schemes yet, the construction so far is rather theoretical."