Difference between revisions of "Key Theorems and Proofs"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
*[[Fiat Shamir is Secure in ROM]] | *[[Fiat Shamir is Secure in ROM]] | ||
*[[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]] | ||