snarkjs

ZK Email proporciona circuitos y SDK para probar hechos sobre transcripciones de correo electrónico redactadas en cadena. Útil cuando desea comprobaciones de identidad o recibos que preserven la privacidad sin revelar (doxxing) las bandejas de entrada.

Railgun es un protocolo de privacidad para Ethereum y redes EVM que proporciona transacciones blindadas e interacciones privadas de finanzas descentralizadas (DeFi) con pruebas de conocimiento cero.

Noir es un lenguaje inspirado en Rust para escribir circuitos de conocimiento cero con una sintaxis amigable para el desarrollador y herramientas mantenidas por Aztec.

Circom es un lenguaje de dominio específico y un compilador para escribir y compilar circuitos aritméticos utilizados en sistemas de pruebas de conocimiento cero.

Aztec es un rollup de Ethereum que prioriza la privacidad y una plataforma para desarrolladores para construir aplicaciones con privacidad programable y pruebas de conocimiento cero.

Semaphore es un protocolo de conocimiento cero para pruebas de membresía de grupos privados, que permite la señalización y autenticación anónimas sin revelar la identidad.