Strategies for quantum-enabled Bitcoin miners

Resumen Técnico: Estrategias para Mineros de Bitcoin Habilitados por Computación Cuántica

Planteamiento del Problema
La seguridad de la red Bitcoin se basa en la suposición de que ejecutar un "ataque del 51%" —donde un consorcio controla la mayoría del poder computacional de la red para realizar un doble gasto o revertir transacciones— es prohibitivamente costoso. Si bien trabajos previos han sugerido teóricamente que el algoritmo de Grover podría reducir el costo de tal ataque al proporcionar una aceleración cuadrática en la resolución del problema de la Prueba de Trabajo (PoW), estos estudios a menudo se basaron en modelos adversariales estrechos. Específicamente, los modelos anteriores restringían a los mineros cuánticos a una única medición cuántica por cada carrera de minería y a una estrategia "pacífica" (descartar la búsqueda tras la difusión de un nuevo bloque). Este documento aborda la brecha mediante el estudio del impacto de dos mineros cuánticos agresivos y no coludidos sobre el umbral de ataque del 51% dentro de un modelo adversarial más realista. El problema central es determinar las estrategias de minería cuántica óptimas para dos mineros competidores que pueden realizar múltiples mediciones y utilizar la estrategia de minería cuántica agresiva (AQMS) de Sattath, y cuantificar el efecto resultante en la tasa de bloques obsoletos ($p_{stale}$) y en el umbral efectivo de ataque del 51%.

Metodología
Los autores extienden el marco de teoría de juegos de Carreras Cuánticas de Dos Jugadores Simétricos (S2QR) para modelar la competencia entre dos mineros cuánticos, Alice y Bob, dentro de una red Bitcoin que, por lo demás, es clásica.

1. Extensiones del Modelo:

   • Múltiples Mediciones: A diferencia de los modelos anteriores que asumían una sola medición, este modelo permite a los mineros realizar $c$ mediciones cuánticas entre bloques sucesivos.
   • Estrategia Agresiva: El modelo incorpora la AQMS de Sattath, donde los mineros detienen su búsqueda y miden inmediatamente al recibir la difusión de un nuevo bloque, en lugar de descartar su esfuerzo computacional. Esta estrategia aumenta la correlación entre los tiempos de medición y el descubrimiento de bloques, aumentando potencialmente la tasa de bloques obsoletos.
   • Restricciones de Recursos: Los mineros operan bajo un presupuesto acumulado de iteraciones de Grover $\kappa$, distribuido a través de $c$ mediciones. El espacio de estrategias consiste en la asignación de estas iteraciones para maximizar la probabilidad de ser el primero en encontrar un bloque válido.

2. Formulación de Teoría de Juegos:

   • La competencia se modela como un juego estratégico donde Alice y Bob eligen estrategias puras (vectores de iteraciones de Grover para cada una de sus $c$ mediciones).
   • Matrices de Pago: Los autores derivan expresiones cerradas para las matrices de pago ($A$ y $B$) para ambos jugadores. Estas matrices consideran:
     • La probabilidad de éxito del algoritmo de Búsqueda Cuántica de Presupuesto Finito (FQS) basada en el número de iteraciones de Grover.
     • La estructura aditiva de los pagos a través de múltiples mediciones.
     • Los términos introducidos por la AQMS, que modifican los pagos cuando un minero mide después de que un oponente ya ha encontrado una solución (o cuando las mediciones ocurren simultáneamente).
   • Computación del Equilibrio: Los equilibrios de Nash óptimos se identifican como tales. Debido a la explosión combinatoria del espacio de estrategias (que crece con $c$), los autores emplean un heurístico para muestrear el espacio de estrategias puras y utilizan el algoritmo de Lemke-Howson para computar equilibrios de Nash exactos.

3. Simulación:

   • Para evaluar el impacto en la seguridad, los autores realizan simulaciones de Monte Carlo (1,000,000 de días) utilizando los equilibrios de Nash computados.
   • Las simulaciones rastrean la tasa de bloques obsoletos ($p_{stale}$), definida como la relación entre los bloques fuera de la cadena más larga y el total de bloques.
   • El estudio evalúa si $p_{stale}$ excede el umbral crítico de $1/3$, lo que reduciría el umbral efectivo de ataque del 51% al 40% o menos.
   • Las simulaciones se llevan a cabo en tres regímenes de dificultad de red: Baja ($D \le 2^{32}$), Alta ($D > 2^{32}$, reflejando las dificultades actuales y proyectadas), e Ideal (donde el oráculo cuántico codifica el encabezado completo del bloque).

Contribuciones Clave

• Inclusión de Estrategia Novedosa: El artículo introduce la "Estrategia de Minería Cuántica Agresiva" (AQMS) en un marco de teoría de juegos, analizando su impacto junto con las múltiples mediciones cuánticas.
• Matrices de Pago Generalizadas: Los autores derivan la estructura matemática de las matrices de pago para $c$ mediciones cuánticas, extendiendo el modelo S2QR para manejar la naturaleza acumulativa de múltiples intentos y las correlaciones temporales específicas inducidas por la AQMS.
• Computación de la Estrategia Óptima: El estudio computa las estrategias de minería cuántica óptimas (equilibrios de Nash) para $c \in \{1, 2, 3, 4\}$ a través de diferentes regímenes de dificultad, revelando cómo los mineros deben asignar sus presupuestos de iteración de Grover.
• Cuantificación de la Seguridad: El documento proporciona una evaluación cuantitativa del umbral de ataque del 5% bajo estas estrategias óptimas, yendo más allá de las posibilidades teóricas hacia resultados simulados.

Resultados

• Estrategias Óptimas:
  • En el Régimen de Alta Dificultad (actual y proyectado), la estrategia óptima para ambos mineros es asignar todos los recursos a la medición final. El pago esperado es extremadamente bajo ($\approx 8.9 \times 10^{-5}$), y los mineros son estadísticamente indistinguibles de los mineros clásicos.
  • En los Regímenes de Baja Dificultad e Ideal, los mineros distribuyen los recursos a través de múltiples mediciones. Para $c=2$, los recursos se dividen para equilibrar la probabilidad de éxito frente a la ventaja temporal. Para $c \ge 3$, los mineros a menudo concentran los recursos en menos mediciones o realizan cero iteraciones en algunos intentos para maximizar la probabilidad de éxito cuadrática de otros.
• Tasa de Bloques Obsoletos y Umbral de Ataque del 51%:
  • Alta Dificultad: El impacto en la tasa de bloques obsoletos es insignificante. Los percentiles 95 y 99 de $p_{stale}$ son efectivamente cero. La probabilidad de que $p_{stale}$ exceda el umbral de $1/3$ es cero. La red produce los 144 bloques diarios esperados, y la presencia de mineros cuánticos es indetectable.
  • Baja Dificultad/Ideal: Estos regímenes muestran un aumento significativo en $p_{stale}$, con algunos días simulados acercándose al benchmark de $1/3$. Sin embargo, la probabilidad empírica de $p_{stale} > 1/3$ es ínfima ($10^{-6}$ a $10^{-8}$).
  • Detección: En los regímenes de Baja Dificultad e Ideal, la presencia de mineros cuánticos es estadísticamente segura de ser detectada ($P_{det} = 1$) debido a la tasa de bifurcación anómala, mientras que en el régimen de Alta Dificultad, la detección es insignificante.

Significancia y Reivindicaciones
El artículo concluye que la amenaza planteada por dos mineros cuánticos no coludidos compitiendo entre sí en la red Bitcoin es insignificante en el futuro previsible.

• Preservación de la Seguridad: Incluso bajo los supuestos más agresivos (múltiples mediciones, AQMS y juego óptimo), la tasa de bloques obsoletos resultante no supera de manera sostenible el umbral requerido para que un ataque del 51% sea factible. La red Bitcoin permanece segura contra este modelo adversarial específico.
• Realismo: Los autores enfatizan que los regímenes donde $p_{stale}$ aumenta significativamente (Baja Dificultad e Ideal) son improbables en la práctica. El régimen de Baja Dificultad requiere una dificultad de red no vista desde el inicio de Bitcoin, y el régimen Ideal requiere un oráculo cuántico capaz de codificar el encabezado de bloque de 640 bits, lo cual es tecnológicamente inviable en la actualidad.
• Detección: En los escenarios donde la tasa de bloques obsoletos aumenta, la red detectaría estadísticamente a los mineros cuánticos de inmediato, permitiendo posibles contramedidas.
• Alcance Modesto: Los autores señalan que su modelo representa un "escenario de mejor caso" para los mineros cuánticos, ya que ignora los costos asociados con la preparación del estado y la construcción del oráculo. Por consiguiente, el impacto real en la tasa de bloques obsoletos sería probablemente incluso menor de lo predicho. El trabajo establece una base para estudiar un mayor número de mineros o estrategias de colusión, pero afirma que, para dos mineros, el umbral de ataque del 51% sigue siendo robusto.