search

zkpstandard / zkreference

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

Compare circuits vs. R1CS #13

Closed luisbran closed 4 years ago

luisbran commented 5 years ago

Proposed contribution: The “security/theory” track is mentioning Boolean circuits but not R1CS. The “implementation” track is focused on R1CS without explaining why/when it is preferable to a circuit representation. Consider explaining better (in the “security” track) what is R1CS. Consider introducing and exemplifying a circuit-to-R1CS translation and/or vice-versa. Consider clarifying better in the “implementation” track why the focus is on R1CS, for example compared with circuits.

Related locations: Chapters 1 (security/theory) and 2 (implementation)

Proposed contributors: Needs contributors

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

hasinitg commented 5 years ago

I would like to work on this contribution.

Thanks, Hasini.

0xKarl98 commented 5 years ago

IM willing to be part of this !

daniben31 commented 5 years ago

I have invited both of you to the contributors team, as soon as you accept we will assign this issue to both of you. Looking forward to the contribution!

hasinitg commented 5 years ago

Thanks @daniben31. I have accepted it.

daniben31 commented 5 years ago

For the record, @DecentrilizedMan just submitted an initial document:

contributor_tex (1).pdf