Zero-Knowledge Proof in Transferencia de archivos Systems

Las pruebas de conocimiento cero (ZKP) permiten que una parte demuestre que una afirmación es verdadera sin revelar nada más allá de esa verdad. Aplicadas a la transferencia de archivos, las ZKP permiten que un emisor o un servidor prueben que un archivo coincide con un hash esperado, que fue cifrado con una clave específica o que cumple una política —como "pesa menos de 10 GB y no está en ninguna lista negra de malware"— sin revelar el contenido. La tecnología, formalizada por Goldwasser, Micali y Rackoff en 1985 y hoy práctica gracias a zk-SNARKs (Groth16, PLONK) y zk-STARKs, está migrando de las criptomonedas hacia los sistemas de archivos que preservan la privacidad. Esto es lo que realmente encaja en la transferencia de archivos hoy.

Qué significa "conocimiento cero" en este contexto

Dos significados colisionan en el marketing. El primero es el sentido criptográfico formal: un protocolo interactivo o no interactivo que prueba el conocimiento de un testigo sin revelarlo, según la heurística de Fiat-Shamir y construcciones modernas como Groth16 (2016) y PLONK (2019). El segundo es el sentido comercial más laxo, donde "conocimiento cero" significa que el proveedor del servicio no puede descifrar los datos del usuario porque no tiene las claves —como hacen Proton, Tresorit y Sync.com. Ambos son válidos, pero resuelven problemas distintos. El sentido comercial es en realidad cifrado de extremo a extremo del lado del cliente; el sentido criptográfico abre flujos de trabajo imposibles solo con E2EE.

Pruebas de integridad de archivos sin divulgación

Imagina un escenario de descubrimiento legal. Una parte entrega archivos cifrados y quiere demostrar su exhaustividad —que no se ha retenido nada— sin revelar el contenido. Un árbol Merkle combinado con una prueba de conocimiento cero puede demostrar que cada archivo de un índice acordado está presente, hasheado correctamente y cifrado con la clave compartida. La parte receptora verifica la prueba en milisegundos sin ver el contenido hasta el descifrado. Herramientas basadas en Halo 2, Circom y Plonky2 permiten compilar estos circuitos al lado del cliente en navegadores mediante WebAssembly.

Divulgación selectiva para el cumplimiento normativo

Un médico que envía el estudio DICOM de un paciente para una segunda opinión podría querer demostrar, sin revelar su identidad, que es un médico autorizado en una entidad cubierta por la normativa HIPAA. Una prueba de credencial de conocimiento cero usando el Modelo de Datos de Credenciales Verificables v2.0 del W3C con firmas BBS+ puede lograrlo. El receptor verifica las credenciales del emisor sin ver su nombre ni su institución. El mismo patrón aplica al cumplimiento del control de exportaciones: probar que el país de destino del archivo está aprobado sin revelar el archivo ni el destino exacto, útil para flujos de verificación ITAR o EAR que preserven la privacidad.

Prueba de subida sin confiar en el servidor

Un problema habitual en la transferencia de archivos: el emisor sube un archivo, el servidor afirma haberlo recibido, ¿pero cómo puede el emisor probar qué se almacenó realmente? Los protocolos basados en prueba de recuperabilidad (PoR) y prueba de posesión de datos (PDP), formalizados por Juels-Kaliski (2007) y Ateniese et al. (2007), permiten al servidor demostrar que posee el archivo completo respondiendo a desafíos aleatorios con pruebas criptográficas. El almacenamiento descentralizado como Filecoin los usa para probar que los proveedores guardan los datos que afirman tener. Para un servicio de transferencia centralizado, PoR da al emisor confianza sin depender del registro de auditoría.

Intersección de conjuntos privada para la deduplicación

Los servicios de transferencia a menudo deduplicam archivos idénticos en el servidor para ahorrar almacenamiento. Hecho de forma ingenua, esto filtra información: dos usuarios que suban el mismo archivo se descubren mutuamente. Los protocolos de Intersección de Conjuntos Privada (PSI) que usan funciones pseudoaleatorias oblivious (OPRF) o cifrado de filtros Bloom permiten al servidor detectar duplicados criptográficamente sin que ninguna parte —ni el servidor— sepa qué archivos coincidieron. Las bibliotecas PSI de Microsoft (APSI) y Google se ejecutan en navegadores mediante WASM. Esto importa para los sistemas de cifrado de extremo a extremo, donde la deduplicación del lado del servidor de otro modo rompería el modelo de amenazas.

