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.
  ☆65Updated 6 years ago
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆127Updated 3 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆45Updated 5 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆43Updated 4 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆82Updated 3 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆42Updated 6 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆42Updated this week
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆166Updated 4 years ago
• lducas / BDD-note
  ☆12Updated 4 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆58Updated last year
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆72Updated 2 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆83Updated last year
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• byt3bit / mimc_snark
  ☆22Updated 9 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 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
  ☆38Updated 2 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆84Updated 3 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 10 years ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated last week
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆54Updated last year
• cornelltech / CS6831-Spring2019
  Designing Secure Cryptography
  ☆22Updated 6 years ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆47Updated 6 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆26Updated 3 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆67Updated 6 years ago
• mjosaarinen / pqps
  Tools for power measurements of post-quantum cryptographic algorithms
  ☆29Updated 6 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆64Updated last year
• hcrypt-project / libScarab
  An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem
  ☆45Updated 10 years ago