Skip to content

@summa-dev summa

Change the repository type filter

All

    Repositories list

    12 repositories

    • halo2-solidity-verifier

      Public
      A set of tooling related to halo2 circuits verification inside Solidity contracts
      Rust
      •
      MIT License
      •19•1•1•0•Updated Sep 13, 2024Sep 13, 2024

    • summa-solvency

      Public
      Monorepo for Summa Proof of Solvency Protocol
      Rust
      •
      Apache License 2.0
      •34•96•5•0•Updated Aug 26, 2024Aug 26, 2024

    • plonkish

      Public
      Hyperplonk ZK-SNARK with Halo2 circuit frontend
      Rust
      •
      MIT License
      •31•0•0•0•Updated Jul 26, 2024Jul 26, 2024

    • .github

      Public
      1•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • eip-draft

      Public
      1•0•5•0•Updated Feb 29, 2024Feb 29, 2024

    • summa-aggregation

      Public
      Rust
      •1•4•5•0•Updated Dec 12, 2023Dec 12, 2023

    • halo2

      Public
      Rust
      •
      Other
      •502•0•0•0•Updated Dec 6, 2023Dec 6, 2023

    • summa-playground

      Public
      This is CLI application for Summa-solvency
      Rust
      •0•0•0•0•Updated Aug 2, 2023Aug 2, 2023

    • halo2-experiments

      Public archive
      For practice to using halo2
      Rust
      •5•22•0•0•Updated Jun 7, 2023Jun 7, 2023

    • API

      Public archive
      Typescript library to generate and verify Proof of Solvency
      zero-knowledgezk-snarksproof-of-solvencytypescript
      TypeScript
      •
      GNU General Public License v3.0
      •0•4•0•0•Updated Mar 16, 2023Mar 16, 2023

    • circuits-circom

      Public archive
      Circuits, written in circom, for Proof Of Solvency
      zkzk-snarkssnarkjscircomproof-of-solvencycryptography
      JavaScript
      •
      GNU General Public License v3.0
      •0•26•0•0•Updated Feb 11, 2023Feb 11, 2023

    • merkle-sum-tree-ts

      Public archive
      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
      merkle-treemerkle-sum-treetypescript
      TypeScript
      •
      GNU General Public License v3.0
      •1•10•0•0•Updated Feb 3, 2023Feb 3, 2023