Probar el cumplimiento de políticas sin revelar la carga

Los sistemas de transferencia empresarial suelen ejecutar análisis DLP para bloquear subidas que contengan números de la Seguridad Social, números de tarjeta de crédito o marcas propietarias. Una prueba DLP de conocimiento cero permitiría al emisor demostrar que "este archivo no contiene cadenas de 16 dígitos que coincidan con patrones de tarjeta de crédito válidos según Luhn" sin revelar el archivo al servidor DLP. Los circuitos en Circom o Noir pueden expresar estas comprobaciones. El rendimiento es el cuello de botella: probar que un archivo de 100 MB satisface una política compleja puede tardar minutos. La investigación en GKR y esquemas de plegado como Nova (2022) está reduciendo significativamente ese tiempo.

zk-SNARKs frente a zk-STARKs para archivos

Los zk-SNARKs como Groth16 y PLONK producen pruebas diminutas (200–500 bytes) verificables en milisegundos, pero requieren una ceremonia de configuración de confianza. Los zk-STARKs, usados en los sistemas de producción de StarkWare, no necesitan configuración de confianza y se basan solo en funciones hash, lo que los hace seguros ante la computación cuántica, pero las pruebas son más grandes (50 KB a varios MB). Para la transferencia de archivos, las pruebas SNARK encajan bien en cabeceras HTTP o pequeños campos de metadatos, mientras que las pruebas STARK son más voluminosas pero evitan suposiciones de confianza. Los sistemas prácticos a menudo mezclan ambas según la propiedad que se pruebe.

Presupuestos de rendimiento para la generación de pruebas en el navegador

Generar una prueba de que un archivo de 1 MB coincide con un hash específico tarda entre 100 ms y 2 segundos en un navegador usando Halo 2 o snarkjs compilado a WASM, dependiendo del tamaño del circuito y el dispositivo. Para pruebas de integridad de archivos en el momento de la transferencia, esto es aceptable. Para afirmaciones más complejas como el cumplimiento de políticas sobre archivos grandes, la generación puede requerir delegarla a un servidor o ejecutarla en workers en segundo plano. La Web Crypto API maneja los primitivos de hash estándar a velocidad nativa, pero los circuitos ZK personalizados siguen pagando la sobrecarga de interpretación WASM, aproximadamente 2–5 veces más lento que nativo.

Patrones de integración con el cifrado de extremo a extremo existente

Las ZKP se superponen bien sobre el cifrado de extremo a extremo en lugar de reemplazarlo. Un patrón típico: el emisor cifra el archivo con AES-256-GCM, calcula un hash SHA-256 del texto plano y genera una prueba comprometida con ese hash. El servidor almacena el texto cifrado, el compromiso y la prueba. El receptor recupera los tres, descifra, vuelve a hashear el texto plano y verifica la prueba. Esto detecta manipulaciones y también proporciona una afirmación de integridad transferible que el receptor puede mostrar a un tercero —como la AEPD— sin revelar el archivo.

Dónde encajan las ZKP hoy y dónde no

Hoy, las ZKP encajan bien para afirmaciones compactas de integridad y autenticidad, deduplicación sin divulgación y acceso basado en credenciales a los puntos de transferencia. No encajan aún para comprobaciones generales de contenido sobre archivos grandes: el tiempo de prueba y el tamaño de la prueba no están ahí todavía. Para la privacidad cotidiana en la transferencia de archivos, el cifrado de extremo a extremo del lado del cliente con AES-256-GCM e intercambio de claves X25519, como usa HexaTransfer, gestiona bien el modelo de amenazas habitual sin la complejidad de los circuitos ZKP.

Despliegues prácticos actuales

Los proyectos que despliegan ZKPs en flujos de archivos incluyen Iden3 y Polygon ID para la verificación de credenciales, Aleo para el estado privado de contratos inteligentes y Mina Protocol para el estado sucinto de la blockchain. Los despliegues específicos para archivos siguen siendo de calidad investigadora pero avanzan. Se esperan las primeras funcionalidades ZK en producción para transferencia de archivos entre 2027 y 2028, empezando probablemente por pruebas de integridad y deduplicación basada en PSI.

Pruébalo en https://hexatransfer.com — gratuito, sin cuenta, hasta 10 GB.