search

zkpstandard / zkreference

The official repository hosting the ZKProof Community Reference & Proposals documents.
https://community.zkproof.org/c/zkproof-2019
102 stars 12 forks source link

Clarify Proofs of Knowledge #2

Closed luisbran closed 4 years ago

luisbran commented 5 years ago

Proposed contribution: make a clearer distinction of ZK proofs of membership vs. ZK proofs of knowledge, including by means of examples and definitions; clarify how the formalism can adequately model proofs of knowledge; may also include a definition of “extractability” property/game.

Related locations: sections 1.1 and 1.5.3

Proposed contributors: the NIST-PEC team (Luís B., René P., Angela R.)

Contribution context: proposed in the "NIST comments on the initial ZKProof documentation" (April 06, 2019) --- item C7.

luisbran commented 5 years ago

Our initial contribution is detailed in section 3 ("Proposal about Proofs of Knowledge") of the "NIST-PEC contributions to advance the draft ZKProof Community Reference from version 0.1 to 0.2"

luisbran commented 5 years ago

We updated the text of our contributions on Oct 10, 2019