axiom-crypto / halo2-scaffold

Related projects ⓘ

Alternatives and complementary repositories for halo2-scaffold

• axiom-crypto / axiom-eth
  ☆93Updated 2 months ago
• privacy-scaling-explorations / snark-verifier
  ☆145Updated 8 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆94Updated this week
• privacy-scaling-explorations / halo2wrong
  ☆117Updated last month
• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• privacy-scaling-explorations / multifolding-poc
  A PoC repo for a HyperNova impl
  ☆83Updated last year
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 7 months ago
• summa-dev / summa-solvency
  Monorepo for Summa Proof of Solvency Protocol
  ☆96Updated 2 months ago
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆83Updated last year
• han0110 / plonkish
  ☆100Updated 6 months ago
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 6 months ago
• enricobottazzi / zk-fhe
  Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
  ☆110Updated 7 months ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆126Updated 2 years ago
• celer-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆81Updated last year
• nulltea / hyper-greco
  Verifiable FHE with GKR
  ☆25Updated last month
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆63Updated last month
• privacy-scaling-explorations / greco
  ☆69Updated 2 months ago
• privacy-scaling-explorations / sonobe
  Experimental folding schemes library
  ☆198Updated this week
• succinctlabs / gnark-plonky2-verifier
  ☆85Updated 3 months ago
• emilianobonassi / zkFHE
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆79Updated last year
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆62Updated 4 months ago
• 0xPolygonHermez / pilcom
  Polynomials Identity Language
  ☆67Updated 8 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆121Updated last year
• gausslabs / phantom-zone
  ☆75Updated 2 weeks ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆121Updated this week
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆98Updated 7 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago
• philsippl / circom-witness-rs
  ☆60Updated 7 months ago
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆77Updated 2 years ago