Commit-and-Prove and Encrypt-and-Prove Zero-Knowledge Proof Systems WG Charter

This is a draft proposal.

Motivation

Commit-and-Prove Zero-Knowledge Proof systems (CP-ZKPs) are a generalization of zero-knowledge proofs in which the prover proves statements about values that are committed. Similarly, Encrypt-and-Prove proof systems allow the prover to prove statements about values that are encrypted.

Scope of the working group and standard

The primary scope of the working group is standardizing terminology, definitions and protocols for commit-and-prove and encrypt-and-prove zero-knowledge proofs. While this standard will need to consider some specific commitment/encryption schemes, the standardization of these commitment/encryption schemes is a goal of the Primitives WG.

Milestones

1. Agree on how to merge the results, goals, drafts etc. of the commit-and-prove and SAVER working groups.
2. Agree on a preliminary set of goals and open the discussion to the community.
3. Decide the content of the standardization draft proposal (notions, terminology, which commitment/encryption schemes and commit/encrypt-and-prove schemes).
4. Describe generic construction methodologies and specify concrete schemes for both commit-and-prove and encrypt-and-prove proof systems.

Relation with other ZKProof working groups

This working group is the result of a merge of the commit-and-prove and SAVER working groups.
Some of the goals of this WG (in particular, the standardization of commitment schemes) are related to the activities of the ZKP-friendly Primitives WG.