David Wong

Results 393 comments of David Wong

changed the name to "generic-sized arrays" as this is what we are really targeting afterall!

I'm wondering why we didn't do that in the first place though, maybe the intention was to not allow the same variable names even across scopes so that when you...

yeah I can agree with that, so now the question is, should we remove this `disabled` field and just remove a var when it goes out of scope? Or was...

thanks again @Prabhat1308 !

related to https://github.com/zksecurity/noname/issues/34

agree that in the hint functions we should allow anything (early return, early break, large if-then-else statements, etc.) in the rest IMO we should not for now, as it would...

I don't think so because IMO it's a leaky abstraction, the user shouldn't care about what creates or doesn't create constraints. The fact that circom doesn't constrain anything on assert()...

So as long as a type implements a known signature (e.g. Type.add(Type) -> Type) we would automatically route a + to that function right? Sounds like a good idea

since this post is starting to get old, any recommendation from the community on what to use now?