Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+4.89 %
USELESS
USELESS-0.32 %
IKUN
IKUN+3.69 %
gib
gib+12.35 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0.39 %
ALON
ALON+3.2 %
LAUNCHCOIN
LAUNCHCOIN-5.35 %
GOONC
GOONC+4.68 %
KLED
KLED+0.78 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0.06 %
Boopa
Boopa+7.43 %
PORK
PORK+4.05 %
jo
jo
8 ene, 02:36·
Acabamos de enviar Solana Noir Examples — circuitos ZK en Noir con verificación on-chain en Solana 🧵
El noir es un lenguaje para escribir circuitos de conocimiento cero. Sintaxis tipo óxido, no se requiere un doctorado en criptografía. Sunspot (por @reilabs_io) compila circuitos Noir a Groth16 y genera programas verificadores de Solana. Noir lo escribe. Sunspot lo despliega. Solana lo confirma.
Tres circuitos, complejidad creciente: → uno — Afirmación simple (empieza aquí) → verify_signer — verificación de firma ECDSA → smt_exclusion — Prueba de exclusión en la lista negra de Merkle Tree
Cada circuito sigue el mismo flujo de trabajo: solo compilar-smt # Noir → ACIR solo prueba-smt # Manchas solares → prueba Groth16 solo verificar-smt # Verificación en cadena Cada uno incluye un cliente TypeScript compatible con Kit. Clonar, añadir un par de llaves, correr.
647