Clarify section 4.2 - Githubissues

AdamISZ / from0k2bp

From Zero (Knowledge) to Bulletproofs - writeup

157 stars 16 forks source link

Clarify section 4.2 #6

Closed jnewbery closed 6 years ago

jnewbery commented 6 years ago

A couple of places that tripped me up in section 4.2:

existing wording made it sound like dx and dy were commitments rather than nonce vectors, which the prover then sends commitments to. I've added some suggested wording changes to make this clearer.
currently, section 4.2 says that a commitment to the dot product is sent in the challenge step. I believe this should say the commitment step.

AdamISZ commented 6 years ago

The first one: yes, totally agreed, the existing wording is not viable, and nonce vector is a good replacement name for the d_x, d_y terms. The second one: yep, thanks. I'll merge both these PRs and update the pdf now, thanks for the review.