Acabamos de enviar ejemplos de Solana Noir: circuitos ZK en Noir con verificación en cadena en Solana 🧵
Noir es un lenguaje para escribir circuitos de conocimiento cero. Sintaxis similar a Rust, no se requiere un doctorado en criptografía. Sunspot (de @reilabs_io) compila circuitos Noir a Groth16 y genera programas de verificación para Solana. Noir lo escribe. Sunspot lo despliega. Solana lo verifica.
Tres circuitos, aumentando la complejidad: → uno — Afirmación simple (comienza aquí) → verify_signer — Verificación de firma ECDSA → smt_exclusion — Prueba de exclusión de lista negra de Sparse Merkle Tree
Cada circuito sigue el mismo flujo de trabajo: solo compilar-smt # Noir → ACIR solo probar-smt # Sunspot → prueba Groth16 solo verificar-smt # Verificación en cadena Cada uno incluye un cliente TypeScript compatible con Kit. Clona, añade el par de claves, ejecuta.
718