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:
Type <my_desired_proof_name> in a field in the Noir Sidebar View
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.
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:
<my_desired_proof_name>in a field in the Noir Sidebar View<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