Difference between QAPs and linear PCPs

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

Difference between QAPs and linear PCPs #19

Open daniben31 opened 5 years ago

daniben31 commented 5 years ago

Proposed contribution: to outline similarities and differences between the QAP primitive and linear PCPs, and why QAPs are not just an example of a linear PCPs.

Related locations: section 1 (security), when defining linear PCPs

Proposed contributors: Mariana Raykova

Contribution context: Discussed at the breakout session discussing the ZKProof Community Reference documment.

0xKarl98 commented 5 years ago

@daniben31 still available? I just got some time to write this ~

luisbran commented 5 years ago

In the updated document structure, this topic fits in section 2.1 ("Taxonomy of Constructions"), and possibly also in 2.3.x ("Several construction paradigms"). See also the related issue #17 ("Add explanations about ZKP paradigms").

0xKarl98 commented 5 years ago

@luisbran OK, I'll handle that , just to make sure that these contribution needs are still available ~

brandaonist commented 4 years ago

See review-comment PEC7 from 2020. [Also relates to issue #17]