Abbiamo appena rilasciato gli Esempi di Solana Noir — circuiti ZK in Noir con verifica on-chain su Solana 🧵

Noir è un linguaggio per scrivere circuiti a conoscenza zero. Sintassi simile a Rust, non è necessaria una laurea in crittografia. Sunspot (di @reilabs_io) compila i circuiti Noir in Groth16 e genera programmi di verifica per Solana. Noir lo scrive. Sunspot lo distribuisce. Solana lo verifica.

Tre circuiti, complessità crescente: → uno — Affermazione semplice (inizia qui) → verify_signer — Verifica della firma ECDSA → smt_exclusion — Prova di esclusione della blacklist Sparse Merkle Tree

Ogni circuito segue lo stesso flusso di lavoro: just compile-smt # Noir → ACIR just prove-smt # Sunspot → prova Groth16 just verify-smt # Verifica on-chain Ognuno include un client TypeScript compatibile con Kit. Clona, aggiungi la coppia di chiavi, esegui.