User contributions
Jump to navigation
Jump to search
- 16:30, 19 October 2020 diff hist +70 Common Questions and Nuances
- 13:32, 19 October 2020 diff hist +44 Common Questions and Nuances
- 07:02, 18 October 2020 diff hist -22 Glossary →Glossary
- 06:47, 18 October 2020 diff hist -5 Glossary →Glossary
- 06:39, 18 October 2020 diff hist +16 Glossary →Glossary
- 06:39, 18 October 2020 diff hist +11 Glossary →Glossary
- 06:24, 18 October 2020 diff hist -48 IP = PSPACE Blanked the page Tag: Blanking
- 06:23, 18 October 2020 diff hist +48 N IP = PSPACE Created page with "<math>\lim_{z\rightarrow z_0} f(z)=f(z_0)</math>"
- 04:31, 17 October 2020 diff hist +25 Glossary →Glossary
- 22:50, 16 October 2020 diff hist +22 Glossary →Glossary
- 22:47, 16 October 2020 diff hist +95 N Kopis Created page with "A zkSNARK for R1CS that does not require trusted setup. Security relies on the SXDH assumption." current
- 22:46, 16 October 2020 diff hist +56 Zk in Implementation
- 22:45, 16 October 2020 diff hist +315 N 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..." current
- 22:43, 16 October 2020 diff hist +30 Glossary →Glossary
- 13:29, 14 October 2020 diff hist +200 N 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..." current
- 13:25, 14 October 2020 diff hist +26 Glossary →Glossary
- 13:21, 14 October 2020 diff hist +95 N 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." current
- 13:17, 14 October 2020 diff hist +39 Glossary →Glossary
- 13:17, 14 October 2020 diff hist +342 Groth16 current
- 13:12, 14 October 2020 diff hist +29 Common Questions and Nuances
- 13:11, 14 October 2020 diff hist +131 Common Questions and Nuances
- 13:10, 14 October 2020 diff hist +470 Groth16
- 13:04, 14 October 2020 diff hist +47 N Groth16 Created page with "Key points about Groth16: * It is pairing based"
- 13:02, 14 October 2020 diff hist +480 N 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..." current
- 12:59, 14 October 2020 diff hist +272 N 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..." current
- 12:56, 14 October 2020 diff hist +70 N Progression Free Sets Created page with "Used by Lipmaa to reduce the size of the Common Reference String (CRS)" current
- 12:52, 14 October 2020 diff hist +28 Glossary →Glossary
- 12:50, 14 October 2020 diff hist +57 Zk in Implementation
- 12:49, 14 October 2020 diff hist +20 Main Page
- 12:49, 14 October 2020 diff hist +35 Common Questions and Nuances
- 12:49, 14 October 2020 diff hist +56 Common Questions and Nuances
- 12:48, 14 October 2020 diff hist +148 Common Questions and Nuances
- 18:40, 15 July 2020 diff hist +263 Random Oracle Model current
- 18:35, 15 July 2020 diff hist +101 N 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" current
- 18:34, 15 July 2020 diff hist +81 N Common Questions and Nuances Created page with "* What is the relationship between a zk-snark and a Linear Interactive Proof?"
- 18:34, 15 July 2020 diff hist 0 Zk in Implementation
- 18:33, 15 July 2020 diff hist +54 N Zk in Implementation Created page with "- Pinocchio - Groth16 - Hyrax - Marlin"
- 18:25, 15 July 2020 diff hist +16 Generic Group Model current
- 18:25, 15 July 2020 diff hist -1 Generic Group Model →Context
- 18:25, 15 July 2020 diff hist +27 Generic Group Model
- 18:24, 15 July 2020 diff hist +1,421 N 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..."
- 16:45, 15 July 2020 diff hist +215 Glossary →Glossary
- 17:02, 7 July 2020 diff hist 0 Glossary →Glossary
- 17:02, 7 July 2020 diff hist +44 Glossary →Glossary
- 20:01, 6 July 2020 diff hist +49 Twist Security current
- 19:57, 6 July 2020 diff hist +105 N 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:"
- 19:56, 6 July 2020 diff hist +21 Glossary →Glossary
- 17:59, 2 July 2020 diff hist +15 List of all relevant zk-papers
- 18:40, 1 July 2020 diff hist 0 N Auxillary Input ZK Created blank page current
- 18:37, 1 July 2020 diff hist +25 Glossary →Glossary
