为 zk-SNARK 电路开发提供 Noir 语言支持，集成 nargo 工具链与多后端证明系统
说明：
## 核心用法
Noir Developer 技能专为零知识证明电路开发设计，提供完整的 Noir (.nr) 语言开发工作流。核心工作流涵盖四个阶段：使用 `nargo compile` 将 Noir 程序编译为 ACIR（抽象电路中间表示），通过 `nargo execute` 或 NoirJS 生成见证（witness），利用选定的证明后端（如 Barretenberg）生成证明，最后完成验证。
技能强制使用 `nargo` 作为编译路径（非 `noir_wasm`），确保与官方维护路径一致。项目创建支持 `nargo new` 和 `nargo init` 两种脚手架方式，测试验证通过 `nargo test` 执行。对于不支持原生 Windows 的环境，明确引导用户使用 GitHub Codespaces、WSL、Docker 或 VM 等替代方案。
### 显著优点
– **标准化工具链**：深度集成官方 `nargo` CLI，避免非维护路径的兼容性风险
– **后端灵活性**：支持多种证明后端，Barretenberg 集成有专门参考文档
– **环境适配**：主动检测不支持环境并提供明确的替代方案（Codespaces/WSL/Docker）
– **完整生命周期**：覆盖从项目创建、编译、测试到证明生成的全流程
### 潜在缺点与局限性
– **环境限制**：原生 Windows 不被支持，需额外配置虚拟化环境
– **后端依赖**：证明后端选择需在实现前确认，增加前期决策成本
– **学习曲线**：需同时掌握 Noir 语言语法、ACIR 概念及零知识证明原理
– **参考文档分散**：Barretenberg 等后端细节需查阅独立文档
### 适合人群
– 区块链开发者构建 zk-Rollup 或隐私保护智能合约
– 密码学工程师实现自定义零知识证明电路
– 需要可验证计算的 DeFi、身份验证或隐私应用开发者
### 常规风险
– 证明后端配置错误可能导致证明生成失败或验证不通过
– 私有/公开输入定义不当会直接影响电路安全性
– 见证生成阶段输入错误将导致无效证明
– 依赖 `nargo` 版本与 Noir 语言版本的兼容性
