Consider settings with concurrency

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

Consider settings with concurrency #11

Open luisbran opened 5 years ago

luisbran commented 5 years ago

Proposed contribution: Make explicit considerations for settings with concurrency. For example, do the prover and verifier know in which session they are interacting? Consider mentioning the possible use of session ids. How to ensure non-malleability?

Related locations: Chapter 1 (security/theory)

Proposed contributors: needs contributors

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

brandaonist commented 4 years ago

See review-comment PEC5 from 2020. Locations in ZkpComRef-0.2 to revise: sub-section 1.6.5. The effect of "concurrency" should also be revisited in the chapters of implementation and applications.