jbms / ecmh

Related projects: ⓘ

• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 4 years ago
• hyraxZK / hyraxZK
  Hyrax reference implementation: meta-repo with top-level makefile, etc
  ☆35Updated 6 years ago
• pepper-project / tinyram
  An independent reimplementation of (vn)TinyRAM
  ☆36Updated 7 years ago
• Sobuno / ZKBoo
  ☆50Updated last year
• matter-labs-archive / snarkyGPU
  Research repository for distributed GPU based zkSNARKs prover
  ☆23Updated 5 years ago
• corda / msr-vc
  A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto
  ☆18Updated 5 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆38Updated 3 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated last year
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• sdiehl / schnorr-nizk
  Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
  ☆73Updated 4 years ago
• bcoin-org / libtorsion
  C crypto library
  ☆23Updated last year
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆41Updated last month
• matter-labs-archive / belle_cuda
  Implementation of various primitives for bellman using CUDA (WIP)
  ☆28Updated 5 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 2 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆60Updated 5 years ago
• ZenGo-X / class
  Rust library for building IQC: cryptography based on class groups of imaginary quadratic orders
  ☆63Updated last year
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆65Updated 5 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• IAIK / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆78Updated 2 years ago
• kwantam / fffft
  fft impl for ff::Field
  ☆15Updated 4 months ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits
  ☆16Updated 3 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆82Updated 5 months ago
• jancarlsson / snarklib
  a C++ template library for zero knowledge proofs
  ☆49Updated 8 years ago
• MinaProtocol / snark-challenge-prover-reference
  ☆19Updated 2 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆63Updated last year
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 8 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆33Updated 4 years ago
• scipr-lab / bace
  C++ library for evaluating arithmetic circuits on batches of inputs
  ☆15Updated 8 years ago
• Electric-Coin-Company / jubjub-prototype
  ☆58Updated 6 years ago