A monorepo for Summa, zk proof of solvency protocol
prover
: Halo2 based zk prover and KZG polynomial interpolation for Summacontracts
: Solidity smart contracts for Summabackend
: Rust API to interact with Summa
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.