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