我們剛剛發佈了 Solana Noir 範例——在 Noir 中的 ZK 電路，並在 Solana 上進行鏈上驗證 🧵

Noir 是一種用於編寫零知識電路的語言。類似 Rust 的語法，無需加密學博士學位。 Sunspot（由 @reilabs_io 提供）將 Noir 電路編譯為 Groth16 並生成 Solana 驗證器程序。 Noir 編寫它。Sunspot 部署它。Solana 驗證它。

三個電路，逐漸增加的複雜性： → one — 簡單的斷言（從這裡開始） → verify_signer — ECDSA 簽名驗證 → smt_exclusion — 稀疏梅克爾樹黑名單排除證明

每個電路都遵循相同的工作流程： 只需編譯-smt # Noir → ACIR 只需證明-smt # Sunspot → Groth16 證明 只需驗證-smt # 鏈上驗證 每個都包含一個與 Kit 兼容的 TypeScript 客戶端。克隆，添加密鑰對，運行。