Alternatives and similar repositories for orchard

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

• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• rust-blockchain / verkle

  View on GitHub
  ☆15Jul 8, 2021Updated 4 years ago
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• zero-over-k / zero-over-k

  View on GitHub
  Batching zero over k checks
  ☆11Feb 11, 2023Updated 3 years ago
• zcash / zcash-test-vectors

  View on GitHub
  ☆13Nov 25, 2025Updated 2 months ago
• alinush / asvc-paper

  View on GitHub
  Vector Commitments with Constant-Sized, Updatable Proofs and Linear-Sized Public Parameters
  ☆11Jun 3, 2021Updated 4 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• wborgeaud / ecfft-bn254

  View on GitHub
  ECFFT in Rust
  ☆58Oct 3, 2023Updated 2 years ago
• barryWhiteHat / zkvm

  View on GitHub
  a sketch of what a zkvm could look like
  ☆26Apr 19, 2021Updated 4 years ago
• zcash / pasta_curves

  View on GitHub
  Rust implementation for zcash/pasta
  ☆84Apr 17, 2025Updated 9 months ago
• privacy-ethereum / halo2wrong

  View on GitHub
  ☆124Nov 30, 2024Updated last year
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• EspressoSystems / veri-zexe

  View on GitHub
  DPC with Universal Setup
  ☆46May 25, 2023Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 2 years ago
• anemoi-hash / anemoi-hash

  View on GitHub
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆14Jul 9, 2023Updated 2 years ago
• ingonyama-zk / modular_multiplication

  View on GitHub
  efficient modular multiplication research
  ☆15Feb 8, 2023Updated 3 years ago
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• kevaundray / plookup

  View on GitHub
  ☆41Oct 24, 2022Updated 3 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated last year
• nikkolasg / snarkpack

  View on GitHub
  snarkpack for arkwork
  ☆21Jun 11, 2023Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• khovratovich / Kate

  View on GitHub
  ☆27Oct 18, 2022Updated 3 years ago
• BoltonBailey / formal-snarks-project

  View on GitHub
  A formal verification of Linear PCP SNARKs.
  ☆60Jul 20, 2024Updated last year
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• zcash / halo2

  View on GitHub
  The Halo2 zero-knowledge proving system
  ☆886Feb 5, 2026Updated last week
• zcash / librustzcash

  View on GitHub
  Rust-language assets for Zcash
  ☆384Updated this week
• matter-labs / recursive_aggregation_circuit

  View on GitHub
  Kate commitment based PLONK recursive aggregation circuit
  ☆42Dec 15, 2023Updated 2 years ago
• transmissions11 / reth-exex-walltime

  View on GitHub
  wall time exex for reth
  ☆12Aug 5, 2024Updated last year
• therealyingtong / ultraplonk-workshop

  View on GitHub
  ☆10Aug 21, 2022Updated 3 years ago
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• arkworks-rs / bcs

  View on GitHub
  ☆11Nov 11, 2022Updated 3 years ago
• zhenfeizhang / pasta-solidity

  View on GitHub
  A Solidity implementation of Halo2's Pasta curves
  ☆50Mar 30, 2023Updated 2 years ago
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• daira / halographs

  View on GitHub
  Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"
  ☆49Mar 5, 2022Updated 3 years ago
• joshbeal / derecho

  View on GitHub
  A Rust library for proof-carrying disclosures
  ☆23Apr 10, 2024Updated last year
• Sladuca / sha256-prover-comparison

  View on GitHub
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆53Aug 6, 2022Updated 3 years ago
• zcash / sapling-security-analysis

  View on GitHub
  ☆15May 3, 2019Updated 6 years ago