En la era digital, confiamos en los servidores para que guarden nuestra información más sensible, desde mensajes privados hasta registros financieros. Dependemos del cifrado para mantener estos datos seguros, codificándolos de modo que solo aquellos con la clave correcta puedan leerlos. Sin embargo, surge un problema fundamental cuando queremos eliminar esos datos. Una vez que un archivo se copia en un servidor, el propietario no tiene forma de obligar al servidor a destruir la copia original. Un servidor deshonesto puede simplemente conservar una copia de seguridad oculta, esperando un momento futuro en el que la clave de cifrado pueda ser filtrada o robada, momento en el que podría desbloquear los datos y leerlo todo. Para las computadoras clásicas, esta es una situación imposible; no existe una forma física de probar que una pieza de información ha sido borrada.

La física cuántica ofrece una solución potencial a este dileema a través de una propiedad conocida como el "teorema de no clonación". A diferencia de los bits clásicos, que pueden copiarse perfectamente, la información cuántica existe en estados delicados que se ven alterados si alguien intenta copiarlos. Esto permite el concepto de "eliminación certificada". En este escenario, un usuario carga datos como un estado cuántico. Si el servidor afirma más tarde haberlos eliminado, debe producir un certificado. Debido a las leyes de la mecánica cuántica, si el servidor realmente eliminó los datos, no puede conservar una copia que le permita leer el mensaje más tarde, incluso si obtiene la clave de descifrado. Si el servidor intenta conservar una copia, el acto de copiar habría alterado el estado, y el certificado fallaría al verificarse.

Durante años, esta poderosa idea permaneció mayoritariamente en el plano teórico o requería que el usuario tuviera su propia computadora cuántica para cargar los datos. Esto creó una barrera masiva: los usuarios comunes, e incluso muchas organizaciones, no pueden permitirse el costoso hardware especializado necesario para generar y enviar estados cuánticos. Los datos debían viajar por un canal cuántico, un requisito que hacía que la tecnología fuera poco práctica para un uso generalizado. Un nuevo estudio de Yael Tauman Kalai y Justin Raizes cambia este panorama al demostrar cómo una computadora completamente ordinaria y clásica puede cargar datos a un servidor cuántico y aun así recibir estas garantías de eliminación. Han creado un método que permite a un usuario estándar interactuar con un servidor cuántico utilizando únicamente comunicación digital regular, logrando de todos modos los beneficios de seguridad de la mecánica cuántica.

Los investigadores lograron esto diseñando un protocolo ingenioso que actúa como un puente entre los mundos clásico y cuántico. En lugar de pedir al usuario que prepare directamente un estado cuántico complejo, el usuario envía una serie de instrucciones clásicas. El servidor, que posee las capacidades cuánticas necesarias, utiliza estas instrucciones para preparar el estado cuántico requerido por su cuenta. La brillantez del nuevo método reside en cómo verifica que el servidor realmente hizo lo que se le pidió sin que el usuario llegue a ver el estado cuántico. El protocolo utiliza una herramienta matemática llamada función de trampa libre (claw-free function). En términos sencillos, este es un rompecabezas matemático que es fácil de resolver si se tiene una clave secreta (la "trampa"), pero increíblemente difícil de resolver sin ella. El servidor debe demostrar que conoce la solución a este rompecabezas para recibir los datos, pero la forma en que el rompecabezas está estructurado asegura que el servidor no pueda conservar una copia de los datos sin romper las reglas del rompecabezas.

El núcleo de su descubrimiento es una técnica que permite que la prueba de seguridad funcione incluso aunque el usuario nunca vea el estado cuántico. En intentos anteriores, probar la seguridad de tal sistema requería que el usuario poseyera una versión "purificada" del estado, esencialmente un gemelo cuántico entrelazado con la copia del servidor. Esto era imposible si el usuario era una computadora clásica. Los autores desarrollaron una nueva forma de simular este entrelazamiento utilizando solo comunicación clásica. Demostraron que, aunque los mensajes del usuario son clásicos y parecen determinar el estado por completo, la estructura matemática del protocolo permite que la prueba de seguridad trate la situación como si el estado todavía estuviera en una superposición cuántica. Esto significa que si el servidor intenta conservar una copia de los datos para leerlos más tarde, las garantías matemáticas del sistema se rompen y el servidor será descubierto.

