Resumen Técnico: Consenso de Prueba de Trabajo Determinísticamente Seguro y Rápido

Declaración del Problema

Las cadenas de bloques sin permiso (permissionless) enfrentan un compromiso fundamental entre las garantías de seguridad y el rendimiento. Los protocolos existentes generalmente se dividen en dos categorías: Prueba de Participación (PoS) y Prueba de Trabajo (PoW), ambas con vulnerabilidades específicas:

• Vulnerabilidades de PoS: Los protocolos PoS son susceptibles a ataques de largo alcance (long-range attacks), donde los adversarios adquieren claves históricas para fabricar historias de ejecución alternativas a bajo costo. Defenderse de esto requiere típicamente mecanismos externos (por ejemplo, consenso social o puntos de control seguros), lo que socava la naturaleza autónoma del sistema.
• Vulnerabilidades de PoW: Los protocolos PoW tradicionales (como Bitcoin) evitan los ataques de largo alcance pero dependen de garantías de seguridad probabilísticas. Esto deja abierta la posibilidad de que un atacante cree con éxito una historia alternativa. Además, lograr la seguridad determinista en PoW ha resultado históricamente en protocolos prohibitivamente lentos (por ejemplo, latencia exponencial) o requirió modelos restrictivos.

El desafío central abordado por este artículo es el "ataque de viaje en el tiempo" (time-travel attack). En un entorno totalmente sin permiso, los protocolos de disponibilidad dinámica (que permiten que los nodos se unan y abandonen) dependen de argumentos de intersección de quórum. Sin embargo, en un entorno sin permiso, los nodos bizantinos pueden generar mensajes en el pasado distante, almacenarlos y liberarlos más tarde para distorsionar el quórum percibido de los nodos correctos en el presente. Este "viaje en el tiempo" invalida la lógica de intersección de quórum, volviendo inseguros los protocolos de difusión dinámica estándar sin supuestos de confianza externos.

Metodología: Sieve-MMR

Los autores proponen Sieve-MMR, el primer protocolo de Difusión de Orden Total (TOB) de Prueba de Trabajo totalmente sin permiso que logra seguridad determinista y latencia esperada constante sin depender de mecanismos externos. El sistema se construye sobre dos capas distintas:

1. La Capa Inferior: Sieve y TTRB

La principal contribución técnica es Sieve, un nuevo algoritmo que implementa una primitiva de difusión llamada Difusión Resiliente al Viaje en el Tiempo (TTRB).

• Objetivo: TTRB asegura que los mensajes entregados en una ronda dada fueron generados en la ronda inmediatamente anterior, filtrando mensajes "antiguos" (time-traveling).
• Mecanismo: Sieve utiliza una primitiva de Prueba de Trabajo Determinística (DPoW). Construye un Grafo Acíclico Dirigido (DAG) de evaluaciones DPoW donde los mensajes son vértices y las aristas representan la inclusión en "cofres" (sets de mensajes de la ronda anterior incluidos en el payload de un nuevo mensaje).
• Políticas de Filtrado: Sieve emplea dos estrategias de filtrado para podar el DAG e identificar mensajes válidos:
  • Online-Sieve: Utilizado por nodos que estuvieron activos en el paso anterior. Filtra eficientemente los mensajes verificando si la intersección del cofre de un mensaje y el conjunto de mensajes válidos de dos pasos atrás excede un umbral ponderado ($1-\rho$).
  • Bootstrap-Sieve: Utilizado por nodos que se unen al sistema o se recuperan de la inactividad. Realiza un análisis computacionalmente más intensivo de todo el historial del DAG para reconstruir el conjunto de mensajes válidos del paso anterior, asegurando que el nodo no acepte mensajes antiguos que puedan confundir su visión del quórum.
• Supuestos: Sieve asume una red síncrona y que los adversarios controlan menos de la mitad ($\rho \le 1/2$) del poder de computación DPoW total durante cualquier intervalo suficientemente largo.

2. La Capa Superior: MMR

La lógica de consenso se deriva del protocolo MMR (Malkhi et al.), un protocolo PoS rápido y determinísticamente seguro diseñado para el modelo de "disponibilidad dinámica".

