David Wong
David Wong
yes, and sg!
I think `.len()` would be better, or even a `len()` builtin function that works on any type :D
we are moving away from hints yeah, see https://github.com/zksecurity/noname/issues/38
I think either the backend always accepts constants or vars in its functions OR it exposes different functions for vars and constants. I believe we have done the latter so...
Btw constants as field might still be useful. For example, if we want to track the bit number of something and only perform mod reductions or range checks when the...
btw I'm not convinced that these are harmless, we should have a serious pass to ensure that we don't need to perform any checks on these variables in the typechecker...
hey sorry but let's pun on this for now, as I think there were too many potentially dangerous changes :o
note that maybe going the golang way would be interesting? (any `.go` file under the same folder is accessible without importing, like it's all part of the same file)
^ as discussed privately I don't think this is a good approach (I need to copy/paste the arguments I had here)
I think essentially this will come down to just providing these things as libraries, where a backend can provide its own library. So kimchi's poseidon should be provided via something...