Cryptology ePrint Archive: Report 2010/552
A Note on Zero-Knowledge Proofs of Knowledge and the ZKPOK Ideal Functionality
Carmit Hazay and Yehuda Lindell
Abstract: In this note, we provide a formal proof of the fact that any protocol that is a zero-knowledge proof of knowledge for a relation $R$ is also a secure protocol for the zero-knowledge proof of knowledge functionality, where the latter is defined according to the standard framework of stand-alone secure computation. Although this is a well-known fact, to the best of our knowledge, no full proof of this has been published.
Category / Keywords: foundations /
Publication Info: This is an excerpt from the book "Efficent Secure Two-Party Protocols" by the authors.
Date: received 28 Oct 2010
Contact author: lindell at cs biu ac il
Available format(s): PDF | BibTeX Citation
Version: 20101101:164357 (All versions of this report)
Short URL: ia.cr/2010/552
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]