Contract tooling

zkTLS/ TLSNotary

ZK circuits & privacy

Enfocado en la privacidad · Verificación

zkTLS / TLSNotary es un protocolo abierto para probar las propiedades de las sesiones TLS con MPC para que los verificadores puedan confiar en las transcripciones sin ver el texto sin formato completo.

Related resources

ZK Email

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

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.

snarkjs

snarkjs es un conjunto de herramientas de JavaScript y CLI para generar y verificar pruebas ZK-SNARK, y para ejecutar flujos de trabajo de prueba comunes en Node.js y el navegador.

Noir

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

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

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.