Alternatives and similar repositories for round-based

Users that are interested in round-based are comparing it to the libraries listed below

• WizardOfMenlo / stir
  STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries
  ☆71Updated 2 months ago
• arkworks-rs / spongefish
  Fiat-Shamir for the masses.
  ☆83Updated 2 weeks ago
• worldfnd / provekit
  Client side zero-knowledge proving.
  ☆97Updated this week
• BrianSeong99 / Plonky3_RangeCheck
  This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…
  ☆22Updated 9 months ago
• succinctlabs / sp1-helios
  On-chain Ethereum light client built with SP1
  ☆80Updated 3 weeks ago
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆31Updated last year
• tangle-network / zk-SaaS
  zkSNARKs as a service using secure multi-party computation.
  ☆30Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1
  ☆76Updated 11 months ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆21Updated 2 years ago
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆30Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆83Updated last year
• CharmsDev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆31Updated 11 months ago
• pluto / aes-circuits
  Circom AES-GCM circuits
  ☆33Updated last month
• zkpassport / noir_rs
  Rust crate to generate and verify proofs for Noir circuits
  ☆20Updated 3 months ago
• brevis-network / zk-benchmark
  Benchmark of multiple zk implementations.
  ☆83Updated 2 years ago
• renegade-fi / ark-mpc
  A framework for SPDZ-style maliciously-secure MPC.
  ☆57Updated 3 weeks ago
• HorizenLabs / poseidon2
  ☆70Updated last year
• leanEthereum / leanMultisig
  Minimal zkVM, targeting XMSS aggregation and recursion.
  ☆61Updated this week
• kevaundray / plookup
  ☆41Updated 3 years ago
• arkworks-rs / spartan
  Spartan on Arkworks
  ☆44Updated 4 months ago
• Dhole / polyexen
  Polynomial Expression Engine
  ☆35Updated last year
• yetanotherco / zkRust
  ☆43Updated last year
• lurk-lab / circom-scotia
  ☆23Updated last year
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆53Updated last year
• morgana-proofs / hashcaster
  Frobenius sumcheck for vectorized boolean ops
  ☆56Updated 8 months ago
• MachinaIO / diamond-io
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆88Updated 3 months ago
• lurk-lang / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆86Updated 10 months ago
• privacy-ethereum / nova-bench
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Updated 2 years ago
• NethermindEth / latticefold
  A lattice-based non-interactive folding scheme written in Rust
  ☆116Updated 3 weeks ago
• WizardOfMenlo / whir
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆181Updated last month