Resumen Técnico: Resiliencia de la Fuga Cuántica en el Reparto de Secretos de Shamir

Planteamiento del Problema

El artículo investiga la resiliencia de la fuga cuántica del esquema estándar y no modificado de reparto de secretos de Shamir sobre campos primos $\mathbb{F}_p$. Aunque el esquema de Shamir se utiliza ampliamente en criptografía de umbral y computación multipartita segura, sus garantías de seguridad asumen tradicionalmente que los conjuntos no autorizados no aprenden nada sobre el secreto. En la práctica, sin embargo, puede exponerse información parcial (fuga).

Los autores extienden el estudio de la resiliencia a la fuga local desde el entorno clásico (donde un adversario obtiene una salida clásica corta, por ejemplo, un bit, de cada parte) al entorno cuántico. En este modelo, el dispositivo de cada parte recibe una parte clásica y produce un único cúbit (o un número pequeño de cúbits) hacia un adversario que puede realizar mediciones conjuntas. El estudio explora además cómo el entrelazamiento precompartido entre los dispositivos de fuga, o entre los dispositivos y el adversario, impacta la seguridad.

Metodología

El artículo emplea una combinación de análisis de Fourier en campos finitos y propiedades de los códigos de Distancia Máxima Separable (MDS) para acotar la ventaja de distinción entre dos estados secretos.

1. Reducción de Pauli-Fourier:

   • La fuga de cada parte se modela como una matriz de densidad $\rho_i(y_i)$. Los autores la expanden en la base de Pauli: $\rho_i(y) = \frac{1}{2}(I + r_{i,X}(y)X + r_{i,Y}(y)Y + r_{i,Z}(y)Z)$.
   • Definen un "presupuesto de Fourier" $W_i(a)$ basado en las magnitudes al cuadrado de los coeficientes de Fourier de las funciones de coeficientes de Pauli.
   • Utilizando la identidad de Parseval y la ortogonalidad de los operadores de Pauli, la ventaja de distinción se acota mediante una suma sobre el código dual de Shamir $C^\perp_0$:
     $$\text{Adv} \leq \sum_{a \in C^\perp_0 \setminus \{0\}} \prod_{i=1}^n \sqrt{W_i(a_i)}$$
   • Esto reduce el problema de la seguridad cuántica al control de una suma ponderada sobre el código dual, similar a las pruebas de fuga clásica, pero complicado por la naturaleza de los coeficientes con valores de matrices.

2. Gestión de Entrelazamiento y Bloques:

   • Bloques Disjuntos: Para dispositivos que comparten entrelazamiento dentro de bloques disjuntos (pero no entre bloques o con el adversario), los autores aplican una desigualdad de Brascamp-Lieb MDS por bloques. Esto les permite acotar la suma de productos de las normas de traza de los coeficientes de Fourier para las salidas de bloque.
   • Entrelazamiento con el Adversario: Para un conjunto de dispositivos $E$ que comparten entrelazamiento arbitrario con el adversario, los autores utilizan un argumento de reducción. Demuestran que si el adversario aprende las partes clásicas de $E$, la seguridad del sistema restante se reduce a un esquema de Shamir no entrelazado con $n-r$ partes y umbral $t-r$.

3. Resultados Negativos (Ataques):

   • El artículo construye un ataque específico utilizando un estado GHZ compartido entre $t$ dispositivos. Al aplicar desplazamientos de fase dependientes de sus partes y medir en la base de Pauli-X, los dispositivos pueden distinguir entre secretos con una alta ventaja, incluso si solo producen un bit clásico cada uno.

Contribuciones Clave y Resultados

1. Fuga Cuántica No Entrelazada

Los autores demuestran que el reparto de secretos de Shamir es seguro contra la fuga cuántica local de un cúbit no entrelazado, siempre que la tasa de umbral $\tau = t/n$ supere un constante específico $\tau^\star \approx 0.73339$.

