Difference between revisions of "Key Theorems and Proofs"
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
*[[NIZK is possible in the CRS model]] | *[[NIZK is possible in the CRS model]] | ||
*[[Complexity class SZKP is closed under complement]] | *[[Complexity class SZKP is closed under complement]] | ||
| + | *[[CZKA versus co-CZKA symmetry theorem]] | ||
| + | *[[(SZKA versus CZKP symmetry theorem]] | ||
