snarkjs

O ZK Email fornece circuitos e SDKs para provar fatos sobre transcrições de e-mail redigidas onchain. Útil quando você deseja verificações de identidade ou recibo que preservem a privacidade sem expor caixas de entrada.

O zkTLS / TLSNotary é um protocolo aberto para provar propriedades de sessões TLS com MPC para que os verificadores possam confiar nas transcrições sem ver o texto simples completo.

Verificação de identidade privada usando provas de conhecimento zero. Verifique idade, país ou prova de humanidade sem revelar nenhuma informação pessoal. Design mobile-first com SDK para integração e contratos de registro onchain.

O Self Protocol fornece primitivas abertas de identidade e prova que os construtores podem incorporar quando precisam de fluxos de verificação que preservam a privacidade vinculados a carteiras ou credenciais.

O Circom é uma linguagem de domínio específico e compilador para escrever e compilar circuitos aritméticos usados em sistemas de prova de conhecimento zero.

A Noir é uma linguagem inspirada em Rust para escrever circuitos de conhecimento zero com uma sintaxe amigável para desenvolvedores e ferramentas mantidas pela Aztec.