summa's repositories
summa-solvency
Monorepo for Summa Proof of Solvency Protocol
circuits-circom
Circuits, written in circom, for Proof Of Solvency
halo2-experiments
For practice to using halo2
merkle-sum-tree-ts
TypeScript library to create Merkle Sum Trees starting from `username -> balance` entries. The root of the tree contains the sum of all the entries, representing the total liabilities of a CEX
halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
000
Language:RustNOASSERTION000
summa-playground
This is CLI application for Summa-solvency
Language:Rust000
plonkish
Hyperplonk ZK-SNARK with Halo2 circuit frontend
Language:RustMIT000