Start-to-end ZKP recipes #51
Description
Produce various start-to-end examples that showcase how ZKPs can be used in practice. Each such contribution should be reasonably concise (not more than two pages) and contain the following five items:
- 1. Describe at a high level the application setting and privacy goal
- 2. Exemplify in concrete: a statement, a witness and an instance (see sections 1.1--1.3)
- 3. Describe how to fit the problem into a ZKP paradigm (see section 2.3)
- 4. Describe and give rationale for choosing a backend and frontend (see sections 3.2--3.3)
- 5. Include a figure or diagram for visual aid (if applicable also showing gadgets) (see section 4.4 and issue Add various new diagrams #47)
The editors will integrate a collection of these examples (recipes) in a new section, with possible adjustments for consistency of presentation. Based on received examples, we may also try to find a template format to fit all such examples.