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!
  ☆98Updated 2 years ago
• sec-bit / ckb-zkp
  Zero Knowledge Proofs Toolkit for CKB
  ☆69Updated 3 years ago
• Manta-Network / pallet-manta-pay
  A substrate pallet that enables Manta's decentialized anynonymous payment (MantaPay) protocol.
  ☆28Updated 3 years ago
• MariusVanDerWijden / gpusnarks
  CUDA implementation of Fast Fourier Transformations on finite fields
  ☆80Updated 6 years ago
• 0xPolygonZero / plonky
  Recursive SNARKs based on Plonk and Halo
  ☆116Updated 4 years ago
• Loopring / protocol3-circuits
  ZKP Circuits code for Loopring Protocol 3.0
  ☆52Updated 5 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆93Updated 4 years ago
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 7 years ago
• MinaProtocol / c-reference-signer
  ☆33Updated last month
• zcash / orchard
  Implementation of the Zcash Orchard Protocol
  ☆64Updated last month
• arkworks-rs / gemini
  An elastic proof system based on arkworks
  ☆85Updated 2 years ago
• AlexandreBelling / go-boojum
  A golang demo for zk-SNARK aggregation
  ☆41Updated 6 years ago
• matter-labs / hodor
  Open source implementation of zkSTARKs in pure Rust
  ☆83Updated 2 years ago
• celo-org / celo-bls-snark-rs
  Implements SNARK-friendly BLS signatures
  ☆87Updated last year
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated 2 months ago
• vdfresearch / vdfresearch.github.io
  Website!
  ☆22Updated 3 years ago
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 6 years ago
• algorand / bls_sigs_ref
  Algorand's reference implementation of bls signature scheme
  ☆49Updated 2 years ago
• AztecProtocol / aztec-2.0
  C++ elliptic curve library
  ☆135Updated 2 years ago
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• filecoin-project / ec-gpu
  OpenCL code generator for finite-field arithmetic over arbitrary prime fields
  ☆99Updated 5 months ago
• HorizenOfficial / ginger-lib
  Ginger-lib is a general purpose zk-SNARK library that supports recursive proof composition
  ☆85Updated last year
• herumi / bls-eth-rust
  ☆21Updated 3 years ago
• ZenGo-X / vdf
  Simple RSA VDF in Rust
  ☆21Updated 4 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆128Updated 2 years ago
• novifinancial / librabft_simulator
  Discrete-event simulation for BFT consensus protocols
  ☆48Updated 4 years ago
• fluidex / plonkit
  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.
  ☆159Updated 2 years ago
• dusk-network / plonkup
  Proof system with plonkup back-end proving arguments
  ☆14Updated 3 years ago