Alternatives and similar repositories for libsnark

Users that are interested in libsnark are comparing it to the libraries listed below

• imdea-software / legosnark
  C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
  ☆41Updated 5 years ago
• isec-tugraz / gzkbpp
  Implementation of the ZKB++ proof system
  ☆20Updated 6 years ago
• cfrg / draft-irtf-cfrg-hash-to-curve
  Hashing to Elliptic Curves
  ☆80Updated last year
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• alex-ozdemir / bellman-bignat
  Multiprecision arithmetic & RSA accumulators, within SNARKs
  ☆55Updated last year
• zkcrypto / groth16
  Implementation of the Groth16 zk-SNARK proving system
  ☆21Updated 7 years ago
• miracl / amcl
  ☆35Updated 4 years ago
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆68Updated 2 years ago
• cryptolu / accumulator
  Dynamic Universal Accumulator with Batch Update over Bilinear Groups
  ☆15Updated 4 years ago
• Sobuno / ZKBoo
  ☆52Updated 2 years ago
• KULeuven-COSIC / Panacea
  ☆10Updated last year
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆36Updated 8 years ago
• lattice-based-zkSNARKs / lattice-zksnark
  lattice-based zkSNARKs over libsnark [ISW21]
  ☆36Updated last year
• isogenies-vdf / isogenies-vdf-sage
  Sage implementation of the isogeny-and-pairing based VDF
  ☆25Updated 4 years ago
• amiller / pinocchio
  pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!
  ☆18Updated 8 years ago
• slowli / elastic-elgamal
  ElGamal encryption and related zero-knowledge proofs
  ☆18Updated last month
• matter-labs-archive / Groth16BatchVerifier
  Batch verification proposal for the zkSNARK verification with the same(!) circuit
  ☆24Updated 6 years ago
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆176Updated 2 years ago
• lovesh / bulletproofs-r1cs-gadgets
  Arithmatic circuits convertible to R1CS based on Bulletproofs
  ☆91Updated 3 years ago
• dis2 / bls12
  DEPRECATED
  ☆22Updated 5 years ago
• kobigurk / cpsnarks-set
  Rust library for efficient, succinct and modular set membership and non-membership proofs
  ☆58Updated 4 years ago
• arkworks-rs / bcs
  ☆11Updated 3 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆74Updated 2 years ago
• randombit / pairings.py
  Elliptic curve pairing in Python
  ☆57Updated 5 years ago
• 0xPolygonZero / r1cs
  A Rust library for building R1CS gadgets
  ☆93Updated 4 years ago
• isec-tugraz / fish-begol
  Implementation of the Fish and Begol signature schemes
  ☆14Updated 8 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• alinush / libpolycrypto
  (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…
  ☆34Updated 2 years ago
• algorand / bls_sigs_ref
  Algorand's reference implementation of bls signature scheme
  ☆49Updated 2 years ago
• therealyingtong / ultraplonk-workshop
  ☆10Updated 3 years ago