Acabamos de enviar Solana Noir Examples — circuitos ZK em Noir com verificação on-chain no Solana 🧵

Noir é uma linguagem para escrever circuitos de conhecimento zero. Sintaxe semelhante à ferrugem, não é necessário doutorado em criptografia. Sunspot (por @reilabs_io) compila circuitos Noir para Groth16 e gera programas de verificação Solana. Noir escreve isso. Sunspot o ativa. Solana confirma.

Três circuitos, aumentando a complexidade: → um — Afirmação simples (comece aqui) → verify_signer — verificação da assinatura ECDSA → smt_exclusion — Prova de exclusão da lista negra de Merkle Tree

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