zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
181 stars 47 forks source link

make `private_input_indices` track `CellVar`s #39

Closed mimoo closed 4 months ago

mimoo commented 6 months ago

I think private_input_indices should keep track of CellVars instead of indices, as indices is a backend implementation detail.

Maybe we should remove the pub in CellVar { pub index: usize and see what breaks?

lognorman20 commented 4 months ago

Just opened a tiny PR addressing this issue