Add program analysis to the playground about examples HOT 6 CLOSED

This should be easy to return now that when we return the correct metrics here 0xPolygonMiden/miden-vm#442 (comment)

from examples.

Then I will block this issue until the next Miden VM release that includes those metrics.

The provision of the necessary metrics can be worked on and tracked here 0xPolygonMiden/miden-vm#580

from examples.

However, at the moment, we use Miden VM v0.3. There is no info about program analysis exposed yet. I think we should add the program analysis and expose it in the ProgramOutputs (when proving) and ExecutionTrace (when running) in Miden v.0.4.

But for this iteration, we cannot add the program analysis if we want to keep using Miden VM v0.3. In my opinion, the playground should always run against the latest stable.

What do you think @grjte @bobbinth ?

from examples.

the playground should always run against the latest stable.

Agreed!

I think we should add the program analysis and expose it in the ProgramOutputs (when proving) and ExecutionTrace (when running) in Miden v.0.4.

Agreed for ExecutionTrace but probably not for ProgramOutputs (we actually don't have ProgramOutputs any more - they have been replaced with StackOutputs).

from examples.

We also want to show the program hash

from examples.

We now show the time, clk and trace_lenght.

from examples.