💻 computer science

Resilient Alerting Protocols for Blockchains

Este artículo formaliza el "problema de alerta" criptoeconómico para las cadenas de bloques, demostrando que los participantes racionales pueden ser incentivados para resistir ataques de soborno mediante tres protocolos distintos que logran una resistencia al soborno cuadrática asintóticamente óptima mientras ofrecen diferentes compensaciones entre supuestos de red, sobrecarga de almacenamiento y tiempo de ejecución.

Autores originales: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

Publicado 2026-07-15

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo donde el dinero digital y los contratos viven en un libro de contabilidad público gigante e inalterable llamado blockchain. Piensa en esto como un diario súper seguro y compartido que todos pueden leer pero que nadie puede borrar. Dentro de este diario viven los "smart contracts" (contratos inteligentes): pequeños robots automáticos que custodian miles de millones de dólares en valor. Estos robots son increíblemente inteligentes, pero tienen un punto ciego: no pueden ver lo que sucede fuera de sus muros digitales. Para solucionar esto, dependen de un equipo de mensajeros de apariencia humana llamados "alerters" (alertadores). Estos mensajeros vigilan el mundo real buscando eventos como caídas del mercado de valores o resultados electorales, y le gritan una advertencia a los robots si algo sale mal. Si los robots no reciben la advertencia a tiempo, podrían cometer un error terrible, perdiendo el dinero de todos. La gran pregunta es: ¿qué pasa si un malvado intenta sobornar a los mensajeros para que se mantengan callados? Este artículo profundiza en la matemática del soborno, preguntándose cuánto dinero necesitaría gastar un villano para silenciar a todo un equipo de mensajeros y evitar que una advertencia sea escuchada.

Los autores de este artículo, Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal y Ari Juels, abordan un problema aterrador: en muchos sistemas actuales, es sorprendentemente barato para un malvado sobornar a todos los mensajeros para que guarden silencio. Si hay 100 mensajeros, un villano podría solo necesitar pagar 100 pequeños sobornos para detener la alarma. Los investigadores se dieron cuenta de que esto es una debilidad enorme. Se propusieron diseñar un nuevo conjunto de reglas —un juego, en realidad— donde silenciar al equipo sea astronómicamente costoso.

Descubrieron un "techo" matemático sobre qué tan difícil es sobornar a un equipo. Demostraron que, sin importar qué tan ingeniosas sean las reglas, si el equipo tiene $n$ miembros, el costo de sobornarlos a todos nunca puede ser más que una cantidad "cuadrática", lo que significa que crece como $n$ al cuadrado (o $n \times n$ ). ¡Para un equipo de 100, eso es 10,000 veces más difícil de sobornar que con el método antiguo! El artículo muestra que, mientras que los sistemas simples solo ofrecen una defensa "lineal" (donde el costo crece como $n$ ), en realidad se pueden construir sistemas que alcancen este techo de $n^2$ .

Para probar esto, el equipo inventó tres formas diferentes de dirigir el juego, cada una con su propio sabor y compensaciones.

Primero, imaginaron un protocolo de "Lockstep" (paso sincronizado). Imagina a un grupo de amigos parados en un círculo, todos con las manos levantadas en el mismo segundo exacto. En este mundo, el tiempo es perfecto y predecible. Todos deciden si gritar una advertencia o quedarse en silencio en el mismo instante, sin saber lo que los demás están haciendo. Debido a que actúan simultáneamente, un villano no puede esperar a ver quién es débil y pagarle primero. Este método es súper rápido (ocurre en un abrir y cerrar de ojos) pero requiere una regla muy estricta, casi mágica, de que el mensaje de todos llegue en el mismo instante.

Segundo, crearon un protocolo de "Hardware Confiable" para cuando el tiempo no es perfecto. Imagina que los mensajeros llevan puestos unos relojes inteligentes especiales e inquebrantables. Ellos escriben su decisión (gritar o quedarse en silencio) en el reloj y la guardan en una caja fuerte digital. El reloj está programado para que la llave para abrir la caja fuerte solo aparezca después de que haya pasado un número específico de bloques de tiempo en el blockchain. Esto evita que el malvado espíe las decisiones antes de tiempo. Es un poco más complejo y requiere que todos usen este hardware especial, pero funciona incluso si el internet es un poco lento o desordenado.

Tercero, diseñaron un protocolo "Secuencial", que es como un juego de "papa caliente" o una carrera de relevos. En lugar de actuar todos a la vez, los mensajeros se turnan. La primera persona en la fila decide, luego la segunda, y así sucesivamente. Si la primera persona grita, el juego se detiene inmediatamente y los demás ni siquiera tienen que decidir. Esto es genial porque ahorra mucho espacio de almacenamiento digital (el blockchain no tiene que registrar la decisión de todos si la primera persona ya resolvió el problema). Sin embargo, toma más tiempo terminar, especialmente si las primeras personas deciden quedarse en silencio.

