algorand/pointproofs

Typo in the paper?

Closed this issue · 4 comments

3for commented

I'm reading the paper ,I‘m not sure if the expression is right?
1)m' instead of m'[S] ?
image
2)Commit number is nz(m), while Prove is nz(m)-1
image

Thank you for the corrections. You are right, and we'll update these in the next eprint update.

3for commented

3)2l instead of 3l
image

No, actually 3l -- for a rather subtle reason in the proof.

Eprint updated https://eprint.iacr.org/2020/419. Thanks!