The Quest for Practical iO with Machina iO
Zero Knowledge
00:00
Development Practices and Test Circuits
Tarun asks about unit tests; Enrico explains they use simple multiplication-by-bit circuits and leverage OpenFHE/OpenFHC libraries for BGG encodings.
Play episode from 54:01
Transcript
Transcript
Episode notes
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.
ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
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 evasive LWE assumptions)
- Simple and General Counterexamples for Private-Coin Evasive LWE
- Evasive LWE: Attacks, Variants & Obfustopia
ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.
Check out the latest jobs in ZK at the ZK Podcast Jobs Board.
**If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address Read transcript
The AI-powered Podcast Player
Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
