http://161.35.113.184/api.php?action=feedcontributions&feedformat=atom&user=Test+accountzkstacks - User contributions [en]2026-04-06T16:39:57ZUser contributionsMediaWiki 1.33.0http://161.35.113.184/index.php?title=Key_Theorems_and_Proofs&diff=138Key Theorems and Proofs2021-05-01T15:07:16Z<p>Test account: </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]]</div>Test account