http://161.35.113.184/api.php?action=feedcontributions&feedformat=atom&user=Test+account+2zkstacks - User contributions [en]2026-04-06T16:39:50ZUser contributionsMediaWiki 1.33.0http://161.35.113.184/index.php?title=Key_Theorems_and_Proofs&diff=139Key Theorems and Proofs2021-05-01T15:11:09Z<p>Test account 2: </p>
<hr />
<div>*[[IP = PSPACE]]<br />
*[[Fiat Shamir is Secure in ROM]]<br />
*[[Fiat Shamir is Insecure if ROM does not exist]]<br />
*[[One-shot ZK is impossible in the standard model]]<br />
*[[NIZK is possible in the CRS model]]<br />
*[[Complexity class SZKP is closed under complement]]<br />
*[[CZKA versus co-CZKA symmetry theorem]]<br />
*[[SZKA versus CZKP symmetry theorem]]<br />
*[[SZK/OWF Characterization Theorem]]<br />
edit</div>Test account 2