Abstract
In this talk, we will introduce zero knowledge proof systems. We will discuss the MPC-in-the-head paradigm that allows the design of a zero-knowledge proof system for all of NP starting from *any* secure multiparty computation protocol (MPC). We will show how this simple idea is powerful enough to obtain efficient implementations by using the "right" MPC. We will conclude with other applications of the MPC-in-the-head paradigm beyond zero knowledge.