spring-epfl / voteagain

Related projects: ⓘ

• toonsegers / verifiable_mpc
  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone exter…
  ☆22Updated 7 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆65Updated 4 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆33Updated 4 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated last year
• obliviousram / PathOHeap
  Path Oblivious Heap C++ Reference Implementation
  ☆22Updated 4 years ago
• initc3 / SaUCy
  The modular protocol framework based on Universal Composability
  ☆18Updated 4 years ago
• OpenMined / PyZPK
  Python wrapper for open source Zero Proof Knowledge Library
  ☆27Updated 4 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆30Updated this week
• spring-epfl / zksk
  Zero-Knowledge Swiss Knife
  ☆92Updated last year
• snipsco / paillier-libraries-benchmarks
  Companion repository for blog post on benchmarking implementations of Paillier encryption
  ☆19Updated 7 years ago
• alan-turing-institute / SHEEP
  SHEEP is a Homomorphic Encryption Evaluation Platform
  ☆47Updated last year
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 2 years ago
• LowMC / lowmc
  An implementation of the LowMC block cipher family.
  ☆24Updated 6 years ago
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆40Updated last year
• byt3bit / mimc_snark
  ☆22Updated 8 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆32Updated 2 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆38Updated 3 years ago
• solegga / blockchaincourse
  Blockchains and Distributed Ledgers
  ☆103Updated 3 years ago
• claucece / post-quantumers
  ☆18Updated 3 years ago
• masksign / raccoon
  Raccoon Signature Scheme -- Reference Code
  ☆10Updated last year
• tf-encrypted / moose
  Secure distributed dataflow framework for encrypted machine learning and data processing
  ☆57Updated 6 months ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆63Updated last year
• 5GenCrypto / clt13
  C implementation of the CLT13 multilinear map
  ☆14Updated 5 years ago
• sunblaze-ucb / Libra
  Libra zero knowledge proof system
  ☆47Updated last year
• jbms / ecmh
  Elliptic Curve Multiset Hash
  ☆16Updated 5 years ago
• akosba / mirage
  A zk-SNARK for randomized algorithms + linear-size universal circuits
  ☆16Updated 3 years ago
• osu-crypto / batchDualEx
  Batch Dual Execution framework for secure multiparty computation
  ☆13Updated 7 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 8 years ago
• zama-ai / concrete-core
  ☆63Updated this week
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆19Updated 7 years ago