El gran hallazgo del artículo es que estos tres métodos son "asintóticamente óptimos". Esa es una forma elegante de decir que todos alcanzan ese límite de defensa perfecto de $n^2$ . Ya sea que elijas el rápido pero rígido Lockstep, el pesado en hardware del método Confiable, o la carrera Secuencial lenta pero eficiente, puedes hacer que sea tan costoso sobornar al equipo que un villano simplemente no pueda permitírselo. Los autores no solo lo adivinaron; usaron la teoría de juegos (la matemática de la estrategia) para probar que, en estos escenarios, un malvado racional perdería dinero intentando sobornar a todos, por lo que simplemente se rendiría.

En resumen, este artículo toma una vulnerabilidad aterradora en nuestro mundo financiero digital y nos muestra exactamente cómo construir un escudo que convierta el soborno en un juego perdido. Demuestra que, con las reglas adecuadas, podemos proteger miles de millones de dólares haciendo que el precio del silencio sea demasiado alto para que cualquiera pueda pagarlo.

Resumen Técnico: Protocolos de Alerta Resilientes para Blockchains

1. Planteamiento del Problema

Los contratos inteligentes en las blockchains aseguran más de $170 mil millones en valor y dependen cada vez más de alertas oportunas sobre eventos externos (por ejemplo, cambios en el precio de activos, resultados de computación fuera de la cadena). Los mecanismos de alerta existentes son vulnerables a los ataques de supresión por soborno, donde un adversario paga a los participantes para que permanezcan en silencio. Trabajos previos han analizado los incentivos para generar alertas, pero no han modelado la economía de su supresión.

El desafío central es el Problema de la Alerta: diseñar protocolos que incentiven a $n$ nodos racionales a generar alertas oportunas incluso cuando un adversario ofrece sobornos para desviarse. El objetivo es maximizar la resistencia al soborno —la cantidad total que un adversario debe pagar para evitar con éxito que se publique cualquier alerta en la cadena.

2. Metodología y Modelo

Los autores formalizan el problema como un juego criptoeconómico que involucra a:

Participantes: Un conjunto de $n$ nodos racionales, un operador de protocolo y un adversario racional.
Mecanismos: Los nodos depositan tokens como colateral. Un contrato inteligente (AlertingContract) impone una penalización $\lambda$ para los nodos que no emiten una alerta cuando se cumplen las condiciones. El operador financia el contrato con un presupuesto constante $c$ .
Adversario: Puede ofrecer sobornos privados $\beta_i$ a los nodos para evitar que alerten. El adversario obtiene una ganancia $G$ si no se publica ninguna alerta.
Supuestos: El estudio considera protocolos donde el capital/penalización por nodo es constante (independiente de $n$ ) y el presupuesto del operador es constante.

El documento analiza tres diseños de protocolo distintos para determinar sus resultados de equilibrio y su resistencia al soborno:

Protocolo de Penalización Quemada (Burned-Penalty Protocol): Una línea base donde los que no alertan sufren una penalización y la penalización se quema (no se redistribuye).
Juego de Alerta Simultánea: Un juego teórico donde todos los nodos actúan simultáneamente sin observar las acciones de los demás.
Protocolo de Alerta Secuencial: Un mecanismo donde los nodos actúan en un orden específico, observando las acciones previas.

3. Contribuciones Clave y Resultados

A. Límite Superior Teórico de la Resistencia al Soborno

El documento establece un límite fundamental para la resistencia al soborno de cualquier protocolo $(c, \lambda)$ -de-alerta.

Resultado: La resistencia máxima al soborno es $\Theta(n^2)$ .
Razonamiento: En cualquier protocolo con penalizaciones constantes, la recompensa máxima que un nodo que alerta puede recibir está limitada por la suma de las penalizaciones de todos los otros $n-1$ nodos más el presupuesto del operador ( $\lambda(n-1) + c$ ). Para sobornar a todos los $n$ nodos para que permanezcan en silencio, el adversario debe ofrecer a cada nodo algo ligeramente superior a esta recompensa potencial máxima. Por lo tanto, el costo total es aproximadamente $n \times \lambda n = \Theta(n^2)$ .
Fallo de la Línea Base: Un protocolo directo (por ejemplo, dividir una recompensa fija $c$ entre quienes alertan) solo logra una resistencia de $\Theta(n)$ , lo que hace que sea económicamente factible para un adversario suprimir las alertas a escala.

B. El Juego de Alerta Simultánea

Los autores diseñan un juego donde los nodos eligen acciones simultáneamente tras observar las ofertas de soborno.

