We hebben zojuist Solana Noir Voorbeelden verzonden — ZK circuits in Noir met on-chain verificatie op Solana 🧵

Noir is een taal voor het schrijven van zero-knowledge circuits. Rust-achtige syntaxis, geen cryptografie PhD vereist. Sunspot (door @reilabs_io) compileert Noir circuits naar Groth16 en genereert Solana verifier programma's. Noir schrijft het. Sunspot implementeert het. Solana verifieert het.

Drie circuits, toenemende complexiteit: → één — Eenvoudige bewering (begin hier) → verify_signer — ECDSA handtekening verificatie → smt_exclusion — Sparse Merkle Tree zwarte lijst uitsluitingsbewijs

Elke circuit volgt dezelfde workflow: gewoon compile-smt # Noir → ACIR gewoon prove-smt # Sunspot → Groth16 bewijs gewoon verify-smt # On-chain verificatie Elk bevat een Kit-compatibele TypeScript-client. Clone, voeg keypair toe, voer uit.