Acabámos de enviar os Exemplos de Solana Noir — circuitos ZK em Noir com verificação on-chain na Solana 🧵

Noir é uma linguagem para escrever circuitos de conhecimento zero. Sintaxe semelhante ao Rust, não é necessário ter um doutorado em criptografia. Sunspot (da @reilabs_io) compila circuitos Noir para Groth16 e gera programas de verificação para Solana. Noir escreve isso. Sunspot implanta isso. Solana verifica isso.

Três circuitos, aumentando a complexidade: → um — Afirmativa simples (comece aqui) → verify_signer — Verificação de assinatura ECDSA → smt_exclusion — Prova de exclusão da lista negra da Árvore Merkle Esparsa

Cada circuito segue o mesmo fluxo de trabalho: apenas compile-smt # Noir → ACIR apenas prove-smt # Sunspot → prova Groth16 apenas verify-smt # Verificação on-chain Cada um inclui um cliente TypeScript compatível com Kit. Clone, adicione o par de chaves, execute.