Add "Prove" Code Action

[Savio-Sou]

Problem

The Noir VS Code extension does not currently support proving Noir programs within the extension, which could be useful for Noir development workflows in e.g. in-browser VS Code.

Happy Case

As a Noir developer, I want to:

1. Click a "Prove" code action above fn main (which generates p.proof of executing the Noir program with inputs filled in Prover.toml)

so I can carry out further actions (e.g. verifying) on the proof within VS Code or elsewhere.

If Prover.toml does not exist, the extension should prompt me with an error.

If no inputs are filled in Prover.toml, the extension should prompt me with an error.

If there is already a p.proof in the default directory, the extension should overwrite it with the new p.proof.

Alternatives Considered

Adding a Sidebar View with a "Prove" button: #8

The proposed approach should however be a way to deliver a clickable "Prove" (hence, in-browser VS Code) more quickly in terms of engineering complexity. Sidebar View could be revisited down the road.

Additional Context

Reference:

("Prove" instead of "Run Test")

Would you like to submit a PR for this Issue?

No

Support Needs

No response