Wir haben gerade die Solana Noir Beispiele versendet – ZK-Schaltungen in Noir mit On-Chain-Verifizierung auf Solana 🧵

Noir ist eine Sprache zum Schreiben von Zero-Knowledge-Schaltungen. Rust-ähnliche Syntax, kein Doktortitel in Kryptographie erforderlich. Sunspot (von @reilabs_io) kompiliert Noir-Schaltungen zu Groth16 und generiert Verifizierungsprogramme für Solana. Noir schreibt es. Sunspot setzt es ein. Solana verifiziert es.

Drei Schaltkreise, zunehmende Komplexität: → eins — Einfache Behauptung (hier anfangen) → verify_signer — ECDSA-Signaturverifizierung → smt_exclusion — Nachweis der Ausschlussliste des Sparse Merkle Tree

Jeder Schaltkreis folgt dem gleichen Workflow: einfach kompilieren-smt # Noir → ACIR einfach beweisen-smt # Sunspot → Groth16-Beweis einfach überprüfen-smt # On-Chain-Überprüfung Jeder enthält einen Kit-kompatiblen TypeScript-Client. Klonen, Schlüsselpaare hinzufügen, ausführen.