NIZK proofs with a common random string ⇒ NIZK

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

Statement

A NIZK proof in the common random string model is a NIZK proof system whose reference string happens to be uniform, so it meets every requirement of the general notion — folklore.