Resumen Técnico: Bitcoin Fusionado: Cadenas de Bloques de Prueba de Trabajo con Múltiples Tipos de Hash

1. Planteamiento del Problema

El protocolo Bitcoin, aunque asegura más de un billón de USD en valor, enfrenta riesgos de seguridad significativos asociados con un ataque del 51%. La motivación principal de este trabajo es aumentar el umbral de seguridad del protocolo Bitcoin para mitigar el riesgo de tales ataques catastróficos. Los métodos actuales para aumentar la seguridad, como el incremento del poder de minería honesto mediante circuitos especializados de SHA-256, introducen vulnerabilidades:

• Centralización: La dependencia de circuitos especializados concentra el poder entre agentes con el mejor acceso a ellos.
• Puertas Traseras de Hardware (Backdoors): Un número limitado de fabricantes de ASICs crea un punto único de falla; si se ve comprometido, el protocolo se vuelve vulnerable incluso si la mayoría de los mineros son honestos.
• Avances Cuánticos y Algorítmicos: Los adversarios pueden obtener ventajas asimétricas mediante mejoras algorítmicas o hardware especializado (por ejemplo, el algoritmo de Grover para la aceleración cuántica) dirigido a un único tipo de hash.

Los autores proponen Bitcoin Fusionado (Merged Bitcoin), un protocolo que permite que bloques vinculados por diferentes tipos de hash formen una única cadena. El objetivo es aumentar el costo del ataque, reducir los riesgos de centralización y mitigar las vulnerabilidades específicas de los tipos de hash únicos.

2. Metodología y Marco Teórico

El Modelo de Recursos Aleatorios Múltiples

El artículo modela los nodos (honestos y deshonestos) como poseedores de diversas cantidades de recursos de hash para $n$ diferentes tipos de hash. Estos recursos parametrizan un proceso de llegada de Poisson.

• Tasas de Bloque (Blockrates): El modelo define tasas de bloque honestas ($h_i$) y tasas de bloque deshonestas ($b_i$) para cada tipo de hash $i$, medidas en bloques por segundo.
• Sistema de Puntuación (Score System): A cada tipo de bloque $i$ se le asigna una constante de puntuación $c_i$. La regla de elección de la cadena selecciona la cadena con la mayor puntuación total ($\sum c_i N_i$, donde $N_i$ es el recuento de bloques del tipo $i$).
• Modelo de Red: El análisis opera bajo un modelo de red con retardo limitado por $\Delta$, donde la latencia de la red está acotada por $\Delta$.

Motivación de Información Teórica e Imposibilidad

Los autores investigan inicialmente si la seguridad puede condicionarse a un "Y" (AND) de múltiples umbrales del 51% (es decir, el protocolo es seguro a menos que un adversario controle >50% de cada tipo de hash simultáneamente).

• La Hipótesis del "Gran-Y" (Big-And): Los autores exploran si se puede lograr una probabilidad de error exponencialmente decreciente desde el punto de vista de la información si la inseguridad requiere que un adversario domine todos los tipos de hash.
• Resultado de Imposibilidad (Teorema 10): El artículo demuestra que para cualquier protocolo distribuido sin permiso que satisfaga propiedades específicas (propiedad de cadena, equivalencia de adversario y capacidad de retención del adversario), la región de seguridad del "Gran-Y" es imposible. Si un protocolo es seguro bajo una configuración $(h, b)$, no puede ser seguro bajo la configuración intercambiada $(b, h)$. Esto implica que un protocolo no puede ser seguro siempre que cualquier único tipo de hash tenga menos del 50% de poder adversarial; la inseguridad puede ocurrir incluso si el adversario controla menos del 50% de algunos tipos de hash, siempre que controle lo suficiente de otros.

Análisis de la Región de Seguridad

A pesar de la imposibilidad de la región ideal del "Gran-Y", el artículo deriva límites cerrados para la región de seguridad de Bitcoin Fusionado.

• Condición de Seguridad: Bitcoin Fusionado es seguro si la tasa de crecimiento de la puntuación del adversario ($\lambda_a = \sum c_i b_i$) es estrictamente menor que la tasa de crecimiento de la puntuación honesta ($\lambda_h$) bajo condiciones de retardo total.
• Derivación de Límites:
  • Límite Inferior (Lema 13/17): Derivado mediante un "Proceso de Eliminación de Intervalo Delta", que elimina los bloques que llegan dentro de $\Delta$ de un bloque "garantizado". Esto produce una estimación conservadora de la tasa de crecimiento de la puntuación honesta.
  • Límite Superior (Lema 15/19): Derivado mediante un "Proceso de Incremento de Bloque Pequeño", que aumenta artificialmente la puntuación de los bloques pequeños si llega un bloque más grande dentro de $\Delta$. Esto proporciona un límite superior en la tasa de crecimiento de la puntuación honesta.
• Caso de Retardo Cero: Cuando $\Delta = 0$, la región de seguridad se simplifica a $\sum c_i b_i < \sum c_i h_i$.

3. Contribuciones Clave y Resultados

