名称： noir-developer
描述： 开发 Noir (.nr) 代码库。适用于创建项目或使用 Noir 编写代码的场景。

Noir 开发者指南

工作流程

1. 编译：使用 nargo compile 将 Noir 程序编译为 ACIR 格式。
2. 生成见证：基于 ACIR 和用户输入，通过 nargo execute 或 NoirJS execute 生成见证。
3. 生成证明：使用选定的证明后端，结合 ACIR 和见证生成证明。
4. 验证证明：使用选定的证明后端验证证明。

任务模式

环境配置

如果当前环境不支持 nargo（例如原生 Windows 系统），引导用户使用 GitHub Codespaces（https://noir-lang.org/docs/tooling/devcontainer#using-github-codespaces）或其他受支持的配置（如 WSL、Docker 或虚拟机）。

方案设计

为每个 Noir 程序定义私有输入、公共输入（如有）和公共输出（如有）。

项目创建

创建 Noir 项目时，使用 nargo new 或 nargo init 命令来搭建项目骨架。

编译

使用 nargo（而非 noir_wasm）进行编译，这是官方维护的推荐方式。

验证

运行 nargo test 来验证 Noir 实现是否正确。

证明后端

在实现细节前，确认用户选择的证明后端。如果用户选择 Barretenberg，请阅读 references/barretenberg.md。

参考资源

• 运行 nargo --help 查看完整的命令列表。
• 阅读 https://noir-lang.org/docs/ 了解语言语法、依赖管理和工具链。
• 证明后端：
• 关于 Barretenberg 的详细信息，请阅读 references/barretenberg.md。