En las próximas décadas, el mundo de la computación se encamina hacia un cambio fundamental. Durante décadas, las computadoras más potentes han sido máquinas clásicas, que procesan la información de una manera lineal de unos y ceros. Ahora, está surgiendo una nueva generación de dispositivos, conocidos como computadoras cuánticas. Estas máquinas operan bajo las extrañas leyes de la física cuántica, lo que les permite resolver ciertos problemas con una velocidad que las computadoras clásicas simplemente no pueden igualar. A medida que estos dispositivos pasan de la teoría a la realidad, surge una pregunta crítica: ¿cómo puede una persona con una computadora estándar estar segura de que un dispositivo remoto es verdaderamente cuántico y no solo una imitación ingeniosa? Este es el desafío de las "pruebas de cuántica" (proofs of quantumness). Es un apretón de manos digital donde una máquina cuántica debe demostrar sus capacidades únicas a un observador clásico. Sin embargo, esta interacción conlleva un riesgo oculto. Así como una persona podría intentar engañar a un cajero de un banco para retirar dinero que no le pertenece, un observador deshonesto podría potencialmente engañar a una máquina cuántica para que resuelva problemas difíciles para ellos, robando efectivamente su potencia de cálculo sin pagar por ella.

Un equipo de investigadores ha abordado ahora esta vulnerabilidad introduciendo una nueva capa de seguridad llamada "pruebas de conocimiento cero de cuántica" (zero-knowledge proofs of quantumness). En su trabajo, formalizan un método en el que un dispositivo cuántico puede demostrar que es cuántico sin revelar ninguna información adicional que un observador deshonesto pudiera explotar. Los investigadores demuestran que, en los sistemas actuales, un observador malicioso podría manipular la interacción para extraer datos útiles, como los factores de un número grande o la solución a un rompecabezas matemático complejo, simplemente presentándose como un verificador estándar. El nuevo marco evita esto asegurando que la información obtenida por el observador no sea mayor que la que podría generar una computadora estándar, no cuántica. Esto significa que el poder único del dispositivo cuántico permanece protegido, y el observador no puede usar la interacción para obtener una ventaja injusta.

Los investigadores se centraron en dos de los métodos más destacados utilizados para probar la cuántica en la actualidad. El primero se basa en la dificultad de factorizar números grandes, una tarea que es fácil para las computadoras cuánticas pero difícil para las clásicas. El segundo se basa en un problema matemático que involucra errores en los datos, conocido como aprendizaje con errores (learning with errors). En ambos casos, los investigadores encontraron una forma de mejorar los protocolos existentes. Lo hicieron requiriendo que el observador, el verificador clásico, proporcione un tipo especial de certificado digital antes de que comience la interacción. Este certificado demuestra que el observador no está intentando actuar de manera deshonesta o extraer secretos ocultos. Actúa como una garantía de que el observador se está comportando honestamente o, al menos, no de forma maliciosa. Si el observador intenta usar un número falso o manipulado para engañar a la máquina cuántica, no podrá producir este certificado sin conocer la solución secreta por sí mismo, lo que anula el propósito del engaño.

Para que esto funcione, los investigadores combinaron la prueba cuántica con una herramienta de seguridad clásica conocida como un argumento de conocimiento cero no interactivo extraíble (extractable non-interactive zero-knowledge argument). Esta herramienta permite al sistema verificar que el observador posee el conocimiento secreto necesario para generar el certificado, sin que el observador tenga que revelar nunca dicho conocimiento. Si el observador es honesto, el certificado es válido y la prueba cuántica procede. Si el observador es malicioso e intenta usar un número falso, no puede generar un certificado válido y la interacción falla. Esto crea un sistema donde el dispositivo cuántico está a salvo de la explotación. Los investigadores demostraron que este enfoque funciona tanto para el método basado en la factorización como para el método de aprendizaje con errores. Demostraron que una computadora clásica simulando la interacción podría producir exactamente los mismos resultados que la computadora cuántica, lo que significa que no se filtró información adicional.

La importancia de este trabajo radica en su capacidad para proteger los intereses del propietario del dispositivo cuántico. En un futuro donde las computadoras cuánticas se ofrezcan como un servicio, los usuarios podrían querer verificar que el servidor es verdaderamente cuántico antes de pagar por una tarea. Sin esta nueva capa de seguridad, un usuario deshonesto podría potencialmente engañar al servidor para que resuelva un problema difícil de forma gratuita o, peor aún, extraer la solución de un problema que el propio usuario debía resolver. Al implementar pruebas de conocimiento cero de cuántica, los investigadores aseguran que el proceso de verificación en sí mismo no se convierta en un vacío legal para el robo. El servidor cuántico puede demostrar su potencia sin entregar ninguno de sus secretos o su ventaja computacional.

El estudio también destaca un cambio sutil pero importante en la forma en que se ven estas interacciones. Tradicionalmente, la seguridad en estas pruebas se centraba en asegurar que la máquina cuántica no estuviera mintiendo. Este nuevo enfoque invierte la situación, centrándose en asegurar que el observador no esté mintiendo. Trata al observador como la parte que necesita ser restringida, requiriendo que demuestre que no está actuando de forma maliciosa. Este doble papel, donde tanto el emisor como el verificador desempeñan funciones en un control de seguridad clásico junto con la prueba cuántica, crea un sistema más robusto. Los investigadores encontraron que, para el método de factorización, el observador debe demostrar que conoce los factores de un número. Para el método de aprendizaje con errores, debe demostrar que conoce la clave secreta asociada con los datos. En ambos casos, el requisito de esta prueba impide que el observador utilice la máquina cuántica como una herramienta para resolver sus propios problemas difíciles.

Si bien los investigadores transformaron con éxito estos dos esquemas específicos, reconocen que no todos los métodos para probar la cuántica pueden actualizarse fácilmente de esta manera. Algunos métodos existentes se basan en supuestos diferentes o no se ajustan al formato de desafío y respuesta utilizado en su trabajo. Por ejemplo, los métodos basados en el muestreo de patrones aleatorios son más difíciles de adaptar porque no siguen la misma estructura interactiva. Los investigadores sugieren que, si bien su enfoque es poderoso para los esquemas más comunes, encontrar una solución universal para todos los tipos de pruebas cuánticas sigue siendo una pregunta abierta. También señalan que, para que el sistema sea totalmente seguro contra futuras computadoras cuánticas, las herramientas clásicas subyacentes utilizadas para los certificados deben ser ellas mismas resistentes a los ataques cuánticos. Apuntan a construcciones matemáticas existentes que pueden proporcionar este nivel de seguridad.

En última instancia, este trabajo proporciona un plano para un futuro más seguro en la verificación cuántica. Mueve el campo de una simple prueba de capacidad a una interacción segura y sin necesidad de confianza (trustless) donde la potencia del dispositivo cuántico es respetada. Al formalizar el concepto de conocimiento cero en este contexto, los investigadores han demostrado que es posible verificar la naturaleza cuántica sin comprometer la integridad de la máquina cuántica. Este es un paso crucial hacia el despliegue práctico de los servicios cuánticos, asegurando que la transición a la era cuántica se construya sobre una base de seguridad y confianza. El resultado es un sistema donde la potencia única de la computación cuántica puede demostrarse y utilizarse sin el temor de ser explotada por aquellos que buscan robar sus secretos.