A set of tooling related to halo2 circuits verification inside Solidity contracts - View it on GitHub