Alternatives and similar repositories for kzh_fold

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

• lattirust / lattirust

  View on GitHub
  ☆66May 13, 2025Updated 9 months ago
• NethermindEth / latticefold

  View on GitHub
  A lattice-based non-interactive folding scheme written in Rust
  ☆124Dec 17, 2025Updated 2 months ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• NethermindEth / condor-rs

  View on GitHub
  Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust
  ☆21Sep 9, 2025Updated 5 months ago
• kilic / tetris

  View on GitHub
  ☆14Oct 19, 2024Updated last year
• succinctlabs / hypercube-verifier

  View on GitHub
  ☆46Dec 10, 2025Updated 2 months ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• iden3 / circom-witnesscalc

  View on GitHub
  ☆21Feb 9, 2026Updated last week
• TomWambsgans / Whirlaway

  View on GitHub
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆45Sep 11, 2025Updated 5 months ago
• tcoratger / whir-p3

  View on GitHub
  ☆58Feb 10, 2026Updated last week
• dmpierre / plasma-fold

  View on GitHub
  Implementation for https://eprint.iacr.org/2025/1300
  ☆42Sep 2, 2025Updated 5 months ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• zhenfeizhang / larkworks

  View on GitHub
  a lattice lib for building snarks
  ☆21May 20, 2024Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• automata-network / multi-prover-avs

  View on GitHub
  Automata Multi-Prover AVS
  ☆12Jan 17, 2025Updated last year
• mmaker / zkalc

  View on GitHub
  A web tool that helps you compare and visualize the performance of cryptographic operations
  ☆92Jan 27, 2026Updated 3 weeks ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• WizardOfMenlo / whir

  View on GitHub
  WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
  ☆188Feb 6, 2026Updated last week
• MachinaIO / diamond-io

  View on GitHub
  Diamond iO implementation https://eprint.iacr.org/2025/236
  ☆91Sep 19, 2025Updated 4 months ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• reclaimprotocol / zk-symmetric-crypto

  View on GitHub
  A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.
  ☆27Updated this week
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• dmpierre / ark-superspartan

  View on GitHub
  An arkworks implementation of the superspartan PIOP
  ☆13Sep 10, 2024Updated last year
• WizardOfMenlo / stir

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

  View on GitHub
  Noir library to verify JWT tokens, and prove claims.
  ☆32Dec 4, 2025Updated 2 months ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• IrreducibleOSS / binius

  View on GitHub
  A SNARK using towers of binary fields, implemented in Rust .
  ☆128Sep 9, 2025Updated 5 months ago
• microsoft / crescent-credentials

  View on GitHub
  Crescent adds privacy to existing credentials with zero-knowledge
  ☆45Sep 4, 2025Updated 5 months ago
• a16z / vectorized-fields

  View on GitHub
  Vectorized AVX-512 256-bit arithmetic library
  ☆34Sep 28, 2024Updated last year
• snarkify / sirius

  View on GitHub
  A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
  ☆177Mar 24, 2025Updated 10 months ago
• arkworks-rs / spongefish

  View on GitHub
  Fiat-Shamir for the masses.
  ☆87Dec 27, 2025Updated last month
• privacy-ethereum / sonobe

  View on GitHub
  Experimental folding schemes library
  ☆260Feb 6, 2026Updated last week
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆136Feb 11, 2026Updated last week
• ligeroinc / ligero-prover

  View on GitHub
  ☆60Feb 10, 2026Updated last week
• jbaylina / nova-circom-verifier

  View on GitHub
  Nova Verifier in Circom so it can be verified onChain
  ☆59Jun 9, 2023Updated 2 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• lurk-lab / bellpepper-gadgets

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