Tendencias del momento
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
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.

690
Parte superior
Clasificación
Favoritos
