AleoHQ
[Feature] Tell the user variable and constraint count; maybe other data
🚀 Feature
Either do this automatically when building, or provide the option to do so.
In which Leo command(s)? Related: https://github.com/ProvableHQ/leo/issues/27934
The --dry--run flag will tell you the constraint and variable counts, but only if it's under the max limit. If the Variable limit exceeded you don't get either count, only an error message.
It may be worth:
- Printing both the variable and constraint count if the Deployment is over either limit.
- Printing a list of contraint and variable counts of each function. Both are available in the verifying keys, so it should be easy enough to print out!
@mohammadfawaz can be closed as well it looks like. By the way, would you be able to check e-mail?
I think this is partially being addressed in https://github.com/ProvableHQ/leo/pull/28803
By the way, would you be able to check e-mail?
Did you send me something? I didn't get anything.
@mohammadfawaz I did, do you have discord maybe? I've sent you directly to the e-mail that's linked to your git commits.