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.
  ☆63Updated 6 years ago
• byt3bit / mimc_snark
  ☆22Updated 8 years ago
• Sobuno / ZKBoo
  ☆50Updated 2 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆44Updated 5 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆34Updated this week
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆83Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆80Updated 2 years ago
• dkales / banquet
  Banquet implementation
  ☆13Updated 3 years ago
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 6 years ago
• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 3 years ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated 11 months ago
• spring-epfl / zksk
  Zero-Knowledge Swiss Knife
  ☆94Updated 2 years ago
• pornin / bingcd
  Optimized Binary GCD for Modular Inversion
  ☆43Updated 4 years ago
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆25Updated last year
• usnistgov / Circuits
  Circuits for functions of interest to cryptography
  ☆27Updated last year
• cornelltech / CS6831-Spring2019
  Designing Secure Cryptography
  ☆22Updated 6 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• pairingwg / bls_standard
  BLS working standard draft
  ☆39Updated 5 years ago
• cryptosubtlety / postquantumcrypto
  Intuitive Quantum Computation and Post-Quantum Cryptography
  ☆62Updated 2 years ago
• pornin / ecgfp5
  Curve ecGFp5
  ☆68Updated 3 years ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆158Updated 3 years ago
• QED-it / zkinterface
  zkInterface is a protocol for the interoperability of zero-knowledge frameworks.
  ☆129Updated last year
• pepper-project / pequin
  A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.
  ☆126Updated 3 years ago
• WardBeullens / BreakingRainbow
  Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
  ☆83Updated 3 years ago
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆25Updated 2 weeks ago