⚛️ quantum physics

One-sided DI-QKD secure against coherent attacks over long distances

Este artículo presenta un protocolo de QKD independiente de dispositivos de un solo lado que logra seguridad contra ataques coherentes con eficiencias de detección superiores al 50.1% en el lado no confiable, permitiendo una implementación de larga distancia comparable a la QKD estándar al colocar la fuente de estado cerca del dispositivo no confiable.

Autores originales: Michele Masini, Shubhayan Sarkar

Publicado 2026-06-18

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Michele Masini, Shubhayan Sarkar

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que tú y un amigo quieren compartir un código secreto (una "llave") para bloquear sus mensajes de modo que nadie más pueda leerlos. En el mundo de la física cuántica, tenemos una forma especial de hacer esto llamada Distribución de Claves Cuánticas (QKD). Es como una cerradura mágica que se rompe si alguien intenta espiar, gracias a las leyes de la física.

Sin embargo, hay un inconveniente: normalmente tienes que confiar en que tu cerradura y la de tu amigo sean perfectas. Si las cerraduras están ligeramente rotas o fabricadas por un fabricante dudoso, un hacker podría colarse y robar tu secreto sin que te des cuenta.

El Problema: El dilema de la "Cerradura Perfecta"

Los científicos han intentado resolver esto creando protocolos Independientes del Dispositivo (DI). Piensa en esto como un sistema donde no necesitas confiar en las cerraduras en absoluto; solo tienes que comprobar si la magia está funcionando. Pero tiene un gran inconveniente: estos sistemas de "confianza cero" son increíblemente frágiles. Necesitan capturar casi cada una de las partículas de luz (fotones) que envían. Si incluso unas pocas se pierden en los cables de fibra óptica (lo cual sucede en largas distancias), el sistema falla. Es como intentar jugar a atrapar la pelota en un huracán; si la pelota se pierde con demasiada frecuencia, no puedes jugar.

La Solución: El compromiso "Semi-Confiable"

Este artículo presenta un ingenioso punto medio llamado QKD de un Lado Independiente del Dispositivo (1SDI).

Imagina un escenario en el que tú (Alice) tienes una cerradura de alta tecnología, certificada y confiable en tu laboratorio seguro. Tu amigo (Bob), sin embargo, está usando una cerradura de "caja negra" que podría ser vieja, estar rota o incluso construida por un posible hacker.

La forma antigua: En los montajes estándar, el lado de la "caja negra" tenía que ser perfecto, o de lo contrario todo fallaba.
La nueva forma: Los autores muestran que, mientras tu lado sea confiable, el de Bob puede ser un poco desastroso. Incluso si el detector de Bob pierde más de la mitad de las pelotas (partículas de luz), tú aún puedes generar una clave secreta de forma segura.

El Gran Avance: La línea mágica del 50%

La parte más emocionante de este artículo es el número 50.1%.

Piensa en el detector de Bob como una red que intenta atrapar peces.

Si la red tiene agujeros tan grandes que atrapa menos del 50% de los peces, es imposible demostrar que los peces son reales (seguros).
Los autores demostraron que si la red de Bob atrapa justo por encima del 50% de los peces, aún puedes generar una clave secreta que esté matemáticamente garantizada como segura, incluso si el hacker utiliza los trucos más sofisticados (llamados "ataques coherentes").

Esto es algo enorme porque el 50% es el límite teórico. Realmente no puedes bajar mucho más de eso. Ellos lograron alcanzar casi el límite absoluto de lo que es físicamente posible.

Cómo lo hicieron: La regla de "Sin Filtros"

Intentos anteriores para hacer que esto funcionara utilizaban un truco llamado "post-selección". Esto es como decir: "Solo contaremos las rondas donde Bob atrapó un pez, y descartaremos todas las rondas donde él falló".

El fallo: Si descartas datos, un hacker astuto puede esconder su trampa en las rondas "fallidas".
La solución: Este artículo dice: "¡No descartes nada!". Incluso si el detector de Bob no hace clic (un "fallo"), mantienes ese dato en el registro. Al analizar la imagen completa —incluyendo los fallos— demostraron que el sistema es seguro contra los tipos más generales de ataques.

La Prueba de Distancia: ¿Qué tan lejos podemos llegar?

