MPC in Multi Heads

This paper is about extending the classical [IKOS07] MPC in the Head framework to prove statements that are shared among multiple provers.

This is somewhat dual to the distributed ZKP object. I gave a talk about this Crypto 2019 paper.

Published as A Multi-Prover Zero-Knowledge Proof System. In European Symposium on Research in Computer Security (pp. 332-351). Springer, Cham. PDF