我们刚刚发布了 Solana Noir 示例——在 Noir 中的 ZK 电路，并在 Solana 上进行链上验证 🧵

Noir 是一种用于编写零知识电路的语言。类似 Rust 的语法，无需加密博士学位。 Sunspot（由 @reilabs_io 提供）将 Noir 电路编译为 Groth16，并生成 Solana 验证程序。 Noir 编写它。Sunspot 部署它。Solana 验证它。

三个电路，复杂性逐渐增加： → 一个 — 简单断言（从这里开始） → verify_signer — ECDSA 签名验证 → smt_exclusion — 稀疏梅克尔树黑名单排除证明

每个电路遵循相同的工作流程： just compile-smt # Noir → ACIR just prove-smt # Sunspot → Groth16 证明 just verify-smt # 链上验证 每个都包含一个兼容 Kit 的 TypeScript 客户端。克隆，添加密钥对，运行。