Alternatives and similar repositories for gemini

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

• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated last year
• 0xPolygonZero / r1cs

  View on GitHub
  A Rust library for building R1CS gadgets
  ☆93Oct 14, 2021Updated 4 years ago
• daira / tweedle

  View on GitHub
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Oct 25, 2022Updated 3 years ago
• arkworks-rs / sumcheck

  View on GitHub
  linear-time sumcheck protocol for multilinear polynomials and related addends
  ☆86Nov 21, 2025Updated 2 months ago
• CPerezz / caulk_plus

  View on GitHub
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Dec 18, 2022Updated 3 years ago
• adria0 / plonk-by-fingers

  View on GitHub
  Implementation of Plonk by Hand in rust
  ☆62Feb 28, 2024Updated last year
• kobigurk / legogro16

  View on GitHub
  LegoGroth16 implementation on top of Zexe
  ☆25Dec 3, 2021Updated 4 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• arkworks-rs / pcd

  View on GitHub
  Implementations of proof-carrying data
  ☆37Jun 5, 2022Updated 3 years ago
• arkworks-rs / dpc

  View on GitHub
  A library for decentralized private computation
  ☆19Jul 21, 2021Updated 4 years ago
• scipr-lab / libiop

  View on GitHub
  C++ library for IOP-based zkSNARKs
  ☆176Jan 12, 2024Updated 2 years ago
• zcash / pasta_curves

  View on GitHub
  Rust implementation for zcash/pasta
  ☆84Apr 17, 2025Updated 9 months ago
• imdea-software / legosnark

  View on GitHub
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆41Oct 8, 2020Updated 5 years ago
• asn-d6 / curdleproofs

  View on GitHub
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Oct 16, 2023Updated 2 years ago
• caulk-crypto / caulk

  View on GitHub
  ☆113Feb 6, 2024Updated 2 years ago
• DoHoonKim8 / halo2-lasso

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• matter-labs / rescue-poseidon

  View on GitHub
  Rescue and Poseidon hash function implementations
  ☆43Aug 15, 2024Updated last year
• recmo / pc-bench

  View on GitHub
  Benchmarking Polynomial Commitments
  ☆51Jul 3, 2023Updated 2 years ago
• privacy-ethereum / poseidon

  View on GitHub
  ☆42Jul 25, 2024Updated last year
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• geometryxyz / secp256k1_hash_to_curve

  View on GitHub
  ☆33Sep 22, 2023Updated 2 years ago
• anoma / vamp-ir

  View on GitHub
  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
  ☆162Aug 29, 2023Updated 2 years ago
• ingonyama-zk / papers

  View on GitHub
  A repo for our research papers
  ☆245Jun 4, 2025Updated 8 months ago
• nikkolasg / halo2-circuits

  View on GitHub
  ☆28Dec 8, 2021Updated 4 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• arkworks-rs / ldt

  View on GitHub
  An `arkworks` library for low-degree testing
  ☆23Sep 10, 2024Updated last year
• lurk-lab / bellpepper-gadgets

  View on GitHub
  A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)
  ☆18Mar 3, 2025Updated 11 months ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• geometryxyz / sangria_impl

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 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
• maxgillett / stark-attestations

  View on GitHub
  Share private EVM state attestations using STARK proofs
  ☆73Aug 4, 2022Updated 3 years ago
• EspressoSystems / veri-zexe

  View on GitHub
  DPC with Universal Setup
  ☆46May 25, 2023Updated 2 years ago
• recmo / goldilocks

  View on GitHub
  A library for fast NTTs over the Goldilocks prime field
  ☆80Sep 25, 2024Updated last year
• arkworks-rs / marlin

  View on GitHub
  A Rust library for the Marlin preprocessing zkSNARK
  ☆325Jan 18, 2024Updated 2 years ago
• celo-org / plumo-prover

  View on GitHub
  Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf
  ☆14Jan 4, 2022Updated 4 years ago