guipublic
guipublic
When the partial witness generator (tries to) solves a gate, it now returns a GateResolution enum indicating if the error it got (if any). However, for custom gates, it needs...
### Problem The doc snippet in the big int test (the function big_int_example(..)), from PR #4487, has been disabled because it fails verification. ### Happy Case The code should verify....
# Problem In noir, the size of integers types are restricted to half of the field modulus. However to implement cryptographic schemes, for instance those based on EC operations, we...
### Problem eddsa_verify_with_hasher (from PR #4440) is taking a hasher as parameter. However the hasher can have some pre-seeded state which will muck with the verification algorithm. ### Happy Case...
### Problem The field attribute allows to conditionally compile a function depending on the noir field. However, if a module if defined for a specific field, you have to define...
# Description ## Problem\* Resolves #5211 ## Summary\* Just use the correct type and adapt brillig curve blackboxes for the new type ## Additional Context ## Documentation\* Check one: -...
# Description ## Problem\* The PR uses the keccak permutation blackbox function in order to implement Keccak256 in Noir. ## Summary\* The Noir implementation is added to the stdlib and...
# Description ## Problem\* Resolves Zac issue on using comptime let statements ## Summary\* A let statement evaluates to a unit value, so replacing it with its evaluation is incorrect....
# Description ## Problem\* Resolves #5259 ## Summary\* refactor the square and multiply ## Additional Context ## Documentation\* Check one: - [X] No documentation needed. - [ ] Documentation included...
# Description ## Problem\* Related to #5101 ## Summary\* Add the number of brillig opcodes in the info command ## Additional Context ## Documentation\* Check one: - [X] No documentation...