3.6 KiB
id, name, image, section, projectStatus, category, tldr, tags, links, team
| id | name | image | section | projectStatus | category | tldr | tags | links | team | ||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| machina-iO | MachinaIO | pse | active | research | Building the first practical indistinguishability obfuscation (iO) system for secure and scalable cryptographic applications. |
|
|
|
Project Overview
The MachinaIO project aims to develop the first practical implementation of Indistinguishability Obfuscation (iO). By converting programs into black-box representations, MachinaIO enables users to execute obfuscated programs locally without revealing their internal workings and hardcoded secrets, thus significantly enhancing security and scalability for blockchain applications and beyond. This removes the reliance on threshold-based committees from existing privacy-preserving applications based on MPC and (multi-key) FHE
Objective
The primary goal of MachinaIO is to build a secure, and practical implementation of iO, eliminating the need for trusted committees in applications relying on Multi-party Computation (MPC) and Fully Homomorphic Encryption (FHE). Achieving practical iO would provide these applications with unlimited scalability and robust security.
Project Status
- Stage: MVP Development
- Status: Active
- Team Lead: Sora Suegami
- Team Members: Enrico Bottazzi, Pia
Technical Approach
MachinaIO aims to create the first practical iO system based on formal security proofs, transforming any program into a black-box that hides its internals while preserving its functionality. By replacing committees in multi-party computation (MPC) or multi-key fully homomorphic encryption (FHE), iO can scale these applications securely and eliminate trust bottlenecks.
Contributions
- Focus on Core Obfuscation: Obfuscation only for FHE decryption and SNARK verification, leveraging recent efficiency gains in FHE and ZK proofs.
- SNARK compatible with iO: An implementation of a SNARK scheme that can be efficiently verified within the obfuscated program, specifically a lattice-based designated-verifier SNARK.
Milestones
- February 2025: Published foundational paper on MachinaIO here
- March 2025: Released initial implementation publicly on GitHub
- July 2025 (planned): Develop an input-scalable iO scheme with noise refreshing
- September 2025 (planned): Obfuscated program supporting ZKP verification and FHE decryption
- November 2025 (planned, Devconnect): Demonstration of practical iO-based applications
Applications
MachinaIO can transform blockchain and cryptographic applications, such as trustless bitcoin bridges.
Publications
- MachinaIO Paper: Diamond iO: A Straightforward Construction of Indistinguishability Obfuscation from Lattices
- Hello world: The first sign of practical iO (blogpost)
Resources
- GitHub Repository: Machina iO
- Project Plan: HackMD Plan