Paper 2017/229 Original: eprint.iacr.org/2017/229 ↗
Multi-Prover Interactive Proofs: Unsound Foundations
Abstract
Several Multi-Prover Interactive Proofs (MIPs) found in the literature contain proofs of soundness that are lacking. This was first observed by Crépeau, Salvail, Simard and Tapp who defined a notion of {Prover isolation} to partly address the issue. Furthermore, some existing Zero-Knowledge MIPs suffer from a catastrophic flaw: they outright allow the Provers to communicate via the Verifier. Consequently, their soundness claims are now seriously in doubt, if not plain wrong. This paper outlines the lack of isolation and numerous other issues found in the (ZK)MIP literature. A follow-up paper will resolve most of these issues in detail.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2017-06-10: last updated
- 2017-03-08: published
- Short URL
- https://ia.cr/2017/229
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2017/229,
author = {Claude Crépeau and Nan Yang},
title = {Multi-Prover Interactive Proofs: Unsound Foundations},
howpublished = {Cryptology {ePrint} Archive, Paper 2017/229},
year = {2017},
url = {https://eprint.iacr.org/2017/229}
}