The Quest for Practical iO with Machina iO

In this episode, Anna Rose and Tarun Chitra chat with Sora Suegami and Enrico Bottazzi from Machina iO. They explain indistinguishability obfuscation (iO) technology and how they are working to bring this powerful cryptographic primitive from theoretical territory into the practical world. They discuss how the pair got into iO and how new assumptions like all-product LWE and evasive LWE will help bridge theory to practice. They explore the benchmarks, the challenges and opportunities of this cutting-edge privacy cryptography and cover potential optimizations and real-world uses. While iO is still far from being truly practical, their work shows tangible steps ahead and offers interesting insights into how this could actually work. Related Links

• Indistinguishability Obfuscation (iO) with Huijia (Rachel) Lin
• Machina iO
• Diamond iO: A Straightforward Construction of Indistinguishability Obfuscation from Lattices
• Compact Pseudorandom Functional Encryption from Evasive LWE
• Indistinguishability Obfuscation from Well-Founded Assumptions
• Lookup-Table Evaluation over Key-Homomorphic Encodings and KP-ABE for Nonlinear Operations
• Original BGG+ paper:Fully Key-Homomorphic Encryption, Arithmetic Circuit ABE, and Compact Garbled Circuits∗
• Gentry’s classic thesis on FHE bootstrapping:A FULLY HOMOMORPHIC ENCRYPTION SCHEME
• Gentry (GGH+) paper for obfuscation for all circuits:Candidate Indistinguishability Obfuscation and Functional Encryption for all circuits

• Optimal Broadcast Encryption and CP-ABE from Evasive Lattice Assumptions
• Evasive LWE Assumptions: Definitions, Classes, and Counterexamples
• Lattice-Based Post-Quantum iO from Circular Security with Random Opening Assumption (Part II: zeroizing attacks against private-coin