Mecanismos Criptográficos de Prova de Participação

A Prova de Trabalho (PoW) protege blockchains por meio de gasto computacional: mineradores competem para encontrar um hash abaixo de um alvo, e o vencedor acrescenta o próximo bloco. Isso consome eletricidade proporcional à segurança da rede. A Prova de Participação (PoS) substitui o processamento por participação econômica — os validadores bloqueiam criptomoedas como garantia, e o protocolo seleciona os proponentes de blocos proporcionalmente à sua participação. A transição do Ethereum da PoW para a PoS (The Merge, em setembro de 2022) reduziu o consumo de energia em mais de 99,9%.

Na PoS do Ethereum (consenso Gasper), os validadores depositam 32 ETH enviando uma transação de depósito para um contrato inteligente na camada de execução. Esse depósito inclui uma chave pública BLS (a identidade do validador), uma credencial de saque e uma assinatura que comprova a posse da chave. O contrato de depósito emite um evento de registro; a camada de consenso lê esses registros e coloca os validadores em uma fila para ativação após um atraso (aproximadamente 12–24 horas em condições normais). A garantia de 32 ETH fica bloqueada até que os saques sejam habilitados.

Os validadores do Ethereum usam dois pares de chaves: uma chave de assinatura BLS12-381 para funções de consenso (atestações, propostas de blocos e comitê de sincronização) e uma chave de saque separada para movimentar fundos. As assinaturas BLS (Boneh-Lynn-Shacham) nas curvas BN-254 ou BLS12-381 permitem uma agregação eficiente: centenas de milhares de assinaturas de validadores podem ser combinadas em uma única assinatura de 96 bytes. Essa agregação é fundamental para a escalabilidade — sem ela, cada intervalo exigiria gigabytes de dados de assinatura.

A linha do tempo de consenso do Ethereum é dividida em intervalos (12 segundos cada) e épocas (32 intervalos = 6,4 minutos). Em cada intervalo, um validador é selecionado de forma pseudoaleatória como proponente do bloco. Todos os validadores ativos são divididos em comitês (normalmente 512 validadores cada) que atestam o topo da cadeia. As atribuições aos comitês mudam a cada época usando um algoritmo de embaralhamento baseado em RANDAO (Fisher-Yates com RANDAO como fonte de entropia) para impedir a manipulação da composição dos comitês.

A seleção de validadores na PoS exige aleatoriedade imprevisível e impossível de manipular. O Ethereum usa o RANDAO, um esquema de compromisso e revelação incorporado ao protocolo. Cada proponente de bloco deve incluir uma assinatura BLS sobre o número da época atual — essa assinatura contribui com nova entropia por meio de uma operação XOR sobre o valor acumulado do RANDAO. A saída do RANDAO é usada para selecionar o proponente do próximo intervalo e embaralhar os comitês. Um adversário que controle o último revelador de uma época pode influenciar ligeiramente o RANDAO ao deixar de publicar seu bloco, mas somente ao custo da recompensa do bloco.

A segurança da PoS depende de os validadores agirem honestamente. A penalização pune dois comportamentos inadequados específicos: equivocação (assinar dois blocos diferentes para o mesmo intervalo) e votação de cerco (emitir atestações conflitantes). A prova de penalização é enviada na cadeia como uma transação que contém duas mensagens assinadas com conteúdo conflitante, mas com a mesma chave de validador. O validador infrator perde uma parte de sua participação (no mínimo 1/32, podendo perder toda a participação se muitos validadores forem penalizados simultaneamente) e é removido à força.

O mecanismo de finalização do Ethereum é o Casper, o Mecanismo de Finalização Amigável (FFG), disposto sobre a regra de escolha de bifurcação LMD-GHOST. A cada época, os validadores emitem votos em pontos de verificação (origem, destino), em que a origem é o último ponto de verificação justificado e o destino é o bloco no limite da época atual. Um ponto de verificação é justificado quando 2/3 da participação o atestam; um ponto de verificação justificado é finalizado quando o ponto de verificação seguinte também é justificado. Depois de finalizado, um bloco não pode ser revertido sem destruir pelo menos 1/3 de todo o ETH em participação, tornando a reversão economicamente catastrófica.

Entre pontos de verificação finalizados, os validadores precisam concordar sobre o topo canônico da cadeia. O Ethereum usa o LMD-GHOST (SubTree Observada Mais Pesada, Orientada pela Mensagem Mais Recente). A atestação mais recente de cada validador conta como um voto; o algoritmo de escolha de bifurcação segue, em cada ponto de bifurcação, o ramo com o maior peso acumulado de participação, contando apenas a mensagem mais recente de cada validador. A combinação de LMD-GHOST (vivacidade) e Casper FFG (finalização) forma o Gasper, o protocolo de consenso completo do Ethereum.

As chaves dos validadores do Ethereum usam uma separação criptográfica deliberada. A chave de assinatura BLS é quente, pois é usada em todos os slots para atestações, e por isso apresenta maior risco. A credencial de retirada é um resumo de uma chave separada ou de um endereço de execução do Ethereum após EIP-4895. Essa separação significa que uma chave de assinatura comprometida não pode roubar ETH depositado: o invasor só pode ser penalizado, perdendo a participação do validador. Apenas a chave de retirada pode iniciar a movimentação de fundos, e ela pode ser mantida offline em um dispositivo físico.

A Tecnologia de Validadores Distribuídos (DVT) reduz o risco de ponto único de falha na participação individual. Usando assinaturas BLS de limiar, uma única chave de validador é dividida entre vários operadores, por exemplo, 3 de 5. Uma proposta de bloco ou uma atestação exige concordância de limiar antes que uma assinatura BLS combinada seja produzida. Nenhum operador individual possui a chave completa. Projetos como Obol Network e SSV Network implementam DVT, melhorando a tolerância a falhas e permitindo a participação institucional sem custódia centralizada das chaves.

Diferentes cadeias de Prova de Participação implementam os mecanismos criptográficos de maneiras distintas. Solana usa uma variante do Tower BFT com marcas de tempo semelhantes a VDF, a Prova de Histórico, para estabelecer a ordenação antes do consenso. Cardano usa Ouroboros, um protocolo de Prova de Participação comprovadamente seguro, com provas formais de segurança criptográfica no modelo de composição universal. As cadeias do Cosmos usam o Tendermint BFT, um protocolo BFT clássico com finalização por quórum de 2/3 em uma rodada. Cada design estabelece diferentes compromissos entre segurança, vivacidade, descentralização e taxa de processamento.

Qual é a principal evidência criptográfica usada para penalizar um validador do Ethereum?

A Prova de Participação substitui a computação da Prova de Trabalho por uma garantia econômica. Os validadores do Ethereum usam chaves BLS12-381 para atestações agregáveis. RANDAO fornece aleatoriedade interna ao protocolo para a seleção de proponentes e o embaralhamento de comitês. Casper FFG fornece finalização por meio de votos de supermaioria de 2/3 em pontos de verificação. LMD-GHOST determina a escolha de bifurcação entre pontos de verificação. A penalização pune a emissão de mensagens contraditórias e a votação envolvente usando evidências, na cadeia, de mensagens assinadas contraditórias. DVT melhora a resiliência dividindo chaves BLS por limiar.