Difference between revisions of "Key Theorems and Proofs"
Jump to navigation
Jump to search
(Created page with "IP = PSPACE") |
|||
| Line 1: | Line 1: | ||
| − | [[IP = PSPACE]] | + | *[[IP = PSPACE]] |
| + | *[[Fiat Shamir is Secure in ROM]] | ||
| + | *[[Fiat Shamir is Insecure if ROM does not exist]] | ||
