Alternatives and similar repositories for ecmh

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

• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 6 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆38Updated 8 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆126Updated 3 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆82Updated 3 years ago
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆43Updated last year
• Electric-Coin-Company / jubjub-prototype
  ☆60Updated 8 years ago
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 5 years ago
• Sobuno / ZKBoo
  ☆51Updated 2 years ago
• nicola / rust-yinyan
  ☆13Updated 5 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
• pag-crypto / zkmbs
  Code for zero-knowledge middleboxes
  ☆63Updated 3 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆36Updated 7 years ago
• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 3 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆83Updated last month
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆65Updated 2 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 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
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆72Updated 2 years ago
• zkcrypto / jubjub
  Implementation of the Jubjub elliptic curve group
  ☆122Updated last year
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 9 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 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 / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆45Updated 5 years ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆165Updated 4 years ago
• GuildOfWeavers / AirAssembly
  Low-level language for encoding AIR of computations
  ☆38Updated 2 years ago
• byt3bit / mimc_snark
  ☆22Updated 9 years ago
• Chia-Network / vdf-competition
  ☆25Updated 2 years ago
• algorand / pointproofs
  ☆47Updated 2 years ago