NIZK argument for NP ⇒ Non-adaptively sound NIZK argument for NP

Fully-black-box reduction · CRS model · folklore · security loss: none

Statement

A NIZK argument for NP is non-adaptively sound: a prover that fixes its false statement before seeing the reference string is a special adaptive prover — folklore.