A Generic Transform from Multi-Round Interactive Proof to NIZK

ePrint Report: A Generic Transform from Multi-Round Interactive Proof to NIZK

Pierre-Alain Fouque, Adela Georgescu, Chen Qian, Adeline Roux-Langlois, Weiqiang Wen

We present a new generic transform that takes a multi-round interactive proof for the membership of a language $\mathcal{L}$ and outputs a non-interactive zero-knowledge proof (not of knowledge) in the common reference string model. Similar to the Fiat-Shamir transform, it requires a hash function $\mathsf{H}$. However, in our transform the zero-knowledge property is in the standard model, and the …

chen eprint report function hash hash function knowledge language non reference report