search

noir-lang / vscode-noir

Apache License 2.0
6 stars 7 forks source link

Add "Prove" button in Sidebar View #8

Closed Savio-Sou closed 3 months ago

Savio-Sou commented 1 year ago

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. Type <my_desired_proof_name> in a field in the Noir Sidebar View
  2. Click a "Prove" button in the View (which generates a proof of executing the Noir program with selected inputs named <my_desired_proof_name>)

so I can carry out further actions with the proof either in the View or elsewhere (e.g. verifying; exact actions would be covered in other GitHub Issues).

If there is a name clash of <my_desired_proof_name> with an existing proof previously generated and stored in the local instance, the extension should prompt me with an error and ask me to choose an alternative proof name.

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

### Pending
- [ ] https://github.com/noir-lang/vscode-noir/issues/6
- [ ] https://github.com/noir-lang/vscode-noir/issues/7
Savio-Sou commented 1 year ago

Would this require an intermediate GitHub Issue for an "Execute" button?