MPC-in-Multi-Heads: A Multi-Prover Zero-Knowledge Proof System (or: How to Jointly Prove Any NP Statements in ZK)

Hongrui Cui,Kaiyi Zhang,Yu Chen,Zhen Liu,Yu Yu

DOI: https://doi.org/10.1007/978-3-030-88428-4_17

2021-01-01

Abstract:With the rapid development of distributed computing, the traditional zero-knowledge proofs (ZKP) are becoming less adequate for privacy-preserving applications in the distributed setting. Take "double financing" as an example: multiple financial providers jointly prove that the sum of their committed values is no more than a given threshold, which generalizes the "range proof" to the multiple-prover setting. Therefore, traditional zero-knowledge proof does not seemingly lend itself to this problem on its own. We identify and fill this gap by formalizing the ZKP system in the multi-prover setting (MPZK) that proves arbitrary NP statements with distributed witnesses. Our MPZK system offers zero-knowledge as long as one prover is honest (while others can collude arbitrarily), and thus is applicable to "double financing" , "credit checking" , and various other multi-prover applications. We then propose a generic black-box construction from multiparty computation, referred to as "MPC-in-Multi-Heads" , and prove its security under the simulation-based paradigm. We also offer a proof-of-concept implementation and present its experimental results.