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)

• 14:36, 7 May 2021 Vineet talk contribs created page Testing (Created page with "{| class="wikitable sortable" |- ! Fruit !! Price |- | Apples || £0.95 |- | Oranges || £0.85 |- | Pears || £1.15 |- | Purple mangosteen || £1.05 |}")
• 14:35, 7 May 2021 Vineet talk contribs changed group membership for Vineet from bureaucrat and administrator to bureaucrat, administrator and writer
• 22:38, 4 May 2021 Srikar talk contribs created page Zk Implementation Tutorial from 0-1 (Created page with "Before beginning with the ZK journey, it is good to keep in mind the hardware requirements and the machines being used. AWS - EC2 instance -")
• 22:32, 4 May 2021 Srikar talk contribs created page DARK (Created page with "Refers to a Diophantine Argument of Knowledge.")
• 19:27, 4 May 2021 Srikar talk contribs created page How does generating the SRS with secure MPC work? (Created page with "A good blog post from the Qedit team https://medium.com/qed-it/diving-into-the-snarks-setup-phase-b7660242a0d7")
• 06:37, 4 May 2021 Srikar talk contribs created page Plonk (Created page with "Plonk is a general purpose zk-scheme that has a universal and updateable setup [https://vitalik.ca/general/2019/09/22/plonk.html].")
• 07:07, 3 May 2021 Srikar talk contribs created page Kate Commitments (Created page with "It is a type of Polynomial Commitments.")
• 07:05, 3 May 2021 Srikar talk contribs created page Polynomial Commitment Scheme (Created blank page)
• 17:02, 2 May 2021 Srikar talk contribs created page Zk in Blockchain and Cryptocurrency (Created page with "Zk Rollups")
• 16:56, 2 May 2021 Srikar talk contribs changed group membership for PratyushRTiwari from (none) to writer
• 16:53, 2 May 2021 Srikar talk contribs changed group membership for Srikar from bureaucrat, interface administrator and administrator to bureaucrat, interface administrator, administrator and writer
• 15:35, 1 May 2021 Vineet talk contribs changed group membership for Elrond from (none) to writer
• 15:34, 1 May 2021 User account PratyushRTiwari talk contribs was created
• 15:32, 1 May 2021 User account Elrond talk contribs was created
• 15:11, 1 May 2021 User account Test account 2 talk contribs was created
• 15:07, 1 May 2021 User account Test account talk contribs was created
• 15:04, 1 May 2021 User account Vineet talk contribs was created
• 14:58, 28 April 2021 Srikar talk contribs created page What are the R1CS constraints of a cryptocurrency system like ZCash? (Created page with "This was answered fairly well by the stackexchange post: https://crypto.stackexchange.com/questions/65927/what-is-the-precise-np-statement-of-zcash In particular, some high l...")
• 14:50, 28 April 2021 Srikar talk contribs created page LibSnark Library (Created page with "The libsnark library contains an implementation for zk preprocessing of the R1CS NP-Complete language.")
• 06:23, 18 October 2020 Srikar talk contribs created page IP = PSPACE (Created page with "<math>\lim_{z\rightarrow z_0} f(z)=f(z_0)</math>")
• 22:47, 16 October 2020 Srikar talk contribs created page Kopis (Created page with "A zkSNARK for R1CS that does not require trusted setup. Security relies on the SXDH assumption.")
• 22:45, 16 October 2020 Srikar talk contribs created page Computation Commitments (Created page with "First introduced in SPARTAN, this method involves the verifier $V$ committing to the structure of the NP statement that is to be proved. While this requires at least linear co...")
• 13:29, 14 October 2020 Srikar talk contribs created page Preprocessing SNARK (Created page with "A non-interactive argument where: * Verifier runs in time polynomial in \lambda + |\phi|, where \lambda = security parameter, \phi = statement. * Proof size is polynomial in...")
• 13:21, 14 October 2020 Srikar talk contribs created page Type 1 Bilinear Group (Created page with "For a bilinear group defined over groups G_{1} and G_{2}, If G1=G2, it is referred to as Type1.")
• 13:04, 14 October 2020 Srikar talk contribs created page Groth16 (Created page with "Key points about Groth16: * It is pairing based")
• 13:02, 14 October 2020 Srikar talk contribs created page LIP (Created page with "Bitansky et al. [BCI+13] give an abstract model of SNARKs that rely on linear encodings of field elements. Their information theoretic framework called linear interactive proo...")
• 12:59, 14 October 2020 Srikar talk contribs created page SSP (Created page with "SSP = Square Span Programs. They are a refinement of Quadratic Span Programs. Danezis, Fournet, Groth and Kohlweiss [DFGK14] refined quadratic span programs to square span pro...")
• 12:56, 14 October 2020 Srikar talk contribs created page Progression Free Sets (Created page with "Used by Lipmaa to reduce the size of the Common Reference String (CRS)")
• 18:35, 15 July 2020 Srikar talk contribs created page What is the relationship between a zk-snark and a Linear Interactive Proof? (Created page with "https://crypto.stackexchange.com/questions/61827/is-a-zk-snark-the-hash-of-a-linear-interactive-proof")
• 18:34, 15 July 2020 Srikar talk contribs created page Common Questions and Nuances (Created page with "* What is the relationship between a zk-snark and a Linear Interactive Proof?")
• 18:33, 15 July 2020 Srikar talk contribs created page Zk in Implementation (Created page with "- Pinocchio - Groth16 - Hyrax - Marlin")
• 18:24, 15 July 2020 Srikar talk contribs created page Generic Group Model (Created page with "From Koblitz-Menezes: https://eprint.iacr.org/2006/230.pdf In the ring of integers modulo an RSA-modulo N or the multiplicative group of a finite field, there are subexponenti...")
• 19:57, 6 July 2020 Srikar talk contribs created page Twist Security (Created page with "Every elliptic curve over a finite field has a related curve known as its twist. The twist is defined as:")
• 18:40, 1 July 2020 Srikar talk contribs created page Auxillary Input ZK (Created blank page)
• 17:43, 1 July 2020 Srikar talk contribs created page 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...")
• 17:01, 1 July 2020 Srikar talk contribs created page 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...")
• 16:59, 1 July 2020 Srikar talk contribs created page 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...")
• 16:55, 1 July 2020 Srikar talk contribs created page List of all relevant zk-papers (Created page with "* The Knowledge Complexity of Interactive Proof Systems")
• 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)