tum-i4 / indistinguishability-obfuscation

Related projects: ⓘ

• Sobuno / ZKBoo
  ☆50Updated last year
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆60Updated 5 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
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆65Updated 5 years ago
• IAIK / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆78Updated 2 years ago
• byt3bit / mimc_snark
  ☆22Updated 8 years ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 5 years ago
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆43Updated 9 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆30Updated this week
• imdea-software / verifying-constant-time
  ☆34Updated 7 years ago
• safecrypto / libsafecrypto
  WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes
  ☆38Updated last year
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆26Updated 7 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆82Updated 5 months ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 8 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• ucbrise / jedi-pairing
  Go, C++, and C implementation of a bilinear group and pairing-based cryptography for both embedded and non-embedded systems
  ☆36Updated last year
• cornelltech / CS6831-Spring2019
  Designing Secure Cryptography
  ☆21Updated 5 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆122Updated 2 years ago
• lducas / BDD-note
  ☆13Updated 2 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆63Updated last year
• apache / incubator-milagro-crypto-c
  Apache milagro (Incubating)
  ☆35Updated 5 months ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆153Updated 2 years ago
• kste / haraka
  Haraka is a secure and efficient short-input hash function.
  ☆50Updated 6 years ago
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆114Updated 2 years ago
• kudelskisecurity / sgx-reencrypt
  PoC of an SGX enclave performing symmetric reencryption
  ☆48Updated 8 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆33Updated 4 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago