GitHub repository: summa-dev/halo2-solidity-verifier
Primary language: Rust
Description: A set of tooling related to halo2 circuits verification inside Solidity contracts