On the MPC-in-the-Head Paradigm and Limbo
Abstract: This talk will introduce the MPC-in-the-Head framework for constructing zero-knowledge proofs of knowledge and digital signatures and describe some schemes in detail. After presenting MPC-in-the-Head from MPC in the preprocessing model, we will describe the Picnic and BBQ schemes, both the in “circuit computation” paradigm. We will then describe the “circuit verification” paradigm and present the Banquet and Limbo schemes.
Bio: Cyprien de Saint Guilhem is a FWO Post-doctoral Fellow with the imec-COSIC research group at the KU Leuven, Belgium, where he researches MPC-based zero-knowledge proof systems and their provable post-quantum security. He obtained his PhD in 2020 from the University of Bristol after moving to COSIC in 2018. He has published work on authenticated key-exchange protocols, isogeny-based encryption and oblivious transfer, as well as MPC-in-the-Head zero-knowledge proof systems and digital signatures.