Behrouz Ayati
Behrouz Ayati
I think it's the only keyword missing and I think `research` itself is a good keyword. By the way I think that would be great if you guys could add...
Thank you so much for the quick reply. I just had another question. How can I print constraints like the playground? What function should I use?
> Hmm, I'm not sure this may always be true. We could also use hints for obtaining randomness or potentially I/O. Can't we possibly say that in those cases actually...
For example `bits.ToBinary(api, 14, bits.WithNbDigits(4))` currently generates 5 constraints. I changed the code of `toBinary` to this: ```go func toBinary(api frontend.API, v frontend.Variable, opts ...BaseConversionOption) []frontend.Variable { // parse options...
The thing is, if the constant property gets propagated correctly, in most cases we won't need to handle constants by defining a lot of if-else clauses. Assume I'm writing a...
> Hint functions are not uniquely determined! This means that the prover/solver can swap hint functions at runtime. Here we are replacing the output of the hint with a constant...
> Optimizer(compiler) cannot know that q = 2 as it doesn't know what is divHint. Right now it is only for simplicity that we provide the function pointer to NewHint...
> Would be interested to check your branch and tell if my circuit is simplified I'd be more than happy if that could be useful for you.