Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow to specify the file name for the proof #5037

Closed
LogvinovLeon opened this issue May 16, 2024 · 2 comments
Closed

Allow to specify the file name for the proof #5037

LogvinovLeon opened this issue May 16, 2024 · 2 comments
Labels
enhancement New feature or request

Comments

@LogvinovLeon
Copy link
Contributor

Problem

Currently nargo always generates a proof in ${monorepoRoot}/proofs/${packageName}.proof.
This does not work for server side applications that generate multiple proofs in parallel as they can override each other.
nargo prove command already allows to specify Prover.toml & Verifier.toml names. Proof name should also be configurable

Happy Case

nargo prove --proof-path ../custom_proofs/uuid.proof

Project Impact

Blocker

Impact Context

Without it - each proof needs to be generated in a separate file system or all proofs need to be generated sequentially

Workaround

Yes

Workaround Description

Kinda. As described above

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

@LogvinovLeon LogvinovLeon added the enhancement New feature or request label May 16, 2024
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir May 16, 2024
@TomAFrench
Copy link
Member

Proving functionality is being removed from nargo as part of #4960 to instead use bb directly which does support this.

@TomAFrench TomAFrench closed this as not planned Won't fix, can't repro, duplicate, stale May 16, 2024
@github-project-automation github-project-automation bot moved this from 📋 Backlog to ✅ Done in Noir May 16, 2024
@LogvinovLeon
Copy link
Contributor Author

@TomAFrench is there any documentation on how to use bb directly to achieve that? As of now - nargo is still the recommended way of doing things even on dev version of nargo docs: https://noir-lang.org/docs/getting_started/hello_noir/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Done
Development

No branches or pull requests

2 participants