Regra de escolha de cadeia (fork choice)

Quando dois blocos válidos aparecem quase ao mesmo tempo, a rede se bifurca temporariamente e cada nó precisa de um critério comum para escolher um ramo. Na Prova de Trabalho, o Bitcoin usa a regra do maior trabalho acumulado, muitas vezes chamada, de forma imprecisa, de cadeia mais longa: vence o ramo com mais dificuldade total investida. No Ethereum, após a migração para a Prova de Participação, o consenso é o Gasper, que combina duas peças. O LMD-GHOST é a regra de escolha de cadeia propriamente dita: em cada bifurcação, escolhe a subárvore com mais peso de votos (attestations) de validadores, contando apenas a mensagem mais recente de cada um. O Casper FFG é o gadget de finalidade: sobre a cadeia escolhida, marca certos blocos nos limites de época como justificados e depois finalizados, dando-lhes segurança econômica.

Sem uma regra de escolha comum, nós distintos divergiriam de forma permanente. A regra determina quais transações contam, quando uma transação é definitiva, a profundidade segura de confirmação e a possibilidade de reorganizações. É a espinha dorsal operacional do consenso e o que torna as demais garantias aplicáveis na prática.

A especificação formal do Gasper foi publicada por Vitalik Buterin e coautores em 2020 no paper Combining GHOST and Casper. A literatura estudou ataques ao LMD-GHOST, como os balancing attacks e os ex-ante reorgs, que motivaram correções como o proposer boost, e há uma linha de pesquisa ativa rumo à Single Slot Finality. Em implantações empresariais e permissionadas, por outro lado, os esquemas do tipo BFT com finalidade imediata simplificam essa escolha, o que se alinha aos requisitos de rastreabilidade dos ambientes institucionais europeus.