Alternatives and similar repositories for gpu-acceleration

Users that are interested in gpu-acceleration are comparing it to the libraries listed below

• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated last year
• brech1 / keaki
  Extractable Witness Encryption for KZG Commitments
  ☆29Updated 11 months ago
• crate-crypto / rust-eth-kzg
  ☆30Updated 3 weeks ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆28Updated last year
• rot256 / research-we-kzg
  Witness encryption for KZG openings
  ☆30Updated last year
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆28Updated last year
• iosis-tech / swiftness
  Cairo-VM STONE STARK Verifier Rust implementation
  ☆43Updated 9 months ago
• succinctlabs / kzg-rs
  Rust implementation of KZG point evaluation
  ☆34Updated 3 months ago
• asn-d6 / curdleproofs
  Curdleproofs is a zero-knowledge shuffle argument
  ☆70Updated 2 years ago
• yetanotherco / zkRust
  ☆42Updated last year
• pluto / edge
  client side proving
  ☆39Updated 8 months ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated last year
• zksecurity / stark-book
  STARK book
  ☆20Updated last year
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆50Updated 2 years ago
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 11 months ago
• geometryxyz / proof-toolbox
  Cryptographic protocols
  ☆38Updated 2 years ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated 2 years ago
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆56Updated last year
• Rate-Limiting-Nullifier / kzg-rln
  RLN on KZG
  ☆21Updated 2 years ago
• succinctlabs / plonky3
  ☆24Updated 11 months ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆52Updated 3 years ago
• conroi / lcpc
  polynomial commitments from linear codes
  ☆47Updated 11 months ago
• succinctlabs / hypercube-verifier
  ☆42Updated this week
• privacy-ethereum / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆44Updated 2 years ago
• TomWambsgans / Whirlaway
  A pqSNARK with lightweight proofs, powered by the Whir PCS.
  ☆40Updated 2 months ago
• iden3 / circom-witnesscalc
  ☆19Updated this week
• recmo / goldilocks
  A library for fast NTTs over the Goldilocks prime field
  ☆80Updated last year
• lita-xyz / reva
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆14Updated 4 months ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆23Updated 2 years ago