Arithmetic circuits for verifiable time-lock encryption written in Arkworks.

The implemented algorithm is the Boneh-Franklin identity-based encryption (IBE). over BLS12-381 (for compatability with drand network).

For experiments circuit comes in 3 variants: over BLS12-377 (1), via non-native arithmetic (2), and over application-specific curve (YT-776) and FFT-less Gemini (3)