Welcome to the resource topic for 2010/552
Title:
A Note on Zero-Knowledge Proofs of Knowledge and the ZKPOK Ideal Functionality
Authors: Carmit Hazay, 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.
ePrint: https://eprint.iacr.org/2010/552
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .