All public logs
Jump to navigation
Jump to search
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)- 12:54, 9 November 2021 User account ShawnSoul69 talk contribs was created
- 06:11, 9 November 2021 User account SerenaShowalter talk contribs was created
- 19:12, 8 November 2021 User account JermaineLefevre talk contribs was created
- 21:11, 4 November 2021 User account KeeleyClow talk contribs was created
- 21:22, 2 November 2021 User account WilhelminaClafli talk contribs was created
- 15:56, 1 November 2021 User account KathrynBrinson4 talk contribs was created
- 11:29, 29 October 2021 User account FidelMathis1517 talk contribs was created
- 19:53, 28 October 2021 User account FannyKisch talk contribs was created
- 21:45, 3 October 2021 User account LulaBosanquet talk contribs was created
- 03:50, 2 October 2021 User account PatsySabo65551 talk contribs was created
- 08:51, 15 July 2021 User account ErnieKlem1 talk contribs was created
- 23:32, 12 July 2021 User account PeterVaughn talk contribs was created
- 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")
