Alternatives and similar repositories for halo2-step-by-step

Users that are interested in halo2-step-by-step are comparing it to the libraries listed below

• z2o-k7e / z2o-k7e.github.io
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia
  ☆71Updated last year
• z2o-k7e / zkp-co-learn
  zkp-co-learning
  ☆64Updated 8 months ago
• coset-io / zkp-academy
  A month-long zkp study group, one topic at a time.
  ☆165Updated last month
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆151Updated this week
• coset-io / zk-insights
  The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
  ☆47Updated 8 months ago
• privacy-scaling-explorations / snark-verifier
  ☆154Updated last year
• snarkify / sirius
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆174Updated 5 months ago
• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆62Updated 9 months ago
• openzklib / openzl
  Zero-Knowledge Cryptography Infrastructure Stack
  ☆128Updated 2 years ago
• privacy-scaling-explorations / chiquito
  DSL for Halo2 circuits
  ☆187Updated 9 months ago
• privacy-scaling-explorations / halo2wrong
  ☆121Updated 8 months ago
• adria0 / awesome-halo2
  List of halo2-related resources
  ☆199Updated 6 months ago
• han0110 / plonkish
  ☆108Updated last year
• arkworks-rs / r1cs-std
  R1CS constraints for bits, fields, and elliptic curves
  ☆178Updated last month
• privacy-scaling-explorations / halo2curves
  ☆211Updated 3 weeks ago
• privacy-scaling-explorations / mpz
  Multi-party computation libraries written in Rust 🦀
  ☆270Updated this week
• lattice-complete / Lazarus
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆63Updated 7 months ago
• thor314 / pazk
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆131Updated 8 months ago
• icemelon / halo2-examples
  Include halo2 example circuits
  ☆91Updated last year
• HorizenLabs / poseidon2
  ☆69Updated 9 months ago
• privacy-scaling-explorations / halo2
  ☆230Updated last month
• PolyhedraZK / Expander
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆131Updated this week
• arkworks-rs / r1cs-tutorial
  Tutorial for writing constraints in the `arkworks` framework
  ☆245Updated last year
• coset-io / baby-plonk
  Simplified educational python plonk implementation
  ☆44Updated last month
• matter-labs / franklin-crypto
  ☆115Updated last year
• zkmove / zkmove
  A zero-knowledge Move language runtime environment.
  ☆83Updated 3 months ago
• privacy-scaling-explorations / halo2-solidity-verifier
  A set of tooling related to halo2 circuits verification inside Solidity contracts
  ☆65Updated 10 months ago
• IrreducibleOSS / binius
  A SNARK using towers of binary fields, implemented in Rust
  ☆122Updated 2 weeks ago
• snarkify / arkmsm
  ☆51Updated 6 months ago
• scroll-tech / ceno
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆119Updated this week