Key Theorems and Proofs
Revision as of 15:07, 1 May 2021 by Test account (talk | contribs)
- 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
- SZK/OWF Characterization Theorem
