Topics covered in this episode:
1:42 Introduction to Zero-Knowledge Proofs.
7:07 What MPC in the head achieves, at a high level.
14:35 The efficiency of MPC in the head.
15:56 What is “MPC” anyways?
18:37 How MPC in the head works, at a high level.
20:38 An overview of the IKOS paper: the one that started it all.
“Zero-Knowledge from Secure Multiparty Computation” - Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky, and Amit Sahai
31:05 The ZKBoo paper: making MPC in the head practical.
“ZKBoo: Faster Zero-Knowledge for Boolean Circuits“ - Irene Giacomelli, Jesper Madsen, and Claudio Orlandi
My implementation of ZKBoo: https://github.com/cronokirby/boo-hoo
41:22 The KKW paper: adding pre-processing to simulated MPC.
“Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures” - Jonathan Katz, Vladimir Kolesnikov, and Xiao Wang
48:32 The core idea of the Limbo paper: verifying execution traces.
“Limbo: Efficient Zero-knowledge MPCitH-based Arguments“ - Cyprien Delpech de Saint Guilhem, Emmanuela Orsini, and Titouan Tanguy
51:07 What distinguishes Ligero from other MPC in the head systems: Sqrt(N) complexity.
“Ligero: Lightweight Sublinear Arguments without a trusted setup” - Scott Ames, Carmit Hazy, Yuval Ishai, an dMuthuramakrishnan Venkitasubramaniam
54:10 The “Rambo” paper: how to add RAM to ZK proof programs.
“Efficient Proof of RAM Programs from Any Public-Coin
Zero-Knowledge System” - Cyprien Delpech de Saint Guilhem, Emmanuela Orsini, Titouan Tanguy, and Michiel Verbauwhede
1:03:10 My project, Rem-Boo
If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:
If you want even more updates, feel free to follow me on Twitter.
MPC In The Head Special