Add "Verify" button in Sidebar View

[Savio-Sou]

Problem

The Noir VS Code extension does not currently support verifying 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. Type <my_desired_proof_name> in a field in the Noir Sidebar View
2. Click a "Verify" button in the View (which verifies the proof named <my_desired_proof_name> in the local instance)

so I can verify if the proof is valid or not.

If there is no existing proof named <my_desired_proof_name> found in the local instance, the extension should prompt me with an error and ask me to check if the proof name was inputted correctly.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

Pending

Preview Give feedback

1. Add Sidebar View #6
   enhancement +1
2. Add Noir program inputs section in Sidebar View #7
   0 of 1
   enhancement +1
3. Add "Prove" button in Sidebar View #8
   0 of 2
   enhancement +1