Alternatives and similar repositories for pairing-bls12381

Users that are interested in pairing-bls12381 are comparing it to the libraries listed below

• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆22Updated last year
• anoma / research
  Early-stage research related to the Anoma protocols.
  ☆23Updated last year
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated 2 years ago
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 6 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆16Updated last year
• halo2-ce / halo2
  ☆28Updated 2 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆46Updated 5 years ago
• arkworks-rs / sponge
  This library is archived; see crypto-primities for the latest version of this code
  ☆23Updated 2 years ago
• lurk-lab / neptune-triton
  Futhark implementation of neptune-compatible Poseidon.
  ☆27Updated 4 years ago
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆22Updated 4 months ago
• runtimeverification / casper-proofs
  Coq definitions and lemmas for verification of Casper
  ☆18Updated 5 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 4 years ago
• roynalnaruto / range_proof
  PoC implementation of polynomial commitment scheme based Range Proofs
  ☆12Updated last year
• celo-org / snark-setup
  ☆18Updated last year
• burdges / isogenies_vdf_uses
  Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves
  ☆15Updated 3 years ago
• argumentcomputer / FFaCiL.lean
  Finite Fields and Curves in Lean
  ☆13Updated 2 years ago
• apre-group / checkmate
  the CheckMate protocol verification tool
  ☆10Updated 2 weeks ago
• arkworks-rs / dpc
  A library for decentralized private computation
  ☆19Updated 3 years ago
• statechannels / tla-specs
  TLA+ specifications of various protocols used by wallets in the nitro protocol.
  ☆18Updated 5 years ago
• cronokirby / deevee
  Designatived verifier Schnorr signatures
  ☆13Updated 2 years ago
• iden3 / wasmcurves
  Web Assembly low level implementation of pairing friendly curves.
  ☆15Updated last year
• risc0 / risc0-lean4
  A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
  ☆70Updated 2 years ago
• decanus / go-rln
  RLN wrappers and implementation in Go
  ☆11Updated 3 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆42Updated 10 months ago
• lvella / polynomial-solver
  Solves systems of polynomial equations.
  ☆29Updated last year
• crytic / whipstaff
  A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
  ☆21Updated 5 years ago
• ZcashFoundation / ristretto255-dh
  Diffie-Hellman key exchange using the Ristretto255 group, in Rust.
  ☆21Updated 2 years ago