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 3 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• 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
  ☆38Updated 2 years ago
• wborgeaud / python-pippenger
  Python3 implementation of the Pippenger algorithm for fast multi-exponentiation
  ☆22Updated 3 years ago
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 3 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated last month
• algorand / pointproofs
  ☆47Updated 2 years ago
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆48Updated 4 years ago
• MinaProtocol / snark-challenge-prover-reference
  ☆22Updated 3 years ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 2 years ago
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 3 years ago
• algorand / bls_sigs_ref
  Algorand's reference implementation of bls signature scheme
  ☆49Updated 2 years ago
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 6 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆68Updated 3 years ago
• hyperproofs / hyperproofs-go
  ☆22Updated last year
• kwantam / fffft
  fft impl for ff::Field
  ☆17Updated last year
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆80Updated 6 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆40Updated 6 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 4 years ago
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆28Updated 4 years ago
• NilFoundation / crypto3-zk
  Zero-Knowledge Proof Systems for =nil; Crypto3 C++ Cryptography Suite.
  ☆33Updated last year
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• crate-crypto / qesa
  Efficient zero-knowledge arguments in the discrete log setting, revisited
  ☆16Updated 5 years ago