Este avance no se limita al envío de un solo mensaje. Los autores proporcionan un "compilador" general, un conjunto de instrucciones que pueden aplicarse a muchos tipos diferentes de herramientas criptográficas. Demostraron que este método funciona para el cifrado de clave pública, donde cualquiera puede enviar un mensaje a un destinatario; para el cifrado basado en atributos, donde el acceso depende de credenciales específicas; e incluso para el cifrado totalmente homomórfico, que permite realizar cálculos sobre datos cifrados sin necesidad de descifrarlos. En cada caso, el usuario puede cargar los datos utilizando solo comunicación clásica, y el servidor puede ser obligado a eliminar los datos con un certificado verificable. Si el servidor cumple y elimina los datos, el usuario puede estar seguro de que, incluso si el servidor obtiene la clave de descifrado más adelante, no podrá recuperar el mensaje original.

Más allá de la simple eliminación, los investigadores demostraron que este sistema permite realizar "pruebas de no intrusión". Esta es una forma para que un usuario compruebe si sus datos han sido robados o filtrados a un tercero sin destruir los datos en el proceso. En muchos escenarios de seguridad, verificar una filtración requiere destruir la evidencia, pero aquí, el usuario puede pedir al servidor que demuestre que nadie más tiene acceso a los datos, y el servidor puede hacerlo sin perder la capacidad de descifrar el mensaje más tarde. Esto es crucial para la auditoría, ya que permite a un usuario verificar la integridad del almacenamiento de sus datos sin tener que descartar los datos mismos. El servidor puede demostrar que es el único que posee la clave, y el usuario puede estar seguro de que los datos permanecen seguros.

El estudio también aborda el problema práctico de la recuperación de datos. En algunos esquemas de eliminación cuántica, una vez que los datos se eliminan, desaparecen para siempre, incluso para el propietario. Los autores diseñaron un protocolo donde el usuario puede recuperar sus datos y, simultáneamente, asegurar que sean eliminados del servidor. El servidor realiza una operación cuántica específica que convierte los datos en una forma que el usuario puede leer, pero al hacerlo, destruye su propia capacidad de leer esos datos en el futuro. Esto significa que el usuario no tiene que elegir entre recuperar sus datos y protegerlos de futuras filtraciones de claves; puede hacer ambas cosas al mismo tiempo.

La seguridad de todo este sistema se basa en la suposición de que ciertos problemas matemáticos, específicamente aquellos relacionados con el problema de Aprendizaje con Errores (LWE, por sus siglas en inglés), son difíciles de resolver incluso para las computadoras cuánticas. Esta es una suposición estándar en la criptografía moderna, que se cree ampliamente cierta. Los autores demostraron que, mientras estos problemas matemáticos sigan siendo difíciles, su sistema es seguro. No dependieron de ninguna suposición exótica o no probada, ni requirieron que el usuario tuviera hardware cuántico. El único requisito es que el servidor tenga la capacidad cuántica para realizar las operaciones necesarias, lo cual es una expectativa razonable para un proveedor de servicios en la nube en el futuro.

Este trabajo representa un paso significativo hacia la democratización de la seguridad cuántica. Al eliminar la necesidad de que el usuario posea una computadora cuántica, los autores han eliminado la mayor barrera de entrada para la eliminación certificada. La tecnología que describen permite un futuro donde los usuarios puedan cargar sus datos a la nube y tengan una garantía matemática de que pueden ser borrados, una garantía que se mantiene incluso si las claves de cifrado se ven comprometidas más adelante. Transforma el concepto de eliminación de datos de una esperanza en un hecho verificable, fundamentado en las leyes de la física y la dificultad de las matemáticas. El resultado es un sistema donde la confianza ya no es solo una cuestión de política, sino una cuestión de ley física.