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

Does Not Work on Workspace #9

Open
Metaxona opened this issue Feb 19, 2025 · 6 comments
Open

Does Not Work on Workspace #9

Metaxona opened this issue Feb 19, 2025 · 6 comments

Comments

@Metaxona
Copy link

i tried it on a foundry noir starter with a circuit workspace like this

circuits
├── a
│   ├── src
│   ├── Prover.toml
│   └── Nargo.toml
├── b
│   ├── src
│   ├── Prover.toml
│   └── Nargo.tomlext
└── Nargo.toml

and it isn't working since it is looking for a package.name in Nargo.toml in the workspace root.
that one doesn't exist normally unless you add it based on the noir docs on workspace,
and i added one and that worked, but another problem came up regarding the package.type which
i set to bin too but still no luck (lib, bin) won't work with this.

so basically this current helper only works on a non workspace circuit project like the one that comes with noir-starter/with-foundry
with a tree like this

circuits
├── src
├── Prover.toml
└── Nargo.toml
@0xnonso
Copy link
Owner

0xnonso commented Feb 19, 2025

hi hi @Metaxona, you're right about foundry-noir-helper; i really didn't consider workspaces when designing the contract. could you please share your workspace or perhaps a minimal repro so I can take a look?

@Metaxona
Copy link
Author

hi hi @Metaxona, you're right about foundry-noir-helper; i really didn't consider workspaces when designing the contract. could you please share your workspace or perhaps a minimal repro so I can take a look?

okay i will make a minimal reproduction later and add it here

@Metaxona
Copy link
Author

hi hi @Metaxona, you're right about foundry-noir-helper; i really didn't consider workspaces when designing the contract. could you please share your workspace or perhaps a minimal repro so I can take a look?

made it https://github.com/Metaxona/noir-foundry-workspace

@0xnonso
Copy link
Owner

0xnonso commented Feb 20, 2025

so currently, this issue can be fixed by specifying a custom circuit directory. i.e for the workspace this would look like noirHelper.withInput("x", 1).withInput("y", 5).withProjectPath("circuits/a").
and i also extended the the functionality to output the proof to a custom dir. which would also look like noirHelper.withInput("x", 1).withInput("y", 5).withProjectPath("circuits/a").withProofOutputPath("circuits/target/").

@0xnonso
Copy link
Owner

0xnonso commented Feb 20, 2025

also created a pr Metaxona/noir-foundry-workspace#1

@Metaxona
Copy link
Author

also created a pr Metaxona/noir-foundry-workspace#1

works now after i updated the foundry-noir-helper lib on my side, thanks a lot.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants