Alternatives and similar repositories for halo2-cq

Users that are interested in halo2-cq are comparing it to the libraries listed below

• kilic / halo2msm

  View on GitHub
  ☆13Aug 23, 2023Updated 2 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• arnaucube / protogalaxy-poc

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

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

  View on GitHub
  An implementation of Sangria
  ☆17Jun 1, 2023Updated 2 years ago
• kwantam / eccons

  View on GitHub
  elliptic curve construction tool
  ☆17Feb 24, 2023Updated 2 years ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• alexander-camuto / rs-gkr

  View on GitHub
  ☆21Apr 16, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• halo2club / halo2club.github.io

  View on GitHub
  ☆16Mar 11, 2024Updated last year
• arnaucube / math

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

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• shuklaayush / halo2-lib-eddsa

  View on GitHub
  halo2-lib-eddsa
  ☆11Feb 2, 2024Updated 2 years ago
• arnaucube / sigmabus-poc

  View on GitHub
  Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406
  ☆10Dec 20, 2023Updated 2 years ago
• gy001 / hypercube

  View on GitHub
  ☆41Jan 7, 2024Updated 2 years ago
• zksecurity / stark-book

  View on GitHub
  STARK book
  ☆20Sep 25, 2024Updated last year
• moven0831 / fraud-proof-groth16

  View on GitHub
  Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…
  ☆11Oct 10, 2023Updated 2 years ago
• kobigurk / plonk

  View on GitHub
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
  ☆15Aug 10, 2020Updated 5 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• morgana-proofs / GKR-MSM

  View on GitHub
  ☆14Dec 26, 2024Updated last year
• axiom-crypto / halo2-browser

  View on GitHub
  Monorepo of tools for using the halo2 proving system in-browser using WASM.
  ☆56Jun 20, 2024Updated last year
• geometryxyz / protostar

  View on GitHub
  ☆52Oct 10, 2023Updated 2 years ago
• morgana-proofs / hashcaster

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

  View on GitHub
  👓
  ☆15Jan 20, 2023Updated 3 years ago
• quantstamp / halo2-analyzer

  View on GitHub
  SMT 2023 Submission; license pending
  ☆57Jan 28, 2026Updated 2 weeks ago
• jules / grumpkin

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• lurk-lab / circom-scotia

  View on GitHub
  ☆23Mar 8, 2024Updated last year
• ed255 / riscu-jolt

  View on GitHub
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Dec 11, 2023Updated 2 years ago
• hero78119 / risc0-nova

  View on GitHub
  RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme
  ☆28Jun 27, 2023Updated 2 years ago
• privacy-ethereum / sol-whir

  View on GitHub
  Solidity libraries and contracts for verifying WHIR proofs on the EVM.
  ☆28Dec 19, 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 last year
• Maddiaa0 / noir-storage-proofs-demo

  View on GitHub
  Code used in a recent presentation showing off noir storage proofs
  ☆15Jul 30, 2023Updated 2 years ago
• chancehudson / circom-stark

  View on GitHub
  ☆14Dec 13, 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
• microsoft / Spartan2

  View on GitHub
  Spartan: High-speed zkSNARKs without trusted setup
  ☆126Jan 30, 2026Updated 2 weeks ago
• han0110 / plonkish

  View on GitHub
  ☆111Nov 27, 2025Updated 2 months ago