Arkworks circuits for verifiable time-lock encryption - View it on GitHub