Petso Docs

Table of contents

Pruebas de Conocimiento Cero (ZKPs)

Las Pruebas de Conocimiento Cero (ZKPs) son técnicas criptográficas que permiten a una parte demostrar que conoce una información ante otra parte sin revelar la información en sí. Para Petso, una app digital para mascotas habilitada por blockchain, las ZKPs pueden mejorar privacidad, seguridad y confianza. A continuación se muestran posibles aplicaciones:

1. Verificación segura de propiedad

  • Caso de uso: Verificar que un usuario es dueño de una mascota específica sin exponer información sensible (metadatos, detalles del DID o propiedad del NFT).
  • Cómo ayuda ZKP: El dueño puede demostrar criptográficamente la propiedad del DID/NFT sin revelar el DID subyacente ni los metadatos.
  • Ejemplo de flujo: La app genera una prueba de que el usuario controla la wallet vinculada al DID/NFT.
  • La verificación ocurre on-chain sin exponer el DID ni claves privadas.

2. Compartir datos de salud de forma anónima

  • Caso de uso: Compartir registros de salud con veterinarios o investigadores manteniendo privada la identidad del dueño o de la mascota.
  • Cómo ayuda ZKP: Probar que el registro de vacunación cumple criterios (p. ej., vacunas al día) sin compartir los registros completos.
  • Ejemplo de flujo: La app genera una prueba criptográfica de cumplimiento, verificable sin revelar datos de salud.

3. Verificación privada de pagos en el marketplace

  • Caso de uso: Comprar bienes/servicios preservando la confidencialidad de la transacción.
  • Cómo ayuda ZKP: zk-SNARKs o zk-STARKs pueden validar que el usuario tiene fondos suficientes o completó una transacción sin revelar balances o detalles.
  • Ejemplo de flujo: La app prueba el pago al proveedor sin exponer datos de wallet/pago públicamente en la blockchain.

4. Gestión de consentimiento

  • Caso de uso: Probar que el usuario otorgó consentimiento para una acción (procedimiento médico, compartir datos) sin exponer detalles.
  • Cómo ayuda ZKP: Generar una prueba de que el consentimiento cumple condiciones predefinidas sin revelar el contenido del acuerdo.
  • Ejemplo: Compartir datos genéticos para investigación; la prueba valida el consentimiento manteniendo confidenciales los términos.

5. Control de acceso a datos de la mascota

  • Caso de uso: Restringir acceso a datos sensibles (ascendencia o historial médico) sin revelar el dataset completo.
  • Cómo ayuda ZKP: Asegura que quien solicita (p. ej., un veterinario) está autorizado a acceder a datos específicos sin exponer información no relacionada.
  • Ejemplo de flujo: La app verifica autorización mediante una prueba ZKP sin revelar otros datos de la mascota.

6. Prevención de fraude en adopción virtual

  • Caso de uso: Verificar autenticidad de adopciones virtuales o contribuciones a refugios sin revelar identidad del donante o monto.
  • Cómo ayuda ZKP: Probar legitimidad de una adopción/donación sin exponer detalles sensibles.
  • Ejemplo: Los contribuyentes generan pruebas de participación sin compartir datos personales o financieros.

7. Prueba de staking en planes de inversión

  • Caso de uso: Probar participación en staking/inversión sin revelar montos o identidades de wallet.
  • Cómo ayuda ZKP: Verificar cumplimiento de requisitos mínimos sin exponer cantidad exacta ni detalles de la wallet.
  • Ejemplo: El usuario genera una prueba de cumplimiento que la app valida sin revelar información de staking.

Consideraciones de implementación

1. Tecnologías ZKP:

  • Usar zk-SNARKs o zk-STARKs para pruebas eficientes y escalables.
  • Integrar librerías como zkSync, circuitos zk-SNARK (por ejemplo con Circom) o middlewares de conocimiento cero.

2. Computación on-chain y off-chain:

  • Ejecutar cómputos ZKP off-chain para mantener escalabilidad.
  • Almacenar pruebas on-chain para validación verificable e inmutable.

3. Experiencia de usuario:

  • Hacer que los procesos ZKP sean fluidos y “transparentes” para el usuario, equilibrando seguridad y usabilidad.

4. Interoperabilidad:

  • Aprovechar protocolos como Polygon ID o zk-rollups para integrar soluciones ZKP en múltiples blockchains.

Beneficios para Petso (app blockchain para mascotas)

  • Mayor privacidad para usuarios y datos sensibles.
  • Mayor confianza entre stakeholders (dueños, veterinarios, proveedores).
  • Menor exposición de datos, alineado con regulaciones como GDPR.
  • Gestión segura e inalterable de consentimiento y propiedad.

Al integrar ZKPs, Petso puede ofrecer privacidad y seguridad de primer nivel, reforzando su posición como una solución confiable y moderna para la gestión de mascotas.