Los autores también se preguntaron: "¿Qué tan lejos podemos enviar esta clave secreta?".
En los sistemas estándar de "confianza cero", la distancia es muy corta porque la luz se pierde en los cables. Pero en este nuevo montaje, colocaron la "fuente de luz" justo al lado del laboratorio de Bob.

El montaje: La luz comienza cerca de Bob (para que él no pierda ninguna) y viaja una larga distancia hasta Alice.
El resultado: Calcularon que, con la tecnología actual, este sistema podría enviar claves de forma segura a lo largo de 247 kilómetros (unas 153 millas). Esto es comparable a las distancias utilizadas en los sistemas estándar, menos seguros.

El Escenario del Mundo Real

Imagina un banco (Alice) y un servidor remoto (Bob).

El banco confía completamente en su propio equipo.
El servidor está en otra ciudad, y su equipo podría ser viejo o estar mantenido por un tercero.
Usando este nuevo método, el banco puede establecer una conexión súper segura con el servidor, incluso si el equipo del servidor es solo un 50% eficiente al captar las señales.

Resumen

Este artículo toma un protocolo antiguo y famoso (BB84) y lo actualiza con matemáticas modernas para demostrar que funciona incluso cuando un lado no es confiable.

Confía solo en un lado: Necesitas confiar en tu propio dispositivo, pero no necesitas confiar en el de la otra persona.
La baja eficiencia está bien: El dispositivo de la otra persona solo necesita funcionar el 50.1% de las veces.
Sin descarte de datos: Mantienes todos los datos, incluso los "fallos", lo que hace que el sistema sea seguro contra hackers inteligentes.
Largas distancias: Puede funcionar a lo largo de cientos de kilómetros, lo que lo hace práctico para el uso en el mundo real.

En resumen, encontraron una manera de hacer que la seguridad cuántica sea lo suficientemente robusta como para sobrevivir en el mundo real, donde el equipo no es perfecto y las distancias son largas.

Resumen Técnico: QKD de un solo lado (1SDI) seguro contra ataques coherentes a largas distancias

Planteamiento del problema
La Distribución de Claves Cuánticas (QKD) ofrece una comunicación demostrablemente segura, pero depende de supuestos estrictos sobre el comportamiento de los dispositivos, lo que crea posibles brechas de seguridad si los dispositivos se desvían de sus modelos matemáticos. Los protocolos de QKD de Independencia de Dispositivo (DI) abordan esto minimizando los supuestos sobre los dispositivos; sin embargo, actualmente están limitados en distancia de transmisión debido a la extrema sensibilidad a las pérdidas de fotones, lo que requiere eficiencias de detección que son difíciles de lograr en fibras largas. Por el contrario, la QKD estándar de Dependencia de Dispositivo es robusta en distancia, pero carece de seguridad contra las imperfecciones de los dispositivos. Existe la necesidad de protocolos que equilibren los supuestos realistas de los dispositivos con la implementabilidad a larga distancia, manteniendo al mismo tiempo la seguridad contra la clase más general de ataques, específicamente los ataques coherentes.

Metodología
Los autores proponen un protocolo de QKD de un solo lado de Independencia de Dispositivo (1SDI) basado en una versión de esquema BB84 basada en el entrelazamiento. El escenario involucra a dos partes, Alice y Bob, que comparten un estado entrelazado.

Modelo de Confianza: El dispositivo de Alice es "semi-confiable" (se confía en que realiza dos observables anticonmutadores con resultados discretos, aunque la dimensión del espacio de Hilbert es sin restricciones), mientras que el dispositivo de Bob y la fuente del estado son completamente no confiables.
Configuración: Para mitigar las pérdidas, la fuente no confiable se posiciona cerca del laboratorio de Bob. Esto minimiza la pérdida de transmisión hacia el lado no confiable, mientras que las pérdidas en el lado confiable de Alice se gestionan descartando las rondas de no detección (supuesto de muestreo justo).
Marco de Seguridad: A diferencia de los protocolos 1SDI anteriores que dependen de la post-selección de resultados de la parte no confiable (lo que invalida las pruebas de seguridad contra ataques coherentes), este protocolo retiene todos los resultados de Bob, incluyendo los eventos de no detección ( $\emptyset$ ). Esto permite la aplicación del Teorema de Acumulación de Entropía Generalizado (GEAT) para demostrar la seguridad contra ataques coherentes.
Análisis de la Tasa de Clave: La tasa de clave asintótica está acotada inferiormente utilizando la fórmula de Devetak-Winter: $r_\infty \ge H(A_1|E) - H(A_1|B_1)$ $r_{\infty} \geq H (A_{1} ∣ E) - H (A_{1} ∣ B_{1})$ .
- $H(A_1|B_1)$ se calcula a partir de las estadísticas observadas.
- $H(A_1|E)$ $H (A_{1} ∣ E)$ (la entropía de Von Neumann condicional que acota la información de Eve) se estima utilizando dos técnicas:
  1. Analítica: Basada en cotas derivadas para espacios de dos dimensiones y extendidas a dimensiones arbitrarias mediante el lema de Jordan.
  2. Numérica: Utilizando la técnica de Brown-Fawzi-Fawzi (BFF), un enfoque de programación semidefinida (SDP) basado en la jerarquía NPA, que optimiza la cota de entropía utilizando la distribución de probabilidad completa $p(a,b|x,y)$ .

