Recent progress in MPC-in-the-Head protocols

on YouTube ↗23m

" summary

Describes an MPC-in-the-Head pipeline that compiles a two-step client-server MPC into a zero-knowledge IOP with linear prover and linear communication, claims post-quantum security, and fixes the 1/n soundness term by running the MPC multiple times to amplify soundness. Implements LIMBO over boolean circuits and measures on 2^20 multiplication gates (≈1,048,576), trading more parties for lower communication. Reports better signing/verification time versus Picnic in a 16-party Picnic comparison at the cost of slightly larger signatures; implementation is promising but currently limited to binary fields.

AI-written summary · about

" chapters (10)

1. 0:00Intro
2. 0:45MPC-in-the Head
3. 1:31MPC in the head - Description
4. 3:35Efficient MPCitH protocols - Common features
5. 6:57Limbo: General construction
6. 9:15Limbo: MPC model
7. 11:01Improving soundness
8. 14:28Instantiating the MPC protocol
9. 16:55Performance
10. 18:51Optmizations

" related talks

• 41mMPC-in-the-Head based Zero Knowledge ProofsAmit Sahai · 2nd ZKProof Workshop 2019
• 05mπMPC: Automatic Security Proofs for MPC ProtocolsJoseph P. Near, Mako P. Bates · LAFI 2023
• 49mCompiling to preserve our privacyManohar Jonnalagedda, Jakob Odersky · Scala Days Lausanne 2019
• 44mIOP based Zero-Knowledge ProofsAlessandro Chiesa · 2nd ZKProof Workshop 2019
• 32mNew Techniques for Building Information-Theoretic Asynchronous MPC with Linear CommunicationYifan Song · Secure Computation 2025
• 33mInteraction Preserving Compilers for Secure ComputationGiulio Malavolta, Nico Döttling, Vipul Goyal, Justin Raizes · ITCS 2022
• 35mEfficient Zero Knowledge Protocols: The Modular ApproachYuval Ishai · 2nd ZKProof Workshop 2019
• 01h 31mIntroduction to Secure Multi-Party ComputationAhto Truu · ACCU 2023