anoma / zkp-compiler-shootout

Related projects ⓘ

Alternatives and complementary repositories for zkp-compiler-shootout

• maxgillett / halo2-fri-gadget
  A FRI verifier circuit for the Halo2 proof system
  ☆73Updated last year
• privacy-scaling-explorations / halo2wrong
  ☆117Updated last month
• a16z / zkvm-benchmarks
  Benchmarks of popular zkVMs including Jolt
  ☆56Updated 6 months ago
• caulk-crypto / caulk
  ☆111Updated 9 months ago
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated 10 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆121Updated this week
• han0110 / plonkish
  ☆100Updated 6 months ago
• zcash / pasta_curves
  Rust implementation for zcash/pasta
  ☆81Updated 10 months ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆121Updated last year
• argumentcomputer / bellpepper
  SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
  ☆69Updated 3 months ago
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆78Updated this week
• privacy-scaling-explorations / snark-verifier
  ☆145Updated 8 months ago
• geometryxyz / protostar
  ☆49Updated last year
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆126Updated 2 years ago
• zkCollective / zk-Harness
  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries
  ☆98Updated 7 months ago
• TaceoLabs / co-snarks
  Tooling for creating collaborative SNARKs for Circom circuits.
  ☆94Updated this week
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated 8 months ago
• gausslabs / phantom-zone
  ☆75Updated 2 weeks ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆69Updated last year
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆62Updated 4 months ago
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 7 months ago
• daira / halographs
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆48Updated 2 years ago
• personaelabs / efficient-zk-ecdsa
  Lowering client-side proving cost for private ZK signatures in circom
  ☆106Updated last year
• hashcloak / stoffelMPC
  ☆40Updated 10 months ago
• risc0 / zirgen
  Zirgen compiler and RISC Zero circuits
  ☆46Updated this week
• arnaucube / babyjubjub-rs
  BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust
  ☆41Updated 9 months ago
• mmaker / zkalc
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆77Updated last month
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆61Updated 8 months ago
• crate-crypto / rust-verkle
  ☆117Updated 2 weeks ago