Tocmai am livrat Exemple Solana Noir — circuite ZK în Noir cu verificare on-chain pe Solana 🧵
Noir este un limbaj pentru scrierea circuitelor zero-knowledge. Sintaxă asemănătoare ruginii, nu e nevoie de doctorat în criptografie. Sunspot (de @reilabs_io) compilează circuite Noir în Groth16 și generează programe de verificare Solana. Noir o scrie. Sunspot îl activează. Solana confirmă asta.
Trei circuite, care crește complexitatea: → unu — Afirmație simplă (începe aici) → verify_signer — verificarea semnăturii ECDSA → smt_exclusion — Dovadă de excludere a listei negre Merkle Tree rare
Fiecare circuit urmează același flux de lucru: doar compile-smt # Noir → ACIR doar dovedește-smt # Sunspot → proof Groth16 doar verifică-smt # Verificare on-chain Fiecare include un client TypeScript compatibil cu Kit. Clonează, adaugă o pereche de chei, aleargă.
640