Alternatives and similar repositories for openzl:

Users that are interested in openzl are comparing it to the libraries listed below

• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆231Updated 9 months ago
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆169Updated 2 weeks ago
• maxgillett / giza
  A Cairo VM prover implemented using Winterfell
  ☆158Updated 2 years ago
• privacy-scaling-explorations / halo2wrong
  ☆119Updated 4 months ago
• 0xPARC / plonkathon
  educational python plonk implementation, based on vitalik's py_plonk
  ☆209Updated 8 months ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆132Updated 4 months ago
• rdi-berkeley / zkp-course-lecture3-code
  ☆60Updated 2 years ago
• anoma / zkp-compiler-shootout
  Evaluating & benchmarking ZKP compilation strategies.
  ☆120Updated last year
• nalinbhardwaj / Nova-Scotia
  Middleware to compile Circom circuits to Nova prover
  ☆237Updated last year
• arkworks-rs / circom-compat
  Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
  ☆256Updated last month
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 5 months ago
• tangle-network / zero-knowledge-gadgets
  Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
  ☆93Updated 2 years ago
• privacy-scaling-explorations / snark-verifier
  ☆150Updated last year
• adria0 / awesome-halo2
  List of halo2-related resources
  ☆194Updated 2 months ago
• zkjargon / zkjargon.github.io
  A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
  ☆99Updated last month
• delendum-xyz / zk-knowledge
  knowledge base of ZKP including applications, hardware, technical discussions and more.
  ☆123Updated 2 years ago
• axiom-crypto / halo2-scaffold
  Basic scaffolding for setting up and writing a Halo2 ZK circuit
  ☆109Updated last year
• yi-sun / circom-pairing
  ☆195Updated last year
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆304Updated last year
• crate-crypto / rust-verkle
  ☆122Updated 5 months ago
• scroll-tech / halo2-snark-aggregator
  halo2 ecc circuit
  ☆116Updated 2 years ago
• jules / supernova
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆120Updated 2 years ago
• eniac / Reef
  Reef: A zkSNARK system for proving that a committed document matches a regex
  ☆68Updated 9 months ago
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆155Updated 2 weeks ago
• fluidex / plonkit
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆159Updated 2 years ago
• lurk-lab / awesome-folding
  A curated list of zero-knowledge folding schemes
  ☆298Updated 8 months ago
• arkworks-rs / groth16
  A Rust implementation of the Groth16 zkSNARK
  ☆281Updated 2 weeks ago
• delendum-xyz / zk-benchmarking
  comparing the performance of different zero-knowledge proof libraries
  ☆129Updated last year
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust
  ☆102Updated this week
• vocdoni / keccak256-circom
  keccak256 hash implementation in Circom
  ☆79Updated 2 years ago