All public logs

Combined display of all available logs of zkstacks. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 08:53, 1 July 2020 Srikar talk contribs created page Promise Problem (Created page with "A decision problem with some inputs excluded. More precisely, a promise problem Π consists of two disjoint sets of strings (ΠY, ΠN), corresponding to yes and no instances r...")
• 08:52, 1 July 2020 Srikar talk contribs created page SZK/OWF Characterization Theorem (Created page with "any problem having a computational zero-knowledge proof system can be described as a problem having a statistical zero-knowledge proof plus a set of yes instances from which w...")
• 08:42, 1 July 2020 Srikar talk contribs created page Statistical Soundness (Created page with "Soundness condition in a ZK protocol refers to the Prover's inability to convince the Verifier of an incorrect statement. In Statistical ZK, soundness holds even if the prov...")
• 08:28, 1 July 2020 Srikar talk contribs created page SNARK (Created page with "===Subversion ZK===")
• 00:24, 1 July 2020 Srikar talk contribs created page Key Theorems and Proofs (Created page with "IP = PSPACE")
• 00:17, 1 July 2020 Srikar talk contribs created page Random Oracle Model (Created page with "In cryptography, a random oracle is an oracle (a theoretical black box) that responds to every unique query with a (truly) random response chosen uniformly from its output dom...")
• 23:00, 30 June 2020 Srikar talk contribs created page Non Interactive Zero Knowledge Proofs (NIZK) (Created page with "This concept was first introduced in the paper.")
• 01:49, 30 June 2020 Srikar talk contribs created page Fiat-Shamir Heuristic (Created page with "==Example== For the algorithm specified below, readers should be familiar with the laws of modular arithmetic, especially with Multiplicative group of integers modulo n|...")
• 17:48, 25 June 2020 Srikar talk contribs created page Sigma Protocol (Created page with "===Sigma protocols=== Protocols which have the above three-move structure (commitment, challenge and response) are called ''sigma protocols''{{Citation needed|date=June 2017}...")
• 17:33, 25 June 2020 Srikar talk contribs created page Glossary (Created page with "<strong> In the zk world, there are many terms and definitions that might not be familiar to the uninitiated reader. This introduces a large hurdle for those interested in thi...")
• 05:45, 25 June 2020 Srikar talk contribs created page IP (Created page with "<math>E=mc^2</math>")
• 04:57, 25 June 2020 MediaWiki default talk created page Main Page

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)