Epic: Profiler MVP

[kobyhallx]

MVP Scope

It would be great to have a profiler that helps quickly estimate resource costs each line of a Noir program contributes, hence more easily optimizing proving performance of Noir programs.

The MVP user workflow should look something like:

1. Developer runs nargo info --verbose
2. Nargo prints # of ACIR opcodes associated with each line, e.g.

   fn main(x : Field) {
     foo(x) // -> 100 opcodes
     bar(x) // -> 200 opcodes
     let y = x + x; // -> 1 opcode
   }
   

Tasks

Beta Give feedback

1. Integrate nargo info output as vscode code lens #2942
   +0
2. Build function -> lines -> opcodes mapping #3435
   +0
3. Expose it through Nargo
4. feat: Expose Profile information in vscode #3501
   +0
5. fix: Debt of duplicated compile code between nargo::ops::compile and nargo_cli:clie:compile_cmd #3503
   +0
   

Additional context - full vision

Not to be achieved with this Issue. More as extra context and for discussions where necessary.

The full vision could be:

1. VS Code extension always display the # of ACIR opcodes next to each line of Noir code
2. When the developer hovers over the #, it additionally displays:
   a. # of backend constraints
   b. Estimated proving time
   c. Estimated proving memory needs

Based on:

1. Developer's proving backend of choice
2. Developer's machine / simulated sample environment (e.g. Safari on iPhone 14)

[Savio-Sou]

Assigning P-MEDIUM as this greatly helps the Private Kernel Circuit rewrite project and Noir gate golfers out there, but not necessarily blocking any works.

Guessing E-MEDIUM.