Herramientas de contratos

zkID

Circuitos ZK y privacidad

Enfocado en la privacidad · Identidad · Estándares y especificaciones

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.

Recursos relacionados

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.

zkTLS/ TLSNotary

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.

ZKPassport

Verificación de identidad privada utilizando pruebas de conocimiento cero. Verifique la edad, el país o la prueba de personalidad sin revelar ninguna información personal. Diseño centrado en dispositivos móviles con SDK para integración y contratos de registro en cadena.

Self Protocol

Self Protocol proporciona primitivas abiertas de identidad y prueba que los constructores pueden integrar cuando necesitan flujos de verificación que preserven la privacidad vinculados a billeteras o credenciales.

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.

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.