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。