Alternatives and similar repositories for GKR-MSM

Users that are interested in GKR-MSM are comparing it to the libraries listed below

• arnaucube / protogalaxy-poc

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

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• ICME-Lab / msm-webgpu

  View on GitHub
  WebGPU MSM implementation
  ☆17Oct 28, 2025Updated 3 months ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• chainwayxyz / risc0-to-bitvm2

  View on GitHub
  ☆20Nov 3, 2025Updated 3 months ago
• a16z / vectorized-fields

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

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• axiom-crypto / halo2

  View on GitHub
  ☆15Jul 11, 2025Updated 7 months ago
• DoHoonKim8 / halo2-lasso

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

  View on GitHub
  Polyhedra ZK knowledge base
  ☆25Oct 28, 2024Updated last year
• arkworks-rs / spongefish

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

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

  View on GitHub
  bottom text
  ☆16Jan 26, 2024Updated 2 years ago
• compsec-epfl / efficient-sumcheck

  View on GitHub
  ☆49Updated this week
• thor314 / ccs-hack

  View on GitHub
  a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
  ☆50Jul 5, 2023Updated 2 years ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• PayneJoe / PNova

  View on GitHub
  Plonkish Nova implementation along with advanced features
  ☆16Dec 16, 2023Updated 2 years ago
• yetanotherco / zkvm_benchmarks

  View on GitHub
  ☆26Apr 15, 2025Updated 10 months ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• openvm-org / stark-backend

  View on GitHub
  Proof system backends for OpenVM.
  ☆34Updated this week
• grandinetech / rust-kzg

  View on GitHub
  Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
  ☆134Dec 16, 2025Updated last month
• brech1 / keaki

  View on GitHub
  Extractable Witness Encryption for KZG Commitments
  ☆32Nov 29, 2024Updated last year
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• zkmove / halo2-verifier.move

  View on GitHub
  A set of tooling of halo2 circuits verification in Move environments
  ☆16Feb 4, 2026Updated last week
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 7 months ago
• summa-dev / summa-solvency

  View on GitHub
  Monorepo for Summa Proof of Solvency Protocol
  ☆99Aug 26, 2024Updated last year
• hecmas / zkNotebook

  View on GitHub
  My personal notebook for various zk-related topics
  ☆48Jan 7, 2025Updated last year
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Feb 8, 2026Updated last week
• morgana-proofs / hashcaster

  View on GitHub
  Frobenius sumcheck for vectorized boolean ops
  ☆56Apr 12, 2025Updated 10 months ago
• ingonyama-zk / smallfield-super-sumcheck

  View on GitHub
  Proof of concept implementation of sumcheck over fields of small characteristics.
  ☆19May 16, 2025Updated 8 months ago
• 0xPolygonZero / plonky2-ecdsa

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

  View on GitHub
  Expander Compiler
  ☆41Updated this week
• Modulus-Labs / halo2_ml

  View on GitHub
  Foundation for speedy Machine Learning operations in Halo2 Prover
  ☆20Oct 3, 2024Updated last year
• Lagrange-Labs / mapreduce-plonky2

  View on GitHub
  ☆23Jun 12, 2025Updated 8 months ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago