Towards defending crosstalk-mediated attacks in multi-tenant quantum computing

Título: Hacia la defensa de ataques mediados por diafonía en la computación cuántica multi-tenant

1. El Problema

Con el auge de la computación en la nube cuántica y la demanda de hardware, se han propuesto entornos multi-tenant (multi-usuario) para optimizar el uso de recursos, permitiendo que múltiples usuarios ejecuten circuitos cuánticos simultáneamente en una misma Unidad de Procesamiento Cuántico (QPU). Sin embargo, este paradigma introduce vulnerabilidades de seguridad críticas:

• Ataques de Diafonía (Crosstalk): Un actor malicioso puede explotar los canales de ruido de diafonía del hardware para degradar la fidelidad de los cálculos de un usuario legítimo ("víctima").
• Mecanismo del Ataque: El ataque no requiere acceso directo a los qubits de la víctima, sino que se ejecuta en qubits adyacentes. La ejecución de operaciones (como puertas CNOT) en los qubits del atacante induce un acoplamiento no deseado (por ejemplo, acoplamiento ZZ) con los qubits de la víctima, corrompiendo sus resultados.
• Falta de Defensas Robustas: Aunque se han sugerido contramedidas como qubits de amortiguación (buffer) o algoritmos de compilación, la efectividad de la Desacoplamiento Dinámico (DD) basado en puertas como defensa contra estos ataques específicos no había sido probada exhaustivamente en escenarios de ataque activo.

2. Metodología

Los autores diseñaron un experimento de concepto (proof-of-concept) utilizando la QPU de 127 qubits ibm_brisbane de IBM.

• Configuración Atacante-Víctima:

  • Víctima: Ejecuta el algoritmo de Búsqueda de Grover en 3 qubits (para buscar el estado marcado '111').
  • Atacante: Ejecuta una secuencia repetitiva de puertas CNOT en qubits adyacentes a los de la víctima, con diferentes estados iniciales para el qubit de control ($|0\rangle$, $|1\rangle$, $|+\rangle$). Se probaron hasta 45 puertas CNOT distribuidas durante la ejecución.
  • Escenarios de Prueba: Se evaluaron cuatro escenarios:
    1. Sin ataque (línea base).
    2. Sin ataque pero con DD aplicado.
    3. Ataque sin mitigación.
    4. Ataque con mitigación (probando DD, qubit buffer, y la combinación de ambos).

• Estrategias de Mitigación Evaluadas:

  1. Desacoplamiento Dinámico (DD) basado en puertas: Se implementaron secuencias de puertas de un solo qubit (específicamente XX y XYXY) en las ventanas de tiempo inactivo de los qubits de la víctima. Estas secuencias son equivalentes a la identidad pero suprimen las interacciones con el entorno.
  2. Qubit de Amortiguación (Buffer): Se asignó un qubit inactivo (buffer) entre los qubits del atacante y los de la víctima para aislar físicamente la diafonía.
  3. Combinación: Uso simultáneo de secuencias DD y un qubit buffer.

• Métricas: Se midió la fidelidad ($F_G$) del estado final de la víctima en comparación con el estado ideal, utilizando 4096 disparos de medición por prueba.

3. Contribuciones Clave

• Validación Empírica de DD contra Ataques: El trabajo demuestra que las secuencias DD genéricas (XX y XYXY), aunque no están optimizadas específicamente para el patrón de ruido de un ataque concreto, son efectivas para mitigar ataques de diafonía.
• Sinergia de Contramedidas: Se establece que la combinación de DD y un qubit buffer ofrece un rendimiento superior al uso de cualquiera de las dos técnicas por separado.
• Análisis de Estabilidad: Se identifica que, aunque el buffer mejora la fidelidad promedio, el DD es superior para reducir la fluctuación (varianza) de la fidelidad a medida que aumenta la intensidad del ataque.
• Relevancia para Interferencia No Intencional: Los autores señalan que estas técnicas no solo sirven para seguridad, sino también para mitigar interferencias accidentales en entornos de programación múltiple.

4. Resultados

Los experimentos arrojaron los siguientes hallazgos cuantitativos y cualitativos:

• Impacto del Ataque: En el escenario de "Ataque sin mitigación", la fidelidad de la víctima se degradó significativamente (por ejemplo, cayendo de ~0.76 a ~0.48 en el estado inicial $|0\rangle$), confirmando la vulnerabilidad a la diafonía incluso con puertas CNOT inactivas en apariencia.
• Efectividad Individual:
  • DD Solo: Recuperó parte de la fidelidad perdida y, crucialmente, estabilizó los resultados (redujo la desviación estándar), aunque no siempre alcanzó el nivel de fidelidad del escenario "Sin ataque".
  • Buffer Solo: Logró recuperar la fidelidad promedio a niveles cercanos o incluso superiores al escenario "Sin ataque" en algunos casos, pero con mayor fluctuación en los resultados.
• Efectividad Combinada (DD + Buffer): Esta estrategia fue la más robusta. En casi todas las pruebas, la fidelidad promedio combinada superó la del escenario de ataque sin mitigación y, en muchos casos, igualó o superó la fidelidad del escenario "Sin ataque" (incluso con DD).
  • Ejemplo: Para el estado inicial $|0\rangle$, la fidelidad combinada alcanzó 0.805 ± 0.003, recuperando casi completamente el rendimiento ideal frente al ataque.
• Overhead: La implementación de DD aumentó la profundidad del circuito en un 4% (secuencia XX) y un 15% (secuencia XYXY), un costo aceptable dado el beneficio de seguridad.

5. Significado e Implicaciones

• Seguridad en la Nube Cuántica: El estudio proporciona una defensa práctica y de bajo costo para proveedores de servicios cuánticos y usuarios. Dado que las secuencias DD (XX, XYXY) se pueden implementar fácilmente mediante funciones integradas en lenguajes como Qiskit, su adopción es viable sin necesidad de hardware especializado.
• Política de Asignación de Recursos: Sugiere que los proveedores de QPU podrían implementar automáticamente estas contramedidas (especialmente la combinación de buffer y DD) durante la asignación de qubits para proteger la integridad de los trabajos de los usuarios honestos.
• Robustez Operativa: Más allá de la seguridad maliciosa, estas técnicas son esenciales para garantizar la fiabilidad de los cálculos en entornos de alta densidad donde múltiples circuitos se ejecutan en proximidad física, mitigando errores no intencionales que podrían arruinar experimentos científicos o industriales.

En conclusión, el papel demuestra que la combinación de desacoplamiento dinámico basado en puertas y aislamiento mediante qubits buffer constituye la estrategia óptima actual para defenderse de los ataques de diafonía en la computación cuántica multi-tenant, ofreciendo un equilibrio efectivo entre seguridad, estabilidad y recursos computacionales.