Problema nothing-at-stake

O núcleo do problema é a diferença de custo em relação ao proof of work. No proof of work, apostar em dois forks divide o poder de computação físico, um custo real. Em um proof of stake ingênuo, assinar blocos em várias ramificações não custa mais: o stake é o mesmo e só confere peso de voto. Sem penalidade, a estratégia dominante seria assinar em todas as ramificações para maximizar a recompensa, vença quem vencer, e o consenso nunca convergiria.

A solução, em termos didáticos, é o slashing. O protocolo define condições demonstráveis criptograficamente que, se um validador as cometer, fazem com que ele perca parte ou todo o stake. O Casper FFG, formalizado por Vitalik Buterin e Virgil Griffith em 2017, as reduz a duas regras: não emitir dois votos distintos para a mesma altura alvo (double vote) e não emitir um voto cujo intervalo fique contido em outro voto próprio (surround vote). Assinar em dois forks viola a primeira regra, então deixa de ser gratuito.

O slashing transforma a aposta gratuita em aposta custosa e é a peça que torna o proof of stake seguro no nível dos incentivos. Na rede Ethereum, o Gasper (Casper FFG mais LMD-GHOST) aplica slashing por double vote e surround vote desde a Beacon Chain. Cosmos e Tendermint (CometBFT) penalizam o double signing. Cardano, com Ouroboros, aborda o mesmo problema por meio de eleição de líder por loteria privada e regras de seleção de cadeia, uma abordagem distinta do slashing punitivo.