Contract tooling

zkID

ZK circuits & privacy

Enfocado en la privacidad · Identity · Standards and specifications

Una iniciativa de PSE que avanza en la identidad digital que preserva la privacidad mediante la redacción de estándares técnicos, la construcción de infraestructura ZK de código abierto y la colaboración con los gobiernos. Trabajando en la integración de la billetera EUDI de la UE y la unidad de billetera ZKP.

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.