Alternatives and similar repositories for snarkyGPU

Users that are interested in snarkyGPU are comparing it to the libraries listed below

• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated last year
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 6 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆37Updated 2 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• MinaProtocol / snark-challenge-prover-reference
  ☆22Updated 3 years ago
• wborgeaud / python-pippenger
  Python3 implementation of the Pippenger algorithm for fast multi-exponentiation
  ☆21Updated 2 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• recmo / zkp-u256
  Rust 256-bit unsigned integers.
  ☆9Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 3 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆16Updated last year
• halo2-ce / halo2
  ☆30Updated 2 years ago
• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆99Updated last week
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆84Updated last year
• cfrg / draft-irtf-cfrg-bls-signature
  ☆32Updated 3 years ago
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 4 years ago
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆81Updated 5 years ago
• hyperproofs / hyperproofs-go
  ☆22Updated 7 months ago
• MinaProtocol / gpu-groth16-prover-3x
  On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
  ☆101Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆34Updated 8 months ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 6 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆67Updated 2 years ago
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆47Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated last month
• zcash / pasta
  Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo
  ☆56Updated 2 years ago
• algorand / pointproofs
  ☆48Updated 2 years ago
• ewasm / benchmarking
  Instructions for benchmarking Ewasm precompiles. (And results.)
  ☆20Updated 4 years ago