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!
  ☆100Updated last year
• MinaProtocol / c-reference-signer
  ☆32Updated last year
• Loopring / protocol3-circuits
  ZKP Circuits code for Loopring Protocol 3.0
  ☆52Updated 5 years ago
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 6 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆67Updated 2 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
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 6 years ago
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 3 years ago
• QED-it / libsnark-tutorial_forge_proof
  ☆17Updated 7 years ago
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆80Updated 5 years ago
• AztecProtocol / aztec-2.0
  C++ elliptic curve library
  ☆135Updated 2 years ago
• republicprotocol / zksnark-rs
  Zero knowledge succinct arguments of knowledge, written in Rust
  ☆59Updated 3 years ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 2 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆91Updated 3 years 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
• matter-labs / eip1962
  EIP1962 implementation effort
  ☆70Updated last year
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 3 years ago
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆55Updated 2 months ago
• dusk-network / dusk-zerocaf
  Zerocaf: A library built for EC operations in Zero Knowledge.
  ☆53Updated 4 years ago
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆20Updated 4 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆54Updated last year
• mit-dci / zksigma
  A library for generating non-interactive proofs of knowledge without trusted setup
  ☆30Updated 6 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆123Updated last year
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated last year
• matter-labs / hodor
  Open source implementation of zkSTARKs in pure Rust
  ☆84Updated last year
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated 3 years ago