Análisis de Equilibrio:
- Si el soborno $\beta_i \ge \lambda(n-1)$ , "NoAlert" (No Alertar) es una estrategia dominante.
- Si el soborno $\beta_i \le \lambda$ , "Alert" (Alertar) es una estrategia dominante.
- En el rango intermedio ( $\lambda < \beta_i < \lambda(n-1)$ ), no existe un equilibrio de estrategia pura simétrico.
Resultado de Estrategia Mixta: En cualquier equilibrio de estrategia mixta dentro de este rango, la utilidad esperada del adversario es no positiva si su ganancia $G < \lambda n(n-1)$ .
Conclusión: El juego simultáneo logra una resistencia al soborno de $\Theta(n^2)$ , igualando asintóticamente el límite teórico.

C. Implementaciones de Protocolos

El documento presenta tres protocolos que implementan estos mecanismos con diferentes compensaciones (trade-offs):

1. Protocolo de Alerta de Paso Sincrónico (Lockstep Alerting Protocol)

Supuesto: Sincronía de red estricta (las transacciones se anexan exactamente $\Delta_{write}$ pasos después de ser enviadas).
Mecanismo: Los nodos envían alertas en un único paso de tiempo. El contrato verifica la inclusión en un bloque específico.
Desempeño: Finalidad de tiempo constante.
Sobrecarga: Requiere hasta $n$ transacciones (almacenamiento lineal) si se necesita una alerta; 0 de lo contrario.
Resistencia: Logra $\Theta(n^2)$ .

2. Protocolo de Alerta Basado en TEE

Supuesto: Sincronía de retardo estándar + Entornos de Ejecución Confiables (TEE).
Mecanismo: Utiliza un esquema de Compromiso-Revelación (Commit-Reveal). Los nodos comprometen sus acciones usando TEEs que imponen una primitiva de Prueba de Publicación (PoP). Esto asegura que los nodos no puedan revelar su acción (o coludir para revelar prematuramente) hasta que haya pasado un número específico de bloques, evitando la fuga de información durante la fase de decisión.
Desempeño: Finalidad de tiempo constante.
Sobrecarga: Requiere $2n$ transacciones (almacenamiento lineal).
Resistencia: Logra $\Theta(n^2)$ .

3. Protocolo de Alerta Secuencial

Supuesto: No requiere sincronía estricta ni TEEs.
Mecanismo: A los nodos se les asignan ranuras de tiempo distintas. Un nodo solo puede alertar en su ranura tras observar las acciones de todos los nodos anteriores. Si un nodo alerta, el protocolo termina.
Estructura de Recompensa: El primer nodo que alerta recibe las penalizaciones acumuladas de todos los nodos en las ranuras anteriores que no alertaron.
Desempeño: El tiempo de ejecución en el peor de los casos es $O(n)$ (tiempo lineal).
Sobrecarga: Almacenamiento constante ( $O(1)$ ). Requiere 0 transacciones si no se necesita una alerta, y 1 transacción si se genera una alerta.
Resistencia: Logra $\Theta(n^2)$ (específicamente $\lambda n(n-1)/2$ ), que es la mitad del límite del juego simultáneo, pero sigue siendo asintóticamente óptima.

4. Significado y Reivindicaciones

El documento afirma ser el primero en:

Formalizar el problema de la alerta como un juego criptoeconómico que involucra a un adversario que ofrece sobornos.
Demostrar que la resistencia máxima al soborno alcanzable para tales protocolos es cuadrática ( $\Theta(n^2)$ ).
Diseñar un juego simultáneo que alcanza asintóticamente este límite.
Especificar tres instancias prácticas (Lockstep, basada en TEE y Secuencial) que ofrecen diferentes compensaciones entre latencia, almacenamiento en cadena y supuestos de confianza, manteniendo al mismo tiempo una resistencia al soborno asintóticamente óptima.

Los autores enfatizan que los sistemas existentes (por ejemplo, rollups optimistas, redes de oráculos) a menudo dependen de mecanismos de costo lineal que son vulnerables al soborno. Su trabajo proporciona un espacio de diseño rico para construir sistemas de alerta económicamente seguros que puedan resistir intentos de soborno a gran escala.

5. Limitaciones y Alcance

El análisis depende de actores racionales y supuestos de teoría de juegos específicos (por ejemplo, adversarios PPT, supuestos criptográficos estándar).
El protocolo basado en TEE depende de la seguridad del hardware confiable y del supuesto de que la blockchain no puede ser bifurcada (forked) por un solo nodo o adversario después de un punto de control (checkpoint).
El documento se centra en modelos abstractos y no evalúa protocolos desplegados específicos ni proporciona parámetros de sistemas específicos para un despliegue inmediato.
El protocolo secuencial intercambia complejidad de tiempo ( $O(n)$ ) por eficiencia de almacenamiento, lo que puede ser una restricción en aplicaciones sensibles a la latencia.