changed first run index on pag12 (from 1 to 0) and underlined C_0 has to be constant

AdamISZ / from0k2bp

From Zero (Knowledge) to Bulletproofs - writeup

157 stars 16 forks source link

changed first run index on pag12 (from 1 to 0) and underlined C_0 has to be constant #17

Open baro77 opened 2 years ago

baro77 commented 2 years ago

On page 12, changed first run index from 1 to 0 to be coherent with m+1 number of runs

baro77 commented 2 years ago

I have studied better the knowledge extractor proof on page 11-14 and issue #9 seems correct, even if for a wrong reason as I have explained in the issue. So I'm integrating this PR (and editing its title consequently) with: C_{0,i} -> C_0

I'm not squashing to make it possible to explore the changes history, anyway available to do it if required by this repo's PR netiquette.