[Resource Topic] 2014/710: An Efficient Transform from Sigma Protocols to NIZK with a CRS and Non-Programmable Random Oracle

Welcome to the resource topic for 2014/710

Title:
An Efficient Transform from Sigma Protocols to NIZK with a CRS and Non-Programmable Random Oracle

Authors: Yehuda Lindell

Abstract:

In this short paper, we present a Fiat-Shamir type transform that takes any Sigma protocol for a relation R and outputs a non-interactive zero-knowledge proof (not of knowledge) for the associated language L_R, in the common reference string model. As in the Fiat-Shamir transform, we use a hash function H. However, zero-knowledge is achieved under standard assumptions in the common reference string model (without any random oracle), and soundness is achieved in the \emph{non-programmable} random oracle model. The concrete computational complexity of the transform is only slightly higher than the original Fiat-Shamir transform.

ePrint: https://eprint.iacr.org/2014/710

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 .