Explore re-writing and optimizing circuits in halo2-lib

[ameya-deshmukh]

The current circuits are written in Circom, but it would be interesting and potentially very useful to explore re-writing them in Rust with halo2-lib, especially with the arrival of new primitives like Hypernova. As a first step, we could start looking at a vanilla halo2 implementation of the circuits and then optimizations using Hypernova.

[GrapeBaBa]

@norswap @ameya-deshmukh How is going this task? Where can I find code/docs?

[ameya-deshmukh]

@norswap working on getting this closed over the weekend. Thanks for the patience :)