GitHub repository: sifnoc/summa-solvency
Primary language: Rust
Description: Circuits for proof of solvency written in Halo2