Key Theorems and Proofs

• IP = PSPACE
• Fiat Shamir is Secure in ROM
• Fiat Shamir is Insecure if ROM does not exist
• One-shot ZK is impossible in the standard model
• NIZK is possible in the CRS model
• Complexity class SZKP is closed under complement
• CZKA versus co-CZKA symmetry theorem
• SZKA versus CZKP symmetry theorem