• Language
• NP
• Statement
• Witness
• Witness Relation
• Common Reference String (CRS) Model
• Reference String Model
• Public Parameter Model
• Common Random String Model
• Non Malleability
• NIZK Proof
• Signature of Knowledge
• NIZK Proof System
• Perfect Completeness
• Circuit
• Proving Key
• Verification Key