¿En qué consiste el problema de los Generales Bizantinos? Byzantine Generals Problem

“El problema de los generales de Bizancio” es un término utilizado para describir los desafíos que enfrentan los sistemas informáticos cuando uno o más componentes fallan. Estas fallas pueden provocar la transmisión de información errónea dentro del sistema, afectando su rendimiento. Este nombre proviene de un artículo de investigación de 1982 que comparó este problema con escenarios militares históricos.

Imagina esta situación: varios cuerpos del ejército bizantino planean atacar una ciudad enemiga, y cada uno tiene un general, y solo pueden comunicarse mediante mensajeros. Los generales deben ponerse de acuerdo en un plan que cumpla con dos requisitos: 1) todos los generales confiables sigan el mismo plan; 2) unos pocos malintencionados no puedan hacer que los buenos sigan un plan dañino.

El principal desafío es cómo los generales pueden compartir información de manera segura y llegar a un consenso. Si no logran ponerse de acuerdo, su ataque podría fracasar. También es un problema si un general astuto proporciona información falsa intencionadamente, poniendo a los demás en peligro.

En redes de computadoras distribuidas como blockchain, cada participante (nodo) es como un general. Para que el sistema funcione correctamente, la mayoría de los nodos deben acordar y seguir las mismas instrucciones. Si algunos nodos fallan o se vuelven maliciosos, se produce un error bizantino. Los sistemas que pueden seguir funcionando a pesar de estos errores se llaman tolerantes a fallos bizantinos (Byzantine Fault Tolerance, BFT).

Bitcoin utiliza un método llamado prueba de trabajo (proof-of-work) para resolver este problema. Cuando cada “general” (nodo) decide un plan, hacen que sus computadoras resuelvan un problema desafiante. Se espera que uno de ellos encuentre la solución en unos 10 minutos. Cuando la encuentran, comparten la solución con los demás, junto con su plan. Luego, los demás siguen ese nuevo plan.

Al verificar la cadena de prueba de trabajo, cada nodo puede ver cuánta capacidad de cálculo se ha utilizado y la mayoría de las computadoras están de acuerdo con ese plan. Por lo tanto, pueden confiar y seguir el plan que tiene la cadena de prueba de trabajo más larga, ya que la mayoría lo apoya. **$BICO **$TRB **$CBK **