sifnoc / summa-solvency Public

forked from summa-dev/summa-solvency

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Circuits for proof of solvency written in Halo2

Apache-2.0 license

0 stars 34 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 255 Commits
.github		.github
.vscode		.vscode
backend		backend
book		book
contracts		contracts
csv		csv
kzg_prover		kzg_prover
zk_prover		zk_prover
LICENSE-APACHE		LICENSE-APACHE
LICENSE-MIT		LICENSE-MIT
README.md		README.md
remappings.txt		remappings.txt

Repository files navigation

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.

About

Circuits for proof of solvency written in Halo2

Apache-2.0 license

Report repository

Releases

Packages

No packages published

Languages

Rust 82.2%
Solidity 8.6%
Yul 5.2%
TypeScript 1.5%
Sage 1.2%
Circom 0.8%
Other 0.5%