Difference between revisions of "Key Theorems and Proofs"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
*[[Fiat Shamir is Insecure if ROM does not exist]] | *[[Fiat Shamir is Insecure if ROM does not exist]] | ||
*[[One-shot ZK is impossible in the standard model]] | *[[One-shot ZK is impossible in the standard model]] | ||
| + | *[[NIZK is possible in the CRS model]] | ||
