Difference between revisions of "Key Theorems and Proofs"
Jump to navigation
Jump to search
(Created page with "IP = PSPACE") |
|||
| (11 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
| − | [[IP = PSPACE]] | + | *[[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]] | ||
Latest revision as of 17:01, 2 May 2021
- 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
