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
• MinaProtocol / snark-challenge-prover-reference
  ☆22Updated 3 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 6 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 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
• songzLi / coded_merkle_tree
  Coded Merkle Tree
  ☆26Updated 6 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 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
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated 2 weeks ago
• drewstone / rust-miximus
  A zkSNARK implementation of a merkle tree membership preimage proof.
  ☆23Updated 6 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• khovratovich / Kate
  ☆27Updated 3 years ago
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆48Updated 4 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• scaffino / SoK
  A collection of blockchain-related SoK papers.
  ☆18Updated 3 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆67Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• matter-labs-archive / alpha_line
  MPC implementation for a structured reference string (SRS) generation for SONIC proof system
  ☆24Updated 6 years ago
• guangyuz / arkworks-gadgets
  Zero-knowledge gadget for Sparse Merkle Tree.
  ☆19Updated 3 years ago
• hyperproofs / hyperproofs-go
  ☆22Updated 11 months ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆25Updated 4 years ago
• kilic / evmvdf
  Delay Function Verification Smart Contract
  ☆28Updated 4 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 6 years ago
• halo2-ce / halo2
  ☆30Updated 2 years ago
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆79Updated 5 years ago