Difference between revisions of "Key Theorems and Proofs"

From zkstacks
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]]

Revision as of 00:46, 1 July 2020