alikonuk1 / 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 208 Commits
.github		.github
.vscode		.vscode
backend		backend
contracts		contracts
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

No releases published

Packages

No packages published

Languages

Rust 49.1%
Solidity 25.6%
Yul 16.3%
TypeScript 4.2%
Sage 3.3%
Python 1.5%