Noir Developer

Workflow

1. Compile (nargo compile) Noir program into ACIR.
2. Generate witness (nargo execute or NoirJS execute) based on ACIR and user inputs.
3. Prove using ACIR and witness with the selected proving backend.
4. Verify proof with the selected proving backend.

Task Patterns

Environment

If the environment is unsupported by nargo (e.g. native Windows), guide the user to using GitHub Codespaces (https://noir-lang.org/docs/tooling/devcontainer#using-github-codespaces) or a supported setup (WSL, Docker, or VM).

Plan

Define private inputs, public inputs (if any), and public outputs (if any) for each Noir program.