Alternatives and similar repositories for snark-challenge-prover-reference

Users that are interested in snark-challenge-prover-reference are comparing it to the libraries listed below

• MinaProtocol / snark-challenge
  Coda + Dekrypt: The SNARK Challenge - Reference Material
  ☆36Updated 3 years ago
• MinaProtocol / gpu-groth16-prover-3x
  On O(1) Labs' reference machine, this SNARK prover is 3x faster than libsnark!
  ☆99Updated last year
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆80Updated 5 years ago
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 6 years ago
• Manta-Network / pallet-manta-pay
  A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.
  ☆27Updated 3 years ago
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 6 years ago
• Loopring / protocol3-circuits
  ZKP Circuits code for Loopring Protocol 3.0
  ☆52Updated 5 years ago
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 3 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆67Updated 2 years ago
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• MinaProtocol / c-reference-signer
  ☆32Updated last year
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆56Updated 3 weeks ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆129Updated 2 years ago
• celo-org / celo-bls-snark-rs
  Implements SNARK-friendly BLS signatures
  ☆85Updated last year
• edcon-reiwa / zexe-ethereum
  An implementation of ZEXE on Ethereum
  ☆37Updated 6 years ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 6 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• matter-labs / eip1962
  EIP1962 implementation effort
  ☆71Updated last year
• algorand / pointproofs
  ☆47Updated 2 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆91Updated 3 years ago
• fluidex / plonkit
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆159Updated 2 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 3 years ago
• matter-labs / hodor
  Open source implementation of zkSTARKs in pure Rust
  ☆83Updated last year
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆47Updated 3 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆54Updated last year
• herumi / bls-eth-rust
  ☆20Updated 3 years ago
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated 3 years ago