Alternatives and similar repositories for indistinguishability-obfuscation:

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

• encryptogroup / UC
  Implementation of Valiant's universal circuit construction optimized for private function evaluation
  ☆42Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• Sobuno / ZKBoo
  ☆49Updated last year
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• pepper-project / pepper
  A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.
  ☆62Updated 6 years ago
• byt3bit / mimc_snark
  ☆22Updated 8 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 2 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated last week
• mit-dci / zkledger
  Privacy-preserving auditing for distributed ledgers
  ☆66Updated 6 years ago
• isec-tugraz / Picnic
  Optimized implementation of the Picnic signature scheme
  ☆80Updated 2 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 5 years ago
• lducas / BDD-note
  ☆13Updated 3 years ago
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago
• lducas / CodeRed
  Basis Reduction Algorithms for Codes (LLL and more)
  ☆26Updated last year
• oblivm / ObliVMLang
  The compiler for ObliVM
  ☆65Updated 4 years ago
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• isec-tugraz / fish-begol
  Implementation of the Fish and Begol signature schemes
  ☆13Updated 7 years ago
• scipr-lab / libff
  C++ library for Finite Fields and Elliptic Curves
  ☆156Updated 3 years ago
• 5GenCrypto / mife
  Multi-input functional encryption
  ☆12Updated 7 years ago
• scipr-lab / ecfactory
  SageMath library for constructing elliptic curves
  ☆69Updated last year
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆119Updated 3 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 8 months ago
• brownie / cashlib
  ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
  ☆54Updated 9 years ago
• miha-stopar / crypto-notes
  Notes on cryptographic schemes and attacks
  ☆25Updated 6 years ago
• hcrypt-project / obliviousJ
  Implements an encryptable machine (shapeCPU Java)
  ☆11Updated 9 years ago
• sdiehl / arithmetic-circuits
  Arithmetic circuits for zero knowledge proof systems
  ☆82Updated last year
• shaih / cpp-lwevss
  C++ implementation of VSS using LWE encryption and proofs
  ☆15Updated 3 years ago
• alinush / ck
  A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox
  ☆13Updated 2 years ago
• armfazh / flo-shani-aesni
  Performance Evaluation of SHA-256 using SHA New Instructions.
  ☆43Updated 4 years ago
• conorpp / bitsliced-aes
  A bitsliced implementation of ECB and CTR AES
  ☆50Updated 8 months ago