Alternatives and similar repositories for ecmh

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

• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 9 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 6 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆36Updated 7 years ago
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 9 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆127Updated 3 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆40Updated 6 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆60Updated 8 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆73Updated 2 years ago
• Sobuno / ZKBoo
  ☆52Updated 2 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆65Updated 6 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 5 years ago
• nicola / rust-yinyan
  ☆13Updated 5 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆83Updated last year
• cfrg / draft-irtf-cfrg-bls-signature
  ☆31Updated 2 months ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 6 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• jancarlsson / snarkfront
  a C++ embedded domain specific language for zero knowledge proofs
  ☆59Updated 9 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 7 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆67Updated 6 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated this week
• GaloisInc / BLST-Verification
  BLST-Verification
  ☆23Updated 11 months ago
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆28Updated last year
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 6 years ago
• trailofbits / reverie
  An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
  ☆60Updated 2 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆17Updated last year
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆43Updated 5 years ago