• Integración: Al situar MMR sobre Sieve, los autores desacoplan la lógica de consenso de la lógica de participación sin permiso. Sieve proporciona las garantías de entrega de mensajes (TTRB) que MMR requiere para mantener la intersección de quórum.
• Elección de Líder: Sieve-MMR utiliza un componente de elección de líder probabilístico basado en el oráculo aleatorio DPoW para determinar sobre qué cadena votar o realizar el commit en cada paso.

Contribuciones Clave

1. Difusión Resiliente al Viaje en el Tiempo (TTRB): Una nueva abstracción de difusión que garantiza una capa de mensajería inmune a los ataques de viaje en el tiempo, asegurando que los mensajes entregados sean causalmente consistentes con la ronda actual.
2. Algoritmo Sieve: Un nuevo protocolo que implementa TTRB utilizando una primitiva DPoW de caja negra. Introduce el concepto de "cofres" y la poda basada en DAG para distinguir entre mensajes actuales y antiguos.
3. Protocolo Sieve-MMR: El primer protocolo de TOB totalmente sin permiso que logra:
   • Seguridad Determinista: No hay modos de falla probabilísticos respecto a la seguridad (dentro del modelo Dolev-Yao).
   • Latencia Esperada Constante: Las transacciones se consolidan en un número constante de pasos (esperado 7 pasos, caso óptimo 3 pasos).
   • Sin Confianza Externa: No depende de consenso social o puntos de control externos para prevenir ataques de largo alcance.

Resultados y Garantías

• Seguridad: Sieve-MMR garantiza consistencia (todos los nodos correctos consolidan cadenas compatibles) y progreso (las cadenas eventualmente crecen). Hereda la capacidad de MMR para tolerar un adversario limitado a $1/3$ en la capa de consenso, mientras que Sieve por sí mismo tolera un adversario limitado a $1/2$ en la capa de mensajería.
• Latencia: El protocolo logra una latencia esperada constante, una mejora significativa sobre los protocolos de PoW deterministas previos que sufrían de latencia exponencial en relación con el número de participantes.
• Modelo de Seguridad: Las afirmaciones de seguridad se mantienen dentro de un modelo de estilo Dolev-Yao donde los adversarios no pueden romper las primitivas criptográficas o adivinar los mensajes. El protocolo asume una red síncrona y depende de la difusión todos-contra-todos (all-to-all), incurriendo en costos de ancho de banda cuadráticos respecto al número de nodos activos.

Significancia y Limitaciones

El artículo posiciona a Sieve-MMR como un paso teórico significativo hacia un consenso de PoW práctico, rápido y seguro. Demuestra que la vulnerabilidad de "viaje en el tiempo", anteriormente considerada una barrera fundamental para portar la difusión de baja latencia a entornos sin permiso, puede mitigarse mediante el mecanismo Sieve.

Sin embargo, los autores son modestos respecto a su implementación práctica inmediata, señalando varios obstáculos:

• Complejidad Computacional: La fase de Bootstrap-Sieve requiere resolver un problema de tiempo exponencial sobre el historial de ejecución del protocolo. Aunque los nodos no están obligados a completarlo en un tiempo fijo, deben hacerlo antes de la participación activa, lo que representa una barrera significativa para los nuevos nodos.
• Supuestos de Red: El protocolo asume una red síncrona y comunicación todos-contra-todos, lo que puede no escalar eficientemente en entornos de internet asíncronos del mundo real.
• Sobrecarga de Verificación: Verificar las evaluaciones DPoW para todos los mensajes puede ser computacionalmente costoso, aunque los autores sugieren la verificación por lotes y optimizaciones criptográficas (como pruebas de conocimiento cero) como posibles remedios futuros.

En conclusión, Sieve-MMR proporciona un puente teórico entre los modelos de disponibilidad dinámica y los modelos totalmente sin permiso, demostrando que la seguridad determinista y la latencia constante son alcanzables en un entorno de PoW sin permiso sin necesidad de confianza externa, siempre que se puedan abordar las restricciones computacionales y de red.