关于服务
翻译我在 Noir 上开发工业级零知识方案和证明——Aztec 的 ZK 语言，具有 Rust 风格的语法。Noir 让您可以用干净、可读的代码描述私有逻辑，同时保持后端独立：该方案编译为 ACIR（抽象电路中间表示），并可以与不同的证明系统一起工作，包括用于 UltraHonk 和 UltraPlonk 证明的 Barretenberg。
您将获得：
— 在 Noir 上为身份识别、集合成员证明、私密投票、凭证验证、混合器和机密转账定制的方案。
— 高效的约束设计，减少门数和证明生成时间。
— 具有清晰接口的可重用 Noir 库和模块，通过 nargo 进行单元测试，并记录公共和私有输入。
— 验证器集成：生成用于链上证明验证的 Solidity 或合约验证器，以及链下证明生成。
— Merkle 树包含证明、哈希承诺（Pedersen、Poseidon、Keccak）、电路内的范围检查和签名验证。
— 与 JavaScript 或 TypeScript 层（Node 或浏览器）完全集成，用于见证构建和证明生成。
流程：我从您的隐私要求开始，识别公共和私有输入，建模约束并优化方案以提高稳健性和性能。每个方案都附带测试套件、信任假设描述以及证明和验证的说明。
描述您的任务——我将根据约束评估成本，并提出最干净的 Noir 解决方案。
您将获得：
— 在 Noir 上为身份识别、集合成员证明、私密投票、凭证验证、混合器和机密转账定制的方案。
— 高效的约束设计，减少门数和证明生成时间。
— 具有清晰接口的可重用 Noir 库和模块，通过 nargo 进行单元测试，并记录公共和私有输入。
— 验证器集成：生成用于链上证明验证的 Solidity 或合约验证器，以及链下证明生成。
— Merkle 树包含证明、哈希承诺（Pedersen、Poseidon、Keccak）、电路内的范围检查和签名验证。
— 与 JavaScript 或 TypeScript 层（Node 或浏览器）完全集成，用于见证构建和证明生成。
流程：我从您的隐私要求开始，识别公共和私有输入，建模约束并优化方案以提高稳健性和性能。每个方案都附带测试套件、信任假设描述以及证明和验证的说明。
描述您的任务——我将根据约束评估成本，并提出最干净的 Noir 解决方案。
