Alternatives and similar repositories for halo2-verifier.move

Users that are interested in halo2-verifier.move are comparing it to the libraries listed below

• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• ZKNoxHQ / NTT

  View on GitHub
  Generic implementation of the Number Theoretic Transform in the context of cryptography applications
  ☆14Aug 13, 2025Updated 6 months ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• Electron-Labs / starky_bls12_381

  View on GitHub
  Starky implementation of Bls12-381
  ☆13May 16, 2024Updated last year
• morgana-proofs / GKR-MSM

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

  View on GitHub
  Benchmark for adding Lasso lookup argument to halo2 backend
  ☆37Mar 3, 2024Updated last year
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 2024Updated last year
• privacy-ethereum / nova-by-hand

  View on GitHub
  A collection of the Notes on the Nova folding scheme explained from scratch
  ☆28Jun 12, 2024Updated last year
• freelerobot / thaler

  View on GitHub
  ☆27May 20, 2022Updated 3 years ago
• scroll-tech / zkvm-prover

  View on GitHub
  Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
  ☆28Jan 21, 2026Updated 3 weeks ago
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• succinctlabs / starkyx

  View on GitHub
  ☆65May 2, 2024Updated last year
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• pluto / web-prover-circuits

  View on GitHub
  Circuits for Pluto's `web-prover`
  ☆25Apr 25, 2025Updated 9 months ago
• zkmove / zkmove

  View on GitHub
  A zero-knowledge Move language runtime environment.
  ☆84May 14, 2025Updated 9 months ago
• quantstamp / halo2-analyzer

  View on GitHub
  SMT 2023 Submission; license pending
  ☆57Jan 28, 2026Updated 2 weeks ago
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 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
• matter-labs / vm2

  View on GitHub
  High performance EraVM for zkSync.
  ☆23Oct 20, 2025Updated 3 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• PolyhedraZK / awesome-expander

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• distributed-lab / noir-semaphore

  View on GitHub
  Semaphore Protocol with Noir.
  ☆11Mar 14, 2025Updated 11 months ago
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• noir-lang / noir_bigcurve

  View on GitHub
  ☆14Feb 6, 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
• argumentcomputer / sphinx

  View on GitHub
  An observatory fork of SP1
  ☆77Feb 11, 2025Updated last year
• DelphinusLab / zkWasm-host-circuits

  View on GitHub
  ☆25Jan 29, 2026Updated 2 weeks ago
• privacy-ethereum / snark-verifier

  View on GitHub
  ☆155Feb 26, 2024Updated last year
• crate-crypto / rust-eth-kzg

  View on GitHub
  ☆31Oct 27, 2025Updated 3 months ago
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago
• ChihChengLiang / modexp

  View on GitHub
  ☆12Sep 6, 2020Updated 5 years ago
• DelphinusLab / zkWasm-rust

  View on GitHub
  rust sdk for zkWasm
  ☆11Updated this week
• GaloisInc / zkLean

  View on GitHub
  zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
  ☆21Feb 9, 2026Updated last week
• iden3 / wasmcurves

  View on GitHub
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Feb 10, 2026Updated last week
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 3 months ago