私たちは最近、Solana Noirの例を出荷しました — Solar 🧵上でオンチェーン検証を施したNoirのZK回線
ノワールはゼロ知識回路を書くための言語です。錆びたような構文で、暗号学の博士号は不要です。 Sunspot(@reilabs_io)はNoir回路をGroth16にコンパイルし、Solana検証プログラムを生成します。 ノワールが書いている。サンスポットが展開します。ソラナがそれを確認した。
3つの回路、複雑さを増す: → 1 — 単純な主張(ここから始めます) → verify_signer — ECDSA署名検証 → smt_exclusion — スパース・マークル・ツリーのブラックリスト排除証明
すべての回路は同じワークフローに従っています: ただコンパイル・SMT # ノワール → ACIR ただ証明してみて # サンスポット → グロス16プルーフ ただVerify-SMT # On-Chain verification それぞれにKit互換のTypeScriptクライアントが含まれています。クローン、キーペアを追加、実行。
637