Behrouz Ayati

Results 5 issues of Behrouz Ayati

**Describe the bug** Research contribution key is not recognized. **Expected behavior** research is a valid key: https://allcontributors.org/docs/en/emoji-key **Screenshots** ![image](https://user-images.githubusercontent.com/75391306/163381098-cba41fcf-8cc0-4b3b-9790-3e93f4a1d35e.png)

bug

**Describe the bug** Research contribution key is not recognized. **Expected behavior** research is a valid key: https://allcontributors.org/docs/en/emoji-key **Screenshots** ![image](https://user-images.githubusercontent.com/75391306/163381098-cba41fcf-8cc0-4b3b-9790-3e93f4a1d35e.png)

bug
good first issue
priority: high
pinned
bug:confirmed

- I have searched open and closed issues and pull requests for duplicates, using these search terms: - 15-24 - I have checked the latest `main` branch to see if...

The following example shows that a redundant R1CS constraint is generated for a simple equation of the form `p(x) * q(x) == 0`, where p and q are linear: https://play.gnark.io/?id=3qia1dcndg...

When a hint is called on constant inputs the return value should be considered to be constant. This can greatly help in detecting constant wires and performing optimizations. Currently it...

question