Alternatives and similar repositories for Baby-Binius

Users that are interested in Baby-Binius are comparing it to the libraries listed below

• FranklinZty / KiloNova-poc

  View on GitHub
  A proof-of-concept implementation of KiloNova
  ☆12Oct 15, 2024Updated last year
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• 0xPolygonZero / plonky2-ecdsa

  View on GitHub
  ECDSA gadgets for plonky2
  ☆19Oct 20, 2023Updated 2 years ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• WizardOfMenlo / stir

  View on GitHub
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆72Nov 6, 2025Updated 3 months ago
• lattice-complete / Lazarus

  View on GitHub
  A Framework of Lattice-based Zero-knowledge Arguments in Rust
  ☆71Jan 6, 2025Updated last year
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• PolyhedraZK / Expander-cpp

  View on GitHub
  Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
  ☆65Feb 17, 2025Updated 11 months ago
• dmpierre / nova-browser-ecdsa

  View on GitHub
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆35Sep 13, 2023Updated 2 years ago
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• zhenfeizhang / larkworks

  View on GitHub
  a lattice lib for building snarks
  ☆21May 20, 2024Updated last year
• BrianSeong99 / Plonky3_RangeCheck

  View on GitHub
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆27Apr 4, 2025Updated 10 months ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• ingonyama-zk / super-sumcheck

  View on GitHub
  In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU
  ☆40Feb 17, 2025Updated 11 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• coset-io / baby-plonk

  View on GitHub
  Simplified educational python plonk implementation
  ☆46Jul 6, 2025Updated 7 months ago
• z-prize / 2023-entries

  View on GitHub
  Source code for all entries from the 2023 ZPrize competition
  ☆25Jan 29, 2026Updated 2 weeks ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• scroll-tech / ceno

  View on GitHub
  Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
  ☆132Feb 10, 2026Updated last week
• arnaucube / protogalaxy-poc

  View on GitHub
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆41Sep 14, 2023Updated 2 years ago
• SoraSuegami / zkboogie

  View on GitHub
  Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.
  ☆11Jun 5, 2024Updated last year
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 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
• phantomzone-org / obfustopia

  View on GitHub
  We're living in Obfustopia
  ☆27Jan 2, 2025Updated last year
• kilic / cyclone-msm-expreriment

  View on GitHub
  ☆11Feb 6, 2024Updated 2 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• chancehudson / ashlang

  View on GitHub
  ☆12Dec 12, 2025Updated 2 months ago
• 0xfuturistic / plonkish-solidity

  View on GitHub
  ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.
  ☆11Aug 14, 2023Updated 2 years ago
• ret2basic / ZK-by-Hand

  View on GitHub
  My talks on zk: Groth16, Plonk, and STARK
  ☆12Aug 22, 2024Updated last year
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 6 months ago
• wenjin1997 / awesome-zkp-learning

  View on GitHub
  Personal notes about ZKP
  ☆29Jun 12, 2024Updated last year
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• zkpstandard / wg-plonkish

  View on GitHub
  ☆18Jan 2, 2026Updated last month