Vi har nettopp sendt Solana Noir-eksempler — ZK-kretser i Noir med on-chain-verifisering på Solana 🧵
Noir er et språk for å skrive nullkunnskapskretser. Rustlignende syntaks, ingen doktorgrad i kryptografi kreves. Sunspot (ved @reilabs_io) kompilerer Noir-kretser til Groth16 og genererer Solana-verifikasjonsprogrammer. Noir skriver den. Sunspot setter den i gang. Solana bekrefter det.
Tre kretser, økende kompleksitet: → én — Enkel påstand (start her) → verify_signer — ECDSA-signaturverifisering → smt_exclusion — Sparsom Merkle Tree svarteliste-eksklusjonsbevis
Hver krets følger samme arbeidsflyt: bare kompile-smt # Noir → ACIR bare bevis-smt # Solflekk → Groth16 bevis bare verify-smt # On-chain verifisering Hver inkluderer en Kit-kompatibel TypeScript-klient. Klone, legge til tastatur, løpe.
670