Alternatives and similar repositories for rs-gkr

Users that are interested in rs-gkr are comparing it to the libraries listed below

• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• nooma-42 / pylookup

  View on GitHub
  Educational Version of Lookup Argument
  ☆12Apr 10, 2025Updated 10 months ago
• Ethan-000 / halo2_backend

  View on GitHub
  ☆39Jan 8, 2024Updated 2 years ago
• hadasz / plonkish_basefold

  View on GitHub
  ☆38Jul 30, 2025Updated 6 months ago
• Modulus-Labs / halo2_ml

  View on GitHub
  Foundation for speedy Machine Learning operations in Halo2 Prover
  ☆20Oct 3, 2024Updated last year
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• adria0 / plonk-by-fingers

  View on GitHub
  Implementation of Plonk by Hand in rust
  ☆62Feb 28, 2024Updated last year
• DoHoonKim8 / halo2-lasso

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

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• axiom-crypto / axiom-eth

  View on GitHub
  ☆94Aug 19, 2024Updated last year
• 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 / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• zkemail / halo2-zk-email

  View on GitHub
  Email verification circuit in halo2
  ☆68Jul 3, 2024Updated last year
• thor314 / pazk

  View on GitHub
  Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group
  ☆134Dec 7, 2024Updated last year
• 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
• shuklaayush / halo2-lib-eddsa

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

  View on GitHub
  Decree Fiat Shamir Library
  ☆11Mar 27, 2024Updated last year
• demining / Endomorphism-Secp256k1

  View on GitHub
  Speed ​​up secp256k1 with endomorphism
  ☆14Dec 7, 2022Updated 3 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
• kilic / halo2msm

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

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 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
• bcc-research / Ligerito.jl

  View on GitHub
  implentation of Ligerito
  ☆19Nov 9, 2025Updated 3 months ago
• 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
• NP-Eng / gkr_tutorial

  View on GitHub
  ☆12Oct 4, 2023Updated 2 years ago
• zk-VerITAS / VerITAS

  View on GitHub
  ☆14Oct 9, 2024Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 6 months ago
• tangle-network / zk-SaaS

  View on GitHub
  zkSNARKs as a service using secure multi-party computation.
  ☆30Jan 19, 2024Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• cursive-team / ideas-and-moonshots

  View on GitHub
  An active, public list of project ideas related to NFCxZK
  ☆11Dec 6, 2023Updated 2 years ago
• lyronctk / zator

  View on GitHub
  Verifying a 512-layer CNN w/ Nova
  ☆171May 5, 2023Updated 2 years ago
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• ora-io / zkWasm

  View on GitHub
  partnership with DelphinusLab targeting on trustless offchain monitor.
  ☆14Jan 26, 2024Updated 2 years ago
• TAMUCrypto / ZKDT_release

  View on GitHub
  ☆14Aug 19, 2021Updated 4 years ago
• NP-Eng / ligero

  View on GitHub
  Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.
  ☆18Oct 28, 2024Updated last year