Witness Authenticating NIZKs and Applications

ePrint Report: Witness Authenticating NIZKs and Applications

Hanwen Feng, Qiang Tang

We initiate the study of witness authenticating NIZK proof systems (waNIZKs), in which one can use a witness $w$ of a statement $x$ to identify whether a valid proof for $x$ is indeed generated using $w$. Such a new identification functionality enables more diverse applications, and it also puts new requirements on soundness that: (1) no adversary can generate a valid proof that will not be identified by any …

applications eprint report generated identification identify indeed proof report statement study systems tang valid