daniben31
commented
5 years ago More specifically, we would like to discuss the modular approach to constructing ZKPs, such as the one that Yuval Ishai presented at the workshop.
As I see it there are five different approaches:
- Bilinear pairings (such as Pinnochio and Groth16 SNARKs)
- Discrete Logarithm (such as Bulletproofs)
- GKR framework using sumchecks (such as GKR08 and Hyrax)
- IOP based (such as STARKs and Aurora)
- MPC-in-the-head (such as ZKBoo and Ligero)
It would be great to get some of the people behind the schemes to write a paragraph about these frameworks.
Proposed contribution: Produce a high-level description, tentatively with not more than two pages, for each of several paradigms that enable zero-knowledge proofs. Mention comparative advantages/disadvantages and if possible include an illustrative figure and/or example. For example, describe ZKP paradigms based on "MPC in the head", "garbled circuits", etc.
Related locations: One new subsection ("2.x.y") per explained paradigm, to be included inside the chapter (2) on "ZKP paradigms" that will be created from the starting point of the current Section 1.8 (taxonomy of constructions).
Proposed contributors: Tentatively one or two contributors per described paradigm.
Contribution context: Related to the editorial development of the reference document, namely to make the content more understandable by non-experts. See related issue "Implement editorial structural changes".