Alternatives and similar repositories for indistinguishability-obfuscation:

Users that are interested in indistinguishability-obfuscation are comparing it to the libraries listed below

• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆61Updated 5 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 weeks ago
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆116Updated 3 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 9 years ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 2 weeks ago
• 5GenCrypto / obfuscation
  Implementation of cryptographic program obfuscation
  ☆41Updated 7 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆80Updated 2 years ago
• Sobuno / ZKBoo
  ☆49Updated last year
• lducas / BDD-note
  ☆13Updated 3 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆82Updated 10 months ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆154Updated 3 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆125Updated 2 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
  ☆42Updated 4 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆59Updated 7 months ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 5 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated this week
• emp-toolkit / emp-agmpc
  Global-Scale Secure Multiparty Computation
  ☆43Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• bogdan-kulynych / libshe
  Symmetric somewhat homomorphic encryption library based on DGHV
  ☆27Updated 7 years ago
• LowMC / lowmc
  An implementation of the LowMC block cipher family.
  ☆26Updated 7 years ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 5 years ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆47Updated 6 months ago
• isec-tugraz / pairings_in_c
  C library for bilinear pairings
  ☆26Updated 7 years ago
• sadeghriazi / MPCircuits
  Optimized Circuit Generation for Secure Multiparty Computation
  ☆12Updated 5 years ago
• claucece / formal-tutorials
  ☆29Updated 3 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 2 years ago
• kartik1507 / GraphSC
  ☆28Updated 5 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated 11 months ago