Implementation of indistinguishability obfuscation constructions from scientific literature
☆48Apr 28, 2015Updated 11 years ago
Alternatives and similar repositories for indistinguishability-obfuscation
Users that are interested in indistinguishability-obfuscation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Dec 19, 2020Updated 5 years ago
- Functional encryption library for python☆22Aug 29, 2024Updated last year
- ☆13Feb 12, 2026Updated 3 months ago
- ☆15Sep 14, 2022Updated 3 years ago
- private 1inch☆14Apr 23, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A curated list of papers relating to position-based quantum cryptography (PBQC).☆20Aug 25, 2025Updated 9 months ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Functional encryption library in Go☆196Mar 7, 2023Updated 3 years ago
- Web client for Irc It!☆12Apr 10, 2014Updated 12 years ago
- Create FORTH code for register definitions of ARM Cortex-M devices based on its CMSIS SVD XML description☆10Aug 8, 2014Updated 11 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
- Python 3 wrapper for the mcl library☆12Jan 16, 2026Updated 4 months ago
- ☆12Apr 3, 2020Updated 6 years ago
- ☆11Jul 21, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Secure Inference Resilient Against Malicious Clients☆14May 3, 2022Updated 4 years ago
- Minimal Viable Data Sync Implementation☆13Aug 29, 2023Updated 2 years ago
- A library for running Functional Encryption on tensors☆46Jan 5, 2021Updated 5 years ago
- PVSS & Scrape in rust☆11Apr 6, 2026Updated last month
- ☆10Oct 4, 2023Updated 2 years ago
- ☆14Feb 11, 2022Updated 4 years ago
- Multi-input functional encryption☆12Feb 8, 2018Updated 8 years ago
- 💪🔢🔒 bigint-hash: Hashing for TC39 BigInt Proposal☆12Mar 18, 2019Updated 7 years ago
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distributed persistent programming language with secure information flow types☆30Feb 15, 2025Updated last year
- Aave Seatbelt for governance proposals☆21May 22, 2026Updated last week
- [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf☆35Oct 10, 2024Updated last year
- Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.☆73Apr 28, 2022Updated 4 years ago
- BLS signature implementation☆16May 9, 2020Updated 6 years ago
- Brackets extension for pure Node.js Sass and Scss linting☆11Oct 5, 2017Updated 8 years ago
- Plasma EVM client☆24Dec 30, 2022Updated 3 years ago
- ☆10Mar 26, 2021Updated 5 years ago
- A wrapper and renderer for EclipseSource's JsonForms - https://jsonforms.io/☆14Mar 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- Checksums for GitHub Actions.☆19May 22, 2026Updated last week
- zk-Snarks circuit for franchise proof☆13Dec 5, 2023Updated 2 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Feb 28, 2018Updated 8 years ago
- Implementation of the new multilinear maps over the integers☆10Feb 12, 2019Updated 7 years ago
- Export Circom verifier to Cairo☆49Apr 26, 2022Updated 4 years ago
- The C3, SMT/SAT solver written in C.☆35Aug 10, 2025Updated 9 months ago