Pinned Repositories
.github
API
Typescript library to generate and verify Proof of Solvency
circuits-circom
Circuits, written in circom, for Proof Of Solvency
eip-draft
halo2
halo2-experiments
For practice to using halo2
halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
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
summa-aggregation
summa-solvency
Monorepo for Summa Proof of Solvency Protocol
summa's Repositories
summa-dev/summa-solvency
Monorepo for Summa Proof of Solvency Protocol
summa-dev/circuits-circom
Circuits, written in circom, for Proof Of Solvency
summa-dev/halo2-experiments
For practice to using halo2
summa-dev/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
summa-dev/API
Typescript library to generate and verify Proof of Solvency
summa-dev/summa-aggregation
summa-dev/halo2-solidity-verifier
A set of tooling related to halo2 circuits verification inside Solidity contracts
summa-dev/.github
summa-dev/eip-draft
summa-dev/halo2
summa-dev/summa-playground
This is CLI application for Summa-solvency
summa-dev/plonkish
Hyperplonk ZK-SNARK with Halo2 circuit frontend