Paper 2012/495

"Metaproofs" (and their Cryptographic Applications)

Alfredo De Santis and Moti Yung

Abstract

We develop a non-interactive proof-system which we call "Metaproof" (mu-NIZK proof system); it provides a proof of "the existence of a proof to a statement". This meta-mathematical notion indeed seems redundant when we deal with proving NP statements, but in the context of zero-knowledge theory and cryptography it has a large variety of applications. Combined with another tool we develop which we call "on-line simulatable NIZK proof system", it is the key tool used to solve the open problem of the existence of a many prover non-interactive zero-knowledge system (MP-NIZK proof system). This problem was presented by Micali when the important notion of non-interactive zero-knowledge proofs (NIZK) was first suggested and implemented for a sole prover. The solution immensely enlarges the domain of applications of the NIZK model. The work also provides a new connection between bounded (single-theorem) non-interactive zero-knowledge proofs and the unbounded (multi-theorem) one. This may help in reducing the complexity assumption upon which to base NIZK systems. Remark: This is a full version (with more details, more material, and with new proofs) of the Crypto 1990 paper on Metaproof. Over the years, the concept has been used and reinvented for specific settings beyond the original ones, by others; (which has made it more useful). Recently, we were asked about this paper and about details, so here they are! For historical reasons, except for this remark, this version is presented as it was in the above mentioned date under the above affiliations, though we did not pursue publication before!

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
Published elsewhere. Crypto 1990 preliminary version (without proof and with emphasis on applications)
Keywords
cryptographic protocols
Contact author(s)
moti @ cs columbia edu
History
2012-09-03: received
Short URL
https://ia.cr/2012/495
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2012/495,
      author = {Alfredo De Santis and Moti Yung},
      title = {"Metaproofs" (and their Cryptographic Applications)},
      howpublished = {Cryptology {ePrint} Archive, Paper 2012/495},
      year = {2012},
      url = {https://eprint.iacr.org/2012/495}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.