Nous venons de livrer des exemples Solana Noir — circuits ZK dans Noir avec vérification on-chain sur Solana 🧵

Noir est un langage pour écrire des circuits à connaissance nulle. Syntaxe similaire à Rust, aucun doctorat en cryptographie requis. Sunspot (par @reilabs_io) compile les circuits Noir en Groth16 et génère des programmes de vérification pour Solana. Noir l'écrit. Sunspot le déploie. Solana le vérifie.

Trois circuits, complexité croissante : → un — Assertion simple (commencez ici) → verify_signer — Vérification de signature ECDSA → smt_exclusion — Preuve d'exclusion de liste noire de Sparse Merkle Tree

Chaque circuit suit le même flux de travail : just compile-smt # Noir → ACIR just prove-smt # Sunspot → preuve Groth16 just verify-smt # Vérification on-chain Chacun inclut un client TypeScript compatible avec Kit. Clonez, ajoutez une paire de clés, exécutez.