guipublic
guipublic
I also think you mostly agree, and generating a warning is a simple way to allow the user to opt-out. We could add a flag that says: --no-warnings and treat...
Unsued variables is a source of missing constraint when you manually write your own constraints. With Noir, the compiler writes the constraints for you and it does not forget one....
"ToBits" is unreachable here because it is not handled by Barretenberg, it is transformed into arithmetic constraints before. - Should I explain this in a comment? - Would it make...
> Should it be a builtin noir function instead? It is a builtin noir function! cf. std::to_bits(..)
Jeq means JumpOnEqual and Jne means JumpOnNotEqual. We can rename them like this if jeq is confusing. I don't see the point to keep only one of them as it...
Are there also some constraints on the variable numbers for the Fractal scheme? I have an example which now works fine with Ligero and Aurora but not with Fractal: number...
I have added the error in PR #356
In all cases (i.e with a return="" , or with return="5", or with no return at all), it now generates the verifier.toml, and overwrites existing file. The correct value will...
Undefined arrays returned from main does not work, so I return an error in that case. I will fix this issue in a separate PR.
I made a dummy proving system that always generate a proof and verify anything. It will be commit here: https://github.com/noir-lang/dummy_proof_system In particular it does not check if the circuit is...