NIZK for NP ⇒ NIZK Fully-black-box reduction · standard model · folklore · security loss: none Statement A NIZK proof system for NP is a NIZK proof system — folklore.