alikonuk1 / summa-solvency

Circuits for proof of solvency written in Halo2

Summa Solvency

A monorepo for Summa, zk proof of solvency protocol

Subdirectories

• zk_prover: Halo2 based zk prover for Summa
• contracts: Solidity smart contracts for Summa
• backend : Rust API to interact with Summa

License

Licensed under either of

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT) at your option.