• Resultado: Si $\tau > \tau^\star + \eta$ (para un $\eta > 0$ fijo), la ventaja de distinción es exponencialmente pequeña ($2^{-\Omega(n)}$).
• Técnica: Esto se deriva de la desigualdad de Brascamp-Lieb MDS por bloques con tamaño de bloque $b=1$.

2. Bloques Entrelazados Disjuntos

La seguridad se extiende a escenarios donde los dispositivos se particionan en bloques disjuntos de tamaño máximo fijo $b$, donde los dispositivos dentro de un bloque pueden compartir entrelazamiento y realizar computaciones conjuntas, pero los bloques son independientes entre sí y del adversario.

• Resultado: La seguridad se mantiene para tasas de umbral suficientemente altas $\tau > \tau^\star(b)$, donde $\tau^\star(b) < 1$. A medida que el tamaño del bloque $b$ aumenta, la tasa de umbral requerida se aproxima a 1.
• Detalles: La Tabla 1 del artículo enumera los umbrales suficientes para tamaños de bloque iguales (por ejemplo, para $b=2$, $\tau \approx 0.933$; para $b=3$, $\tau \approx 0.987$).

3. Fuga con Entrelazamiento con el Adversario

El artículo analiza el caso en el que un número lineal de dispositivos ($r = \delta n$) comparte entrelazamiento arbitrario entre sí y con el adversario.

• Resultado: La seguridad se mantiene si la tasa "residual" satisface:
  $$\frac{\tau - \delta}{1 - \delta} > \tau^\star$$
  Esto implica que, para una tasa de umbral fija $\tau > \tau^\star$, la seguridad se mantiene incluso si una fracción lineal de dispositivos ($\delta < \frac{\tau - \tau^\star}{1 - \tau^\star}$) comparte entrelazamiento con el adversario.

4. Resultado Negativo: Ataque GHZ

Los autores demuestran que si $t$ dispositivos comparten un estado GHZ, el esquema se vuelve inseguro incluso bajo una fuga clásica de un solo bit.

• Mecanismo: $t$ dispositivos comparten un estado GHZ. Cada uno aplica un desplazamiento de fase basado en su parte y mide en la base X; el producto de los resultados revela el secreto con una ventaja de $\cos^2(\pi/(2p)) \approx 1 - O(p^{-2})$.
• Implicación: Este ataque no requiere entrelazamiento con el adversario, solo entre los $t$ dispositivos de fuga. Establece que el número máximo de dispositivos que pueden compartir entrelazamiento arbitrario preservando la seguridad es lineal en $n$ (hasta factores constantes), pero la fracción óptima sigue siendo un problema abierto.

Significación y Reivindicaciones

El artículo afirma iniciar el estudio de la resiliencia de la fuga cuántica para el esquema de reparto de secretos de Shamir estándar y no modificado, ampliamente utilizado.

• Robustez de los Esquemas Estándar: Los resultados muestran que el esquema de Shamir estándar conserva fuertes garantías de seguridad contra la fuga cuántica sin requerir nuevos algoritmos de reparto o cambios en el protocolo, siempre que la tasa de umbral sea lo suficientemente alta (por encima de $\approx 0.733$).
• El Rol del Entrelazamiento: El trabajo destaca una distincción crítica: mientras que la fuga cuántica no entrelazada es manejable con umbrales altos, la presencia de entrelazamiento arbitrario entre los dispositivos de fuga (específicamente un estado GHZ entre $t$ dispositivos) puede romper la seguridad incluso para salidas clásicas.
• Optimidad: Los autores son modestos respecto a la optimidad de sus cotas. Señalan que el umbral suficiente $\tau^\star \approx 0.733$ es mayor que la cota clásica conocida ($\approx 0.668$) y plantean la cuestión de si se puede cerrar esta brecha. Del mismo modo, la fracción exacta de dispositivos entrelazados compatible con la seguridad se deja como un problema abierto.

El artículo concluye que la resiliencia a la fuga cuántica depende fundamentalmente tanto del tamaño de las salidas filtradas como de la estructura de entrelazamiento disponible para los dispositivos de fuga.