Regla de elección de cadena (fork choice)

Cuando dos bloques válidos aparecen casi a la vez, la red se bifurca temporalmente y cada nodo necesita un criterio común para elegir una rama. En Prueba de Trabajo, Bitcoin usa la regla del mayor trabajo acumulado, a menudo llamada de forma laxa cadena más larga: gana la rama con más dificultad total invertida. En Ethereum, tras la migración a Prueba de Participación, el consenso es Gasper, que combina dos piezas. LMD-GHOST es la regla de elección de cadena propiamente dicha: en cada bifurcación elige el subárbol con más peso de votos (attestations) de validadores, contando solo el mensaje más reciente de cada uno. Casper FFG es el gadget de finalidad: sobre la cadena elegida, marca ciertos bloques en límites de época como justificados y luego finalizados, dándoles seguridad económica.

Sin una regla de elección común, distintos nodos divergirían de forma permanente. La regla determina qué transacciones cuentan, cuándo una transacción es definitiva, la profundidad segura de confirmación y la posibilidad de reorganizaciones. Es la columna vertebral operativa del consenso y lo que hace que el resto de garantías sea aplicable en la práctica.

La especificación formal de Gasper la publicaron Vitalik Buterin y coautores en 2020 en el paper Combining GHOST and Casper. La literatura ha estudiado ataques sobre LMD-GHOST, como los balancing attacks y los ex-ante reorgs, que motivaron parches como el proposer boost, y hay una línea de investigación activa hacia la Single Slot Finality. En despliegues empresariales y permisionados, en cambio, los esquemas de tipo BFT con finalidad inmediata simplifican esta elección, lo que encaja con los requisitos de trazabilidad de los entornos institucionales europeos.