Contribuciones Clave

Seguridad contra Ataques Coherentes: El trabajo demuestra que un protocolo 1SDI con dos mediciones por parte es seguro contra ataques coherentes sin realizar post-selección en el lado no confiable. Esto se logra satisfaciendo las restricciones de no señalización requeridas por el GEAT.
Umbral de Eficiencia de Detección: Los autores establecen un umbral de seguridad para la eficiencia de detección de Bob en el lado no confiable del 50.1%. Esto es casi el límite teórico para protocolos con dos mediciones no confiables, ya que cualquier protocolo con una eficiencia inferior al 50% permite la mensurabilidad conjunta de los observables de Bob, lo que hace que el protocolo sea inseguro.
Viabilidad a Larga Distancia: Al colocar la fuente cerca de la parte no confiable (Bob), el protocolo minimiza las pérdidas en el canal crítico no confiable. Los autores estiman que, bajo parámetros experimentales realistas (90% de eficiencia de detección total para Bob, 99% de visibilidad del estado y tasa de conteo oscuro de $10^{-6}$ ), el protocolo puede implementarse en distancias de hasta 247 km.
Estrategias de Optimización: El estudio explora el uso de estados parcialmente entrelazados y el pre-procesamiento ruidoso. Si bien se encontró que los estados máximamente entrelazados son óptimos para el caso específico del umbral del 50.1%, el análisis muestra que para visibilidades más bajas, los estados parcialmente entrelazados combinados con el pre-procesamiento ruidoso pueden mejorar la tasa de clave.

Resultados

Tasa de Clave vs. Eficiencia: Utilizando la técnica numérica BFF con estadísticas completas (manteniendo la no detección de Bob como un resultado separado), el protocolo mantiene una tasa de clave positiva hasta una eficiencia de detección del 50.1%.
Robustez al Ruido: Se analizó la robustez del protocolo contra el ruido de depolarización y los conteos oscuros. Los resultados indican que, si bien la mensurabilidad conjunta de los observables de Bob establece un límite estricto de inseguridad, existe una región donde la tasa de clave es no positiva incluso cuando las mediciones no son conjuntamente mensurables, lo que sugiere espacio para un mayor refinamiento del protocolo.
Estimación de Distancia: Bajo el supuesto de que la fuente está co-localizada con Bob, el protocolo alcanza una tasa de clave positiva a aproximadamente 247 km, una distancia comparable a los protocolos de QKD estándar, siempre que el lado no confiable mantenga una alta eficiencia de detección.

Significancia
El artículo afirma cerrar la brecha entre la alta seguridad de los protocolos de Independencia de Dispositivo y la capacidad de larga distancia de la QKD estándar. Al aplicar marcos teóricos recientes (técnicas GEAT y BFF) a un escenario modificado de BB84, los autores demuestran que la QKD 1SDI puede ser segura contra ataques coherentes con eficiencias de detección que están dentro de las capacidades experimentales actuales. El trabajo sugiere que el límite teórico para los protocolos de dos mediciones (50%) es prácticamente alcanzable, ofreciendo una vía viable para la comunicación cuántica de alta seguridad y larga distancia, donde el dispositivo de una parte puede ser confiable hasta cierto grado (semi-confiable) mientras que el otro permanece no confiable. Los autores señalan que estos resultados han sido confirmados independientemente en trabajos posteriores que utilizan pruebas de Bell locales.