noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
905 stars 206 forks source link

Optimisation level multiplier for bytecode size #6596

Open aakoshh opened 3 days ago

aakoshh commented 3 days ago

Problem

Followup for https://github.com/noir-lang/noir/pull/6505

Add some kind of parameter similar to --inliner-aggressiveness, which would tell the compiler how much of a potential increase in Brillig bytecode size it can accept when unrolling loops. See https://github.com/noir-lang/noir/pull/6505#issuecomment-2483508801

Happy Case

See https://github.com/noir-lang/noir/pull/6505#issuecomment-2483436661

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

Nice-to-have

Blocker Context

There was an increase in bytecode size in the Keccak256 test, which would be nice to avoid.

Would you like to submit a PR for this Issue?

None

Support Needs

No response