1. Formalización de Bitcoin Fusionado

El artículo introduce un protocolo donde bloques de diferentes tipos de hash forman una sola cadena, gobernada por una regla de elección de bifurcación basada en puntuación. Proporciona límites cerrados superiores e inferiores para la región de seguridad en el modelo de retardo limitado por $\Delta$.

2. Optimización del Costo de Ataque

En un modelo económico de costo lineal por hash, el artículo demuestra que Bitcoin Fusionado puede maximizar el costo de un ataque.

• Teorema 23: Al elegir apropiadamente las constantes de puntuación $c_i$ de modo que el costo por unidad de puntuación sea igual para todos los tipos de hash ($p_i/c_i$ es constante), el costo mínimo de atacar Bitcoin Fusionado es igual a la suma de los costos de atacar cada protocolo individual por separado ($p_1 h_1 + p_2 h_2$). Se demuestra que este es el costo de ataque óptimo para cualquier protocolo de consenso de múltiples hashes bajo estas restricciones.

3. Mecanismo de Ajuste de Dificultad

Para evitar que el protocolo colapse hacia un único tipo de hash debido a avances tecnológicos o asimetrías de costo, los autores proponen un ajuste de dificultad de fracción mínima.

• Si la fracción de bloques producidos por un tipo de hash específico cae por debajo de un umbral, su dificultad relativa se ajusta incrementalmente hacia abajo. Esto asegura que los mineros vuelvan a entrar al mercado para ese tipo de hash una vez que se vuelva rentable, manteniendo una mezcla diversa de tipos de hash.

4. Comparación con Minotaur

El artículo distingue a Bitcoin Fusionado del protocolo Minotaur (un sistema de Prueba de Trabajo/Prueba de Participación fusionado).

• Interrupción de la Cadena (Chain Outage): Minotaur puede sufrir una interrupción permanente de la cadena si no se producen bloques en un intervalo de recencia; Bitcoin Fusionado no.
• Ataques de Toma de Control (Takeover Attacks): Minotaur es vulnerable a un ataque de toma de control donde un adversario puede eventualmente controlar la cadena con probabilidad 1 si controla cualquier poder de minería, debido al intervalo de recencia finito. Bitcoin Fusionado mantiene una fracción no nula de bloques honestos con probabilidad 1.
• Ataques Prospectivos: Minotaur es vulnerable a ataques prospectivos donde un adversario sabe de antemano que producirá una cadena lateral de alta puntuación (permitiendo el doble gasto dirigido). Bitcoin Fusionado, al depender de los tiempos de llegada de Poisson para el descubrimiento de bloques, evita que los adversarios sepan de antemano si producirán un bloque, mitigando así este vector de ataque.

5. Robustez ante Ventajas Asimétricas

El artículo argumenta que Bitcoin Fusionado proporciona un remedio parcial para las ventajas asimétricas, tales como los ataques cuánticos (algoritmo de Grover) o las puertas traseras de hardware.

• Resistencia Cuántica/de Backdoor: Si un adversario obtiene una ventaja en un tipo de hash (por ejemplo, mediante un circuito cuántico especializado), debe poseer simultáneamente circuitos especializados para todos los tipos de hash para dominar la cadena. Esto aumenta la complejidad y el costo de un ataque exitoso exponencialmente con el número de tipos de hash ($n$), asumiendo la independencia de las probabilidades de ataque.

4. Significado y Reivindicaciones

El artículo afirma que Bitcoin Fusionado ofrece un método riguroso para aumentar el umbral de seguridad de los protocolos tipo Bitcoin sin depender del resultado de imposibilidad del "Gran-Y". Su importancia radica en:

• Maximizar el Costo de Ataque: Demostrar que el protocolo puede ajustarse para que el costo de ataque sea igual a la suma de atacar las cadenas individuales, que es el máximo teórico para los protocolos de múltiples hashes.
• Descentralización: Permitir que las computadoras personales (que pueden ser eficientes en hashes no relacionados con SHA-256 como Ethash) participen de manera viable, redu러ciendo la dependencia de los ASICs especializados.
• Agregación de Confianza: Permitir que las partes con diferentes supuestos de confianza (por ejemplo, un maximalista de Bitcoin y un maximalista de Ethereum) acuerden un único libro contable, ya que la seguridad de la cadena fusionada se deriva del poder honesto agregado de todos los tipos.
• Límites Teóricos: Proporcionar los primeros límites cerrados para la región de seguridad de un protocolo de Prueba de Trabajo de múltiples hashes en una red con retardo limitado.

Los autores reconocen que, si bien la región de seguridad del "Gran-Y" es imposible para los protocolos sin permiso, el protocolo propuesto logra una disminución exponencial comparable en la probabilidad de error contra adversarios limitados por potencia (por ejemplo, limitados por riesgos de puertas traseras de hardware) y maximiza con éxito el costo económico de un ataque. Se identifica como trabajo futuro el análisis de la regla de $k$-confirmaciones y la exploración de protocolos que podrían alcanzar la región del "Gran-Y" si se restringen las capacidades de retención del adversario.