User contributions
Jump to navigation
Jump to search
- 17:43, 1 July 2020 diff hist +211 N Completeness Created page with "In the context of ZKP, Completeness refers to the ability of a prover to convince the verifier that a true statement is indeed true. I.e. A prover should be able to generate a..." current
- 17:41, 1 July 2020 diff hist +19 Glossary →Glossary
- 17:37, 1 July 2020 diff hist +23 Glossary →Glossary
- 17:37, 1 July 2020 diff hist +35 Glossary →Glossary
- 17:03, 1 July 2020 diff hist +68 List of all relevant zk-papers
- 17:01, 1 July 2020 diff hist +1,162 N Arthur-Merlin Games: A Randomized Proof System, and a Hierarchy of Complexity Classes Created page with "Independently of GMR, and published in the same STOC ’85, was a paper of Babai, Trading Group Theory for Randomness. This paper was later published in journal version as Art..." current
- 16:59, 1 July 2020 diff hist +1,882 N The Knowledge Complexity of Interactive Proof Systems Created page with "The story of the PCP Theorem begins at MIT in the early 1980s, with a paper that would win the first ever G ̈odel Prize: The Knowledge Complexity of Interactive Proof Systems..." current
- 16:58, 1 July 2020 diff hist +91 List of all relevant zk-papers
- 16:55, 1 July 2020 diff hist -1 List of all relevant zk-papers
- 16:55, 1 July 2020 diff hist +59 N List of all relevant zk-papers Created page with "* The Knowledge Complexity of Interactive Proof Systems"
- 08:55, 1 July 2020 diff hist +29 Glossary →Glossary
- 08:55, 1 July 2020 diff hist +917 Promise Problem current
- 08:53, 1 July 2020 diff hist -231 Promise Problem
- 08:53, 1 July 2020 diff hist +667 N 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 diff hist +22 Glossary →Glossary
- 08:52, 1 July 2020 diff hist 0 SZK/OWF Characterization Theorem current
- 08:52, 1 July 2020 diff hist +210 N 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:51, 1 July 2020 diff hist +38 Key Theorems and Proofs
- 08:50, 1 July 2020 diff hist -1 Key Theorems and Proofs
- 08:50, 1 July 2020 diff hist +82 Key Theorems and Proofs
- 08:47, 1 July 2020 diff hist +54 Key Theorems and Proofs
- 08:45, 1 July 2020 diff hist +31 Statistical Soundness current
- 08:44, 1 July 2020 diff hist +74 Statistical Soundness
- 08:42, 1 July 2020 diff hist +212 N 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 diff hist +19 N SNARK Created page with "===Subversion ZK==="
- 08:24, 1 July 2020 diff hist +11 Glossary →Glossary
- 08:20, 1 July 2020 diff hist +12 Glossary →Glossary
- 08:16, 1 July 2020 diff hist +58 Glossary →Glossary
- 00:50, 1 July 2020 diff hist +35 Main Page →Contents
- 00:47, 1 July 2020 diff hist +51 Glossary →Glossary
- 00:46, 1 July 2020 diff hist +39 Key Theorems and Proofs
- 00:46, 1 July 2020 diff hist +53 Key Theorems and Proofs
- 00:29, 1 July 2020 diff hist +86 Key Theorems and Proofs
- 00:24, 1 July 2020 diff hist +15 N Key Theorems and Proofs Created page with "IP = PSPACE"
- 00:17, 1 July 2020 diff hist +1,425 N 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..."
- 00:08, 1 July 2020 diff hist +2,691 Fiat-Shamir Heuristic →Security current
- 00:08, 1 July 2020 diff hist -2,948 Fiat-Shamir Heuristic →References
- 00:07, 1 July 2020 diff hist +119 Fiat-Shamir Heuristic →Assumptions
- 23:17, 30 June 2020 diff hist 0 Fiat-Shamir Heuristic →Assumptions
- 23:17, 30 June 2020 diff hist +47 Fiat-Shamir Heuristic →Assumptions
- 23:15, 30 June 2020 diff hist +31 Fiat-Shamir Heuristic
- 23:14, 30 June 2020 diff hist +2 Fiat-Shamir Heuristic
- 23:14, 30 June 2020 diff hist +25 Fiat-Shamir Heuristic →Example
- 23:13, 30 June 2020 diff hist +1 Fiat-Shamir Heuristic
- 23:13, 30 June 2020 diff hist -196 Fiat-Shamir Heuristic
- 23:12, 30 June 2020 diff hist -13 Fiat-Shamir Heuristic
- 23:11, 30 June 2020 diff hist +42 Fiat-Shamir Heuristic
- 23:08, 30 June 2020 diff hist -21 Fiat-Shamir Heuristic
- 23:00, 30 June 2020 diff hist +47 N Non Interactive Zero Knowledge Proofs (NIZK) Created page with "This concept was first introduced in the paper." current
- 22:59, 30 June 2020 diff hist +51 Glossary →Glossary
