Implementation of indistinguishability obfuscation constructions from scientific literature
☆48Apr 28, 2015Updated 10 years ago
Alternatives and similar repositories for indistinguishability-obfuscation
Users that are interested in indistinguishability-obfuscation are comparing it to the libraries listed below
Sorting:
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- 6.858 final project.☆18Jan 14, 2016Updated 10 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- Notary: A Device for Secure Transaction Approval 📟☆28Feb 1, 2025Updated last year
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- Distributed persistent programming language with secure information flow types☆29Feb 15, 2025Updated last year
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical…☆30Jul 12, 2016Updated 9 years ago
- Generator of "nothing-up-my-sleeve" constants☆24Jul 3, 2015Updated 10 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆28Feb 27, 2024Updated 2 years ago
- Rust encryption library for practical time-lock encryption.☆37Jul 19, 2024Updated last year
- A curated list of papers relating to position-based quantum cryptography (PBQC).☆16Aug 25, 2025Updated 6 months ago
- Implementation of cryptographic program obfuscation☆42Feb 8, 2018Updated 8 years ago
- Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.☆73Apr 28, 2022Updated 3 years ago
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- A Ghidra processor module for the EFI Byte Code (EBC)☆35Jun 20, 2020Updated 5 years ago
- T2 Temporal Prover☆96Feb 12, 2018Updated 8 years ago
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 6 months ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- This script is for photographers to do timeslice with one click.☆13Aug 21, 2022Updated 3 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- Aave Seatbelt for governance proposals☆19Updated this week
- A White-Box Masking Scheme Against Computational and Algebraic Attacks☆13Jan 6, 2021Updated 5 years ago
- Low-level IR mutations for LLVM Bitcode☆43Feb 2, 2026Updated last month
- JavaScript compiler for Scratch projects.☆11Sep 24, 2017Updated 8 years ago
- An application built to monitor CS:GO prices on the Steam market☆13Dec 29, 2021Updated 4 years ago
- A mini development environment for developing and troubleshooting the Cypress PSoC Digital Filter Block☆11Mar 23, 2020Updated 5 years ago
- C++ API for Buttplug IO☆12Aug 8, 2025Updated 7 months ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- FELICS Framework☆11Dec 5, 2019Updated 6 years ago
- Past presentation materials☆10Jul 10, 2018Updated 7 years ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 7 months ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago