Vi har precis skickat Solana Noir-exempel — ZK-kretsar i Noir med on-chain-verifiering på Solana 🧵
Noir är ett språk för att skriva zero-knowledge-kretsar. Rostliknande syntax, ingen doktorsexamen i kryptografi krävs. Sunspot (av @reilabs_io) kompilerar Noir-kretsar till Groth16 och genererar Solana-verifieringsprogram. Noir skriver den. Sunspot sätter ut den. Solana bekräftar det.
Tre kretsar, ökande komplexitet: → en — Enkel påstående (börja här) → verify_signer — ECDSA:s signaturverifiering → smt_exclusion — Sparse Merkle Tree svartlistningsbevis för uteslutningsprov
Varje krets följer samma arbetsflöde: just compile-smt # Noir → ACIR just prove-smt # Sunspot → Groth16 proof bara verifiera-smt # On-chain-verifiering Varje inkluderar en Kit-kompatibel TypeScript-klient. Klona, lägg till knappsats, spring.
506