Gadget de finalização

O que é um gadget de finalização?

Um gadget de finalização é um componente do consenso de uma blockchain que determina quando um bloco ou checkpoint deve ser considerado final.

Um bloco finalizado é considerado parte do histórico permanente da blockchain, de acordo com as premissas normais de segurança do protocolo.

Reverter um bloco finalizado exigiria uma falha grave de consenso, grande poder de voto desonesto, penalidades econômicas significativas ou uma intervenção social excepcional.

A palavra “gadget” indica que o mecanismo de finalização pode ser adicionado a outro sistema, ou combinado com ele, responsável por produzir blocos e selecionar a cadeia atual.

Um gadget de finalização não necessariamente decide qual participante cria o próximo bloco.

Em vez disso, ele reúne votos de validadores e promove determinados blocos de blocos recém-propostos a checkpoints justificados e finalizados.

O exemplo mais conhecido é o Casper the Friendly Finality Gadget, geralmente chamado de Casper FFG.

O Casper FFG é o componente de finalização do mecanismo de consenso proof of stake da Ethereum.

A Ethereum combina o Casper FFG com a regra de escolha de bifurcação LMD-GHOST em um projeto completo de consenso chamado Gasper.

A documentação oficial do Gasper da Ethereum explica que o Casper finaliza checkpoints, enquanto o LMD-GHOST ajuda os nós a selecionar a ponta correta da cadeia.

O que significa finalização de blockchain?

Finalização de blockchain é o nível de confiança de que uma transação confirmada não será removida ou alterada por uma reorganização posterior da cadeia.

Primeiro, a transação entra em um bloco proposto.

Esse bloco pode receber blocos adicionais e votos de validadores em sequência.

À medida que o apoio aumenta, diminui a probabilidade ou a viabilidade econômica de reverter a transação.

Uma transação finalizada atingiu o nível mais alto de confirmação previsto pelo protocolo.

Finalização não significa que todos os computadores, sites, carteiras ou aplicativos já exibiram a transação.

Significa que o sistema de consenso da blockchain se comprometeu com o bloco que a contém.

O glossário da Ethereum define finalização como a garantia de que um conjunto de transações não pode ser alterado sem que uma quantidade muito grande de ETH em staking seja perdida.

Por que as blockchains precisam de finalização?

As blockchains permitem que muitos computadores independentes mantenham um histórico compartilhado de transações.

Atrasos de rede podem fazer com que nós diferentes recebam blocos válidos distintos quase ao mesmo tempo.

Essa situação pode gerar temporariamente ramificações concorrentes, conhecidas como forks.

Uma regra de escolha de bifurcação ajuda os nós a decidir qual ramificação devem seguir naquele momento.

No entanto, a opção vencedora naquele momento ainda pode ser substituída quando votos ou blocos posteriores apoiam outra ramificação.

Um gadget de finalização cria um compromisso mais forte com blocos anteriores.

Depois que um checkpoint é finalizado, nós honestos não devem substituí-lo por um checkpoint conflitante.

Esse compromisso ajuda usuários de cripto, aplicativos, custodiantes, bridges e contratos inteligentes a determinar quando uma transação foi liquidada de forma suficiente.

Por que se chama gadget?

Um gadget de finalização tem esse nome porque pode funcionar como um módulo distinto dentro de um mecanismo de consenso maior.

O sistema subjacente pode continuar propondo blocos rapidamente mesmo antes que eles atinjam a finalização completa.

Em seguida, o gadget aplica regras de votação de validadores a blocos ou checkpoints selecionados.

Essa estrutura modular separa duas questões relacionadas, mas diferentes.

A primeira é qual bloco deve ser considerado a ponta atual da cadeia.

A segunda é quais blocos anteriores são seguros o bastante para serem considerados finalizados.

Separar essas funções pode permitir que uma blockchain produza blocos com frequência e aplique regras de consenso mais fortes em intervalos maiores.

Produção de blocos vs. finalização de blocos

A produção de blocos é o processo de selecionar um participante para criar e transmitir um novo bloco.

A finalização de blocos é o processo de chegar a um consenso sólido de que um bloco permanecerá na cadeia canônica.

Uma blockchain pode usar um protocolo para produzir blocos e outro para finalizá-los.

A Ethereum usa validadores proof of stake para propor blocos em slots.

Sua regra de escolha de bifurcação usa mensagens dos validadores para identificar a ponta da cadeia.

Separadamente, o Casper FFG usa votos em checkpoints para justificar e finalizar partes dessa cadeia.

Outra blockchain pode usar um protocolo diferente de produção de blocos e integrar seu próprio gadget de finalização.

Como funciona um gadget de finalização?

Em geral, um gadget de finalização reúne votos de validadores que vincularam valor econômico ou outra forma de autorização às suas decisões.

Os validadores analisam a blockchain e votam em uma relação entre um checkpoint anterior e um checkpoint mais recente.

O checkpoint anterior costuma ser chamado de origem.

O checkpoint mais recente costuma ser chamado de destino.

Quando votos suficientes apoiam essa relação, o protocolo reconhece um vínculo de supermaioria.

O checkpoint de destino pode ser justificado.

Quando a relação de votação necessária continua em checkpoints posteriores, um checkpoint justificado anterior pode ser finalizado.

Validadores que assinam votos contraditórios podem sofrer slashing ou ser removidos do conjunto de validadores.

Essas penalidades tornam economicamente custoso gerar finalizações conflitantes.

O que é um checkpoint?

Um checkpoint é um bloco selecionado em um intervalo regular para ser usado na votação de finalização.

Os gadgets de finalização nem sempre exigem que os validadores façam uma votação completa de finalização em cada bloco individual.

Em vez disso, eles podem votar em checkpoints que representam grupos de blocos.

Na Ethereum, o tempo é dividido em slots e epochs.

Atualmente, um slot dura 12 segundos.

Uma epoch contém 32 slots e, portanto, dura aproximadamente 6,4 minutos.

O bloco no início de uma epoch funciona como seu checkpoint.

Se não houver um bloco no primeiro slot de uma epoch, o bloco anterior mais recente pode representar o limite do checkpoint conforme as regras do protocolo.

A definição oficial de checkpoint da Ethereum explica que a votação em checkpoints permite combinar a atividade dos validadores ao longo de uma epoch em uma decisão de supermaioria.

O que é uma atestação?

Uma atestação é um voto de validador sobre o estado e o histórico da cadeia de uma blockchain.

Na Ethereum, uma atestação contém informações usadas tanto no processo de escolha da bifurcação quanto no processo de finalização.

O validador vota no bloco que considera a ponta da cadeia.

Também vota em um checkpoint de origem e em um checkpoint de destino usados pelo Casper FFG.

Os validadores recebem horários específicos para publicar atestações.

Atestações corretas e pontuais ajudam a rede a escolher uma cadeia e finalizar checkpoints.

Atestações ausentes, atrasadas ou conflitantes podem reduzir as recompensas dos validadores ou gerar penalidades.

O que é um vínculo de supermaioria?

Um vínculo de supermaioria existe quando votos de validadores que representam pelo menos dois terços do stake ativo relevante apoiam a conexão entre dois checkpoints.

Os votos indicam que o checkpoint de destino é um descendente válido do checkpoint de origem.

O limite de dois terços é importante porque dois grupos conflitantes desse tamanho precisam se sobrepor em pelo menos um terço do stake total.

Se ambos os checkpoints conflitantes fossem finalizados, pelo menos um terço do stake teria violado as regras de votação.

Esse stake em comum poderia ser identificado e penalizado.

Assim, o limite conecta a segurança do consenso a consequências econômicas mensuráveis.

O que é um checkpoint justificado?

Um checkpoint justificado é um checkpoint que recebeu o apoio de supermaioria exigido de um checkpoint justificado anterior.

A justificação representa um nível de concordância forte, mas ainda não final.

É improvável que um checkpoint justificado seja removido, mas o protocolo ainda não lhe concedeu o status mais forte de finalização.

No processo simplificado da Ethereum, os validadores primeiro justificam um checkpoint mais recente por meio de um vínculo de supermaioria de dois terços.

A votação contínua em um checkpoint posterior pode então finalizar o checkpoint justificado anterior.

O que é um checkpoint finalizado?

Um checkpoint finalizado é um checkpoint justificado que recebeu a relação de votação adicional exigida pelas regras de finalização.

No exemplo comum da Ethereum, o checkpoint A já está justificado.

Em seguida, os validadores criam um vínculo de supermaioria entre o checkpoint A e o próximo checkpoint B.

O checkpoint B é justificado, enquanto o checkpoint A é finalizado.

Todos os blocos até o checkpoint A, inclusive, passam a fazer parte do histórico finalizado da cadeia.

Uma transação em um desses blocos atingiu a finalização no nível do protocolo da Ethereum.

O que é Casper FFG?

Casper FFG significa Casper the Friendly Finality Gadget.

É um protocolo de finalização proof of stake projetado para complementar ou se sobrepor ao processo de produção de blocos e escolha de bifurcação de uma blockchain.

O artigo original de pesquisa sobre o Casper FFG descreveu um sistema de finalização proof of stake que poderia acrescentar maior proteção contra reversões de blocos a uma blockchain existente.

O projeto combina depósitos de validadores, votação por supermaioria, finalização de checkpoints e condições de slashing.

A Ethereum usa uma versão modificada do Casper FFG em seu atual sistema de consenso proof of stake.

O Casper FFG não deve ser confundido com todo o mecanismo de consenso da Ethereum.

Ele fornece as regras de finalização, enquanto outros componentes cuidam da proposta de blocos, execução de transações, rede e escolha de bifurcação.

O que é Gasper?

Gasper é o nome do projeto de consenso proof of stake da Ethereum.

O nome combina GHOST e Casper.

O LMD-GHOST ajuda os nós a selecionar a ponta atual da blockchain.

O Casper FFG justifica e finaliza checkpoints.

O componente de escolha de bifurcação pode responder rapidamente a novos blocos e mensagens de validadores.

O componente de finalização oferece um compromisso mais lento, porém economicamente mais forte, com o histórico da blockchain.

Essa combinação permite à Ethereum produzir blocos a cada slot e atingir a finalização completa ao longo de um período maior.

O que é LMD-GHOST?

LMD-GHOST significa Latest Message Driven Greedy Heaviest Observed SubTree.

É a regra de escolha de bifurcação usada pelos clientes de consenso da Ethereum.

A regra considera a mensagem válida mais recente de cada validador.

Ela segue, pela árvore de blocos, a ramificação com o maior peso de apoio dos validadores.

O LMD-GHOST identifica a ponta atual da cadeia, que pode mudar com a chegada de novos blocos e atestações.

O Casper FFG estabelece um limite que o processo de escolha da bifurcação não deve ultrapassar em condições normais.

Assim, os dois mecanismos resolvem problemas de consenso relacionados, mas distintos.

Quanto tempo leva a finalização da Ethereum?

Atualmente, a Ethereum leva cerca de 15 minutos para finalizar um bloco em condições normais de rede.

Cada epoch dura aproximadamente 6,4 minutos, pois contém 32 slots de 12 segundos.

Em geral, a finalização exige apoio aos checkpoints em epochs consecutivas.

O tempo exato percebido para uma transação depende de onde seu bloco aparece dentro de uma epoch e de quando são processados votos suficientes dos validadores.

Um bloco pode ser considerado cada vez mais seguro antes da finalização completa, mas ainda não atingiu o nível mais forte de liquidação do protocolo.

O roteiro oficial da Ethereum para finalização em um único slot informa que o processo atual leva cerca de 15 minutos.

Finalização vs. confirmações de blocos

Uma confirmação de bloco normalmente significa que outro bloco ou etapa de progresso da cadeia foi acrescentado depois de uma transação.

Mais confirmações geralmente reduzem a probabilidade de uma reorganização.

A segurança baseada em confirmações pode ser probabilística: a possibilidade de reversão diminui com o tempo, mas talvez nunca chegue a zero matemático absoluto.

Os gadgets de finalização fornecem um status de protocolo distinto, baseado no consenso dos validadores e em penalidades econômicas.

Uma transação pode ter várias confirmações sem estar finalizada.

Ao definir políticas de depósito ou saque, aplicativos podem considerar tanto a profundidade das confirmações recentes quanto o status de finalização.

Finalização probabilística vs. finalização econômica

A finalização probabilística se fortalece à medida que mais blocos são acrescentados depois de uma transação.

Reverter um bloco mais antigo se torna cada vez mais difícil, pois um invasor precisa substituir uma quantidade maior do trabalho ou peso aceito pela cadeia.

A finalização econômica depende de compromissos de validadores sujeitos a penalidades.

Uma história finalizada conflitante exigiria que validadores violassem as regras e colocassem seus ativos em staking em risco.

O Casper FFG oferece finalização econômica porque uma finalização desonesta pode expor uma parte significativa do stake dos validadores ao slashing.

A palavra “econômica” é importante porque a finalização depende do custo e das consequências de violar o consenso, e não de uma impossibilidade física.

A finalização é totalmente irreversível?

Finalização não significa que uma reversão seja impossível em todas as circunstâncias imagináveis.

É uma garantia de protocolo de que não haverá reversão enquanto as premissas de segurança do sistema continuarem válidas.

Um bloco finalizado só poderia ser contestado após um evento grave, como violações das regras por um grande número de validadores, um bug crítico de consenso ou uma decisão social após uma falha catastrófica.

A latência normal da rede, um bloco perdido ou a interrupção de um pequeno número de validadores não devem reverter o histórico finalizado.

Para uso prático de cripto, transações finalizadas são consideradas liquidadas, pois alterá-las exigiria custos e perturbações extraordinários.

O que são condições de slashing?

As condições de slashing definem comportamentos de validadores que comprovam que eles assinaram mensagens de consenso contraditórias.

O slashing destrói parte ou todo o criptoativo em staking do validador e o remove da participação ativa.

A finalização no estilo Casper depende de duas categorias principais de votos proibidos em checkpoints.

Uma categoria é a votação dupla.

A outra é a votação envolvente.

Essas regras foram projetadas para que checkpoints finalizados conflitantes revelem uma quantidade significativa de comportamento de validadores passível de punição.

O que é votação dupla?

A votação dupla ocorre quando um validador envia dois votos diferentes para checkpoints com a mesma epoch de destino.

Na prática, o validador apoia destinos conflitantes para o mesmo período de finalização.

Validadores honestos devem publicar apenas um voto válido de destino para essa epoch.

Dois votos conflitantes assinados podem ser usados como prova criptográfica da violação.

O que é votação envolvente?

A votação envolvente ocorre quando um voto de um validador envolve outro voto feito pelo mesmo validador.

Isso significa que a origem de um voto é anterior, enquanto seu destino é posterior aos dois pontos do outro voto.

A regra impede que um validador apoie históricos de checkpoints conflitantes em intervalos sobrepostos.

Assim como a votação dupla, a votação envolvente pode ser comprovada por mensagens assinadas.

Por que um terço do stake é importante

O limite de um terço é central para as propriedades de segurança e disponibilidade do Casper FFG.

A finalização exige votos que representem pelo menos dois terços do stake ativo.

Dois grupos conflitantes que representem dois terços precisam compartilhar pelo menos um terço do peso total de votação.

Se esse grupo compartilhado apoiar as duas finalizações conflitantes, terá violado as condições de slashing.

Como resultado, finalizar históricos conflitantes exige que pelo menos um terço do stake total fique sujeito a slashing, conforme as premissas do protocolo.

A documentação oficial da Ethereum sobre proof of stake explica que reverter o histórico finalizado exigiria que um invasor colocasse pelo menos um terço de todo o ETH em staking em risco de destruição.

O que acontece se mais de um terço dos validadores ficar offline?

Se mais de um terço do stake ativo deixar de votar corretamente, os validadores restantes não conseguirão atingir imediatamente o limite de dois terços necessário para a finalização.

Os blocos podem continuar sendo propostos, e a regra de escolha de bifurcação pode continuar identificando uma ponta da cadeia.

No entanto, os checkpoints podem deixar de ser finalizados.

Essa condição é chamada de atraso de finalização ou falha de disponibilidade.

Um atraso de finalização não significa automaticamente que a blockchain parou de processar todas as transações.

Significa que o status mais forte de liquidação do protocolo não está avançando.

O que é o vazamento por inatividade?

O vazamento por inatividade é um mecanismo da Ethereum projetado para restaurar a finalização após um período prolongado de participação insuficiente dos validadores.

Quando a finalização falha por várias epochs, validadores que não participam corretamente começam a perder stake a uma taxa crescente.

Os validadores ativos passam gradualmente a representar uma porcentagem maior do stake efetivo restante.

Com o tempo, o lado ativo pode recuperar a supermaioria de dois terços necessária para finalizar checkpoints.

A documentação da Ethereum sobre recompensas e penalidades explica que o vazamento por inatividade reduz a influência dos validadores inativos até que a maioria participante consiga restaurar a finalização.

Esse mecanismo favorece a disponibilidade, mas a recuperação pode levar tempo durante uma grande partição da rede ou uma falha generalizada de validadores.

Segurança vs. disponibilidade

Segurança significa que nós honestos não finalizam dois históricos conflitantes da blockchain.

Disponibilidade significa que a blockchain consegue continuar avançando e finalizando novos checkpoints.

Um gadget de finalização precisa equilibrar as duas propriedades.

Recusar-se a finalizar durante uma situação de incerteza pode preservar a segurança, mas atrasar a liquidação.

Finalizar com facilidade excessiva pode aumentar a velocidade e, ao mesmo tempo, enfraquecer a proteção contra históricos conflitantes.

O Casper FFG prioriza uma segurança robusta e usa o vazamento por inatividade para recuperar a disponibilidade após uma interrupção prolongada.

O que é um atraso de finalização?

Um atraso de finalização ocorre quando novos blocos continuam sendo produzidos, mas os checkpoints não recebem votos qualificados suficientes para serem finalizados.

O atraso pode resultar de falhas de validadores, bugs de software, partições de rede, atestações incorretas ou um ataque intencional.

Os aplicativos podem continuar exibindo transações em blocos propostos recentemente durante o atraso.

No entanto, sistemas de alto valor podem esperar a retomada da finalização antes de considerar essas transações permanentemente liquidadas.

Um atraso de finalização não deve ser confundido com uma reorganização confirmada da cadeia.

Ele indica maior incerteza sobre blocos recentes, e não que eles já tenham sido removidos.

O que é finalização dupla?

A finalização dupla ocorre quando dois checkpoints conflitantes aparentemente atendem às regras de finalização do protocolo.

Isso representaria uma falha crítica de consenso.

No modelo normal do Casper FFG, pelo menos um terço do stake dos validadores teria que assinar votos conflitantes sujeitos a slashing.

Nós que observam dois históricos finalizados conflitantes não conseguem resolver automaticamente o problema usando as regras normais de escolha de bifurcação.

Pode ser necessária coordenação off-chain e consenso social para determinar qual histórico deve ser aceito.

Por isso, a finalização dupla é muito mais grave do que uma reorganização normal de curto alcance.

Gadgets de finalização e reorganizações de cadeia

Uma reorganização de cadeia ocorre quando os nós substituem blocos recentes por uma ramificação concorrente.

Pequenas reorganizações podem ocorrer antes da finalização porque os validadores talvez recebam blocos e mensagens em horários diferentes.

Um gadget de finalização limita o alcance de uma reorganização normal.

Nós honestos nunca devem reorganizar a cadeia para uma ramificação que entre em conflito com o checkpoint finalizado mais recente.

Aplicativos que aceitam blocos não finalizados devem considerar a possibilidade restante de uma reorganização de curto alcance.

Finalização e depósitos de criptomoedas

Um serviço de depósito de criptomoedas pode esperar até que uma transação alcance um número específico de confirmações ou a finalização do protocolo antes de disponibilizar os fundos.

Depósitos menores podem ser creditados antes da finalização completa quando o serviço aceita um risco limitado de reorganização.

Depósitos maiores podem exigir maior certeza de liquidação.

O período de espera exigido é uma decisão operacional de gestão de risco, não uma regra universal da blockchain.

Os usuários devem diferenciar a inclusão da transação, sua exibição na carteira, o crédito pelo serviço e a liquidação final.

Finalização e bridges cross-chain

Bridges cross-chain monitoram uma blockchain e agem em outra após detectar um evento na cadeia de origem.

Uma bridge que age antes da finalização da cadeia de origem pode processar uma transferência que depois seja removida por uma reorganização.

Um invasor poderia tentar receber ativos na cadeia de destino antes que a transação de origem desaparecesse.

Esperar pela finalização reduz esse risco, mas aumenta o tempo de transferência.

Os desenvolvedores de bridges também precisam considerar a segurança dos validadores, relayers, contratos inteligentes, clientes leves e da cadeia de destino.

A finalização da cadeia de origem protege apenas uma parte do sistema completo da bridge.

Finalização e redes Layer 2

Redes Layer 2 processam transações fora da blockchain base e publicam nela dados, provas ou compromissos.

Os usuários podem receber uma confirmação local rápida antes que a transação correspondente na camada base seja finalizada.

A liquidação completa pode depender do projeto da Layer 2, do sistema de provas, do período de contestação, da disponibilidade de dados e da finalização da camada base.

Uma transação descrita como final dentro de um aplicativo Layer 2 talvez ainda não tenha atingido a liquidação final na blockchain subjacente.

Os usuários devem verificar a qual tipo de finalização o aplicativo se refere.

Finalização e contratos inteligentes

Uma transação de contrato inteligente pode ser executada com sucesso antes que seu bloco seja finalizado.

Outros aplicativos podem realizar imediatamente novas operações com base nesse estado temporário.

Uma reorganização de cadeia pode remover a transação e todas as mudanças de estado dependentes na ramificação substituída.

Por isso, ações off-chain de alto valor devem aguardar o nível apropriado de confirmação ou finalização.

Um contrato inteligente que opera na mesma cadeia normalmente não pode esperar pela finalização futura durante uma transação, pois ela é executada dentro de um único bloco.

Fluxos de trabalho que dependem da finalização geralmente exigem transações posteriores, relayers ou monitoramento off-chain.

O que é subjetividade fraca?

Subjetividade fraca é uma propriedade de proof of stake em que um nó novo ou que ficou offline por muito tempo precisa de um checkpoint confiável recente para identificar com segurança a cadeia correta.

Um invasor de longo alcance pode tentar criar um histórico alternativo usando chaves de validadores cujo stake foi retirado há muito tempo.

Esses antigos validadores podem não ter mais stake ativo sujeito ao slashing comum.

Um checkpoint recente de subjetividade fraca informa ao nó qual histórico da blockchain é reconhecido pela comunidade ativa.

A documentação oficial da Ethereum sobre subjetividade fraca explica como checkpoints recentes protegem nós em sincronização contra históricos alternativos desatualizados.

Subjetividade fraca não significa que toda transação diária dependa da confiança em uma autoridade central.

Ela se aplica principalmente à inicialização segura de nós sem conhecimento recente da cadeia.

Checkpoint de subjetividade fraca vs. checkpoint finalizado

Um checkpoint finalizado é produzido pelo processo de votação de validadores do protocolo.

Um checkpoint de subjetividade fraca é uma referência confiável recente fornecida a um nó novo ou que ficou offline por muito tempo.

Se um nó observar dois checkpoints finalizados conflitantes, terá evidências de uma falha crítica de consenso, mas não conseguirá identificar automaticamente qual ramificação é aceita socialmente.

Se um bloco entrar em conflito com o checkpoint confiável de subjetividade fraca do nó, ele será rejeitado.

Os dois conceitos estão relacionados, mas servem a propósitos de segurança diferentes.

O que é sincronização por checkpoint?

A sincronização por checkpoint permite que um nó proof of stake comece a sincronizar a partir de um checkpoint confiável recente, em vez de processar todo o histórico de consenso desde o bloco gênese.

Isso pode reduzir o tempo necessário para iniciar um nó.

O nó precisa obter o checkpoint de uma fonte confiável ou verificada de forma independente.

Usar um checkpoint malicioso pode colocar o nó em uma cadeia incorreta.

Operadores de nós podem comparar checkpoints de várias fontes independentes antes de confiar em um valor.

Gadget de finalização vs. regra de escolha de bifurcação

Uma regra de escolha de bifurcação seleciona a ramificação que o nó deve seguir naquele momento.

Um gadget de finalização determina quais checkpoints anteriores não devem mais ser substituídos.

O resultado da escolha de bifurcação pode mudar com a chegada de novas mensagens.

O limite finalizado deve permanecer estável, a menos que ocorra uma falha grave de consenso.

O LMD-GHOST da Ethereum é a regra de escolha de bifurcação, enquanto o Casper FFG é o gadget de finalização.

Gadget de finalização vs. mecanismo de consenso

Um mecanismo de consenso é o conjunto completo de regras, incentivos, premissas de rede, lógica de escolha de bifurcação, seleção de validadores e processos de finalização usados para manter o consenso.

Um gadget de finalização é um componente desse sistema maior.

Chamar o Casper FFG de mecanismo de consenso completo da Ethereum deixa de fora a proposta de blocos, o LMD-GHOST, a execução de transações, as recompensas, a rede e outras funções essenciais.

A documentação sobre o mecanismo de consenso da Ethereum explica que o consenso inclui uma pilha completa de protocolos e incentivos, e não apenas proof of stake ou um algoritmo de votação.

Gadget de finalização vs. proof of stake

Proof of stake é um método de atribuir influência no consenso conforme os criptoativos em staking.

Um gadget de finalização é um conjunto de regras que usa votos de validadores para finalizar blocos ou checkpoints.

Uma blockchain proof of stake pode usar um gadget de finalização, mas os dois termos não são intercambiáveis.

Redes proof of stake diferentes podem usar regras, limites, cronogramas de votação e penalidades de finalização diferentes.

Gadget de finalização vs. tolerância a falhas bizantinas

Tolerância a falhas bizantinas descreve a capacidade de um sistema distribuído de manter o consenso apesar de alguns participantes agirem de maneira incorreta ou maliciosa.

Muitos gadgets de finalização usam conceitos de consenso tolerante a falhas bizantinas.

Um limite de votação por supermaioria permite que o sistema tolere uma fração limitada de peso de validadores com falhas.

Penalidades econômicas acrescentam uma camada de incentivos proof of stake a essas regras de votação.

Assim, um gadget de finalização é um componente prático de blockchain, enquanto a tolerância a falhas bizantinas é uma propriedade mais ampla de sistemas distribuídos e uma área de pesquisa.

GRANDPA como gadget de finalização

GRANDPA significa GHOST-based Recursive ANcestor Deriving Prefix Agreement.

É um gadget de finalização usado no projeto de consenso da Polkadot.

O GRANDPA é separado do mecanismo que produz blocos candidatos.

Seus validadores votam em cadeias e podem finalizar um ancestral comum de vários blocos, em vez de finalizar apenas um novo bloco por vez.

A documentação oficial de consenso da Polkadot descreve o GRANDPA como um gadget de finalização assíncrono e responsável.

O Casper FFG e o GRANDPA demonstram que o conceito de gadget de finalização pode ser implementado por meio de algoritmos diferentes.

Vantagens de um gadget de finalização separado

Um gadget separado permite que a produção de blocos continue rapidamente enquanto uma finalização mais forte se desenvolve por meio dos votos dos validadores.

Ele pode fornecer finalização explícita, em vez de exigir que os usuários estimem a segurança apenas pela quantidade de confirmações.

As condições de slashing tornam certas violações de consenso comprováveis publicamente e passíveis de punição econômica.

O projeto modular pode permitir que pesquisadores aprimorem a escolha de bifurcação e a finalização como componentes separados do protocolo.

Também pode oferecer suporte a mecanismos de produção de blocos que continuem funcionando durante atrasos temporários de finalização.

Limitações dos gadgets de finalização

Os gadgets de finalização acrescentam complexidade ao protocolo.

Os validadores precisam administrar chaves, horários de votação, conexões de rede e riscos de slashing.

Alcançar uma supermaioria exige tempo e comunicação.

Uma falha que afete muitos validadores pode atrasar a finalização mesmo quando os blocos continuam sendo produzidos.

A concentração de validadores pode tornar mais graves uma falha coordenada ou a censura.

Nós novos e os que ficaram offline por muito tempo podem precisar de checkpoints confiáveis recentes, conforme as premissas de subjetividade fraca.

A finalização econômica também depende do valor real e da distribuição do ativo em staking.

Concentração de validadores e risco de finalização

Um gadget de finalização é mais seguro quando o stake dos validadores está distribuído entre operadores, clientes de software, locais e provedores de infraestrutura independentes.

Um stake concentrado pode permitir que uma organização ou grupo coordenado atrase a finalização.

Um bug comum de software também pode afetar muitos validadores ao mesmo tempo.

Se um único cliente de consenso controlar mais de um terço do stake, um bug grave poderá impedir a finalização.

Se uma implementação com falhas controlar uma supermaioria, as consequências poderão ser ainda mais graves.

As orientações da Ethereum sobre diversidade de clientes explicam por que distribuir o uso de validadores entre implementações independentes reduz o risco de falhas correlacionadas de consenso.

Partições de rede e finalização

Uma partição de rede ocorre quando grupos de validadores não conseguem se comunicar de forma confiável entre si.

Cada grupo pode ver um conjunto diferente de blocos e atestações.

Se nenhum dos lados controlar dois terços do stake ativo, nenhum deles deverá finalizar novos checkpoints.

Essa perda de disponibilidade protege a segurança, pois dificulta que os grupos finalizem históricos conflitantes.

Se a partição durar o suficiente, o vazamento por inatividade pode permitir que um dos lados recupere a finalização.

A recuperação pode exigir coordenação cuidadosa, pois validadores em lados diferentes podem sofrer penalidades.

Um gadget de finalização pode finalizar uma transação inválida?

Um gadget de finalização não substitui a validação normal de transações e blocos.

Clientes de execução verificam assinaturas, saldos, regras de contratos inteligentes e outros requisitos de transação.

Clientes de consenso verificam as regras dos blocos e dos validadores.

Nós honestos rejeitam blocos inválidos antes de aceitar o apoio dos validadores.

Portanto, finalizar um bloco inválido exigiria uma falha grave envolvendo o comportamento dos validadores, o software cliente, as premissas de implementação ou a governança da rede.

A finalização torna difícil reverter um histórico válido aceito, mas não transforma uma transação evidentemente inválida em válida quando os clientes funcionam corretamente.

Os validadores podem reverter um bloco finalizado?

Validadores que seguem o protocolo não votam em uma cadeia que entre em conflito com um checkpoint finalizado.

Um grupo que tente finalizar um histórico alternativo precisaria de poder de votação suficiente para violar as regras de consenso.

Votos conflitantes exporiam pelo menos parte do stake desonesto ao slashing.

Um ataque envolvendo mais de dois terços do stake poderia controlar temporariamente a finalização, mas as consequências econômicas e sociais seriam extraordinárias.

Por isso, os usuários devem tratar blocos finalizados de forma diferente de blocos recém-propostos.

O que é finalização em um único slot?

Finalização em um único slot é um projeto proposto para blockchain em que um bloco pode ser proposto e finalizado dentro de um único slot.

O processo de finalização atual da Ethereum leva cerca de 15 minutos.

A finalização em um único slot reduziria o tempo de espera para aplicativos e usuários.

Também poderia limitar o período em que blocos recentes permanecem vulneráveis a tentativas de reorganização.

Alcançar esse objetivo na escala da Ethereum exige agregação e verificação eficientes de um conjunto muito grande de validadores.

Em julho de 2026, a finalização em um único slot continua fazendo parte do roteiro futuro da Ethereum, e não do processo de finalização usado na mainnet.

Por que uma finalização mais rápida é difícil

Uma finalização mais rápida exige que os validadores se comuniquem, votem, agreguem assinaturas e verifiquem resultados em menos tempo.

Uma rede global de validadores enfrenta latência, interrupções temporárias e conexões de qualidade desigual.

Exigir que todos os validadores votem em cada slot pode demandar largura de banda e capacidade de processamento significativas.

O uso de comitês menores melhora a eficiência, mas pode reduzir a segurança econômica representada por cada voto.

Os projetistas de protocolos precisam equilibrar velocidade, descentralização, segurança, requisitos de hardware e resiliência.

Por que a finalização é importante para traders de cripto

A finalização ajuda os traders a entender quando é improvável que um depósito ou transferência desapareça por causa de uma reorganização da cadeia.

Uma transação visível apenas em um bloco proposto recentemente ainda está sujeita a algum risco de reorganização.

Uma transação finalizada passou pelo limite normal mais forte de consenso da rede.

Traders que movimentam grandes valores podem optar por esperar pela finalização, mesmo quando um serviço credita transações menores antes disso.

A finalização não protege o trader de enviar criptomoedas para o endereço errado, assinar uma transação maliciosa ou comprar um ativo que perca valor.

Por que a finalização é importante para desenvolvedores

Os desenvolvedores precisam decidir quando um aplicativo deve considerar um evento on-chain liquidado.

Responder imediatamente aumenta a velocidade, mas também o risco de reorganização.

Esperar pela finalização completa aumenta a confiança na liquidação, mas também a latência.

Quando a interface da rede oferecer suporte a esses conceitos, os aplicativos devem diferenciar os estados de bloco proposto, seguro e finalizado.

Aplicativos cross-chain devem considerar a finalização tanto na cadeia de origem quanto na cadeia de destino.

Os sistemas de monitoramento devem detectar atrasos de finalização, em vez de presumir que a finalização sempre avança no prazo previsto.

Por que a finalização é importante para validadores

Os validadores ajudam a criar finalização ao publicar atestações pontuais e consistentes.

Devem proteger as chaves de assinatura e evitar configurações que possam gerar mensagens conflitantes.

Sistemas de contingência precisam ser projetados com cuidado, pois duas instâncias ativas de validadores usando a mesma chave podem votar duas vezes.

Quando compatível com o software, os validadores devem usar bancos de dados de proteção contra slashing.

A diversidade de clientes, a sincronização confiável de horário, a segurança da rede e o monitoramento também reduzem os riscos relacionados à finalização.

Como os usuários podem verificar a finalização

Um explorador de blockchain ou uma interface de nó pode indicar que os blocos foram finalizados.

As APIs de consenso da Ethereum também fornecem informações sobre checkpoints finalizados.

Uma carteira pode simplesmente mostrar uma transação como confirmada sem indicar se a finalização completa já ocorreu.

Ao lidar com transferências de alto valor, os usuários podem comparar o bloco da transação com o bloco finalizado mais recente da rede.

Interfaces de terceiros podem exibir dados atrasados ou incorretos; por isso, sistemas críticos podem consultar o próprio nó ou várias fontes independentes.

Equívocos comuns sobre gadgets de finalização

Um gadget de finalização não é todo o mecanismo de consenso da blockchain.

Ele não necessariamente produz blocos.

Um bloco confirmado recentemente nem sempre está finalizado.

A finalização não significa que todos os aplicativos já creditaram uma transação.

Uma transação finalizada não pode ser revertida em condições normais de operação do protocolo, mas falhas catastróficas de consenso continuam sendo teoricamente possíveis.

O slashing não é aplicado a todo validador que deixa de emitir um voto.

O slashing tem como alvo comportamentos conflitantes comprováveis ou condutas gravemente desonestas, enquanto a falta de participação comum costuma resultar em penalidades menores.

Um atraso de finalização não significa automaticamente que a blockchain parou de produzir blocos.

Casper FFG não é o mesmo que LMD-GHOST.

A finalização em um único slot não está ativa atualmente na mainnet da Ethereum.

Perguntas frequentes

O que significa gadget de finalização em cripto?

É um componente de consenso que usa votos de validadores e regras econômicas para determinar quando blocos ou checkpoints devem ser considerados finais.

Qual é a finalidade de um gadget de finalização?

Sua finalidade é criar garantias sólidas de liquidação e impedir que reorganizações normais substituam o histórico finalizado da blockchain.

Qual é o gadget de finalização mais conhecido?

O Casper the Friendly Finality Gadget, ou Casper FFG, é o exemplo mais conhecido e é usado no sistema de consenso proof of stake da Ethereum.

O que significa FFG?

FFG significa Friendly Finality Gadget.

Casper FFG é o mesmo que proof of stake da Ethereum?

Não. O Casper FFG é o componente de finalização do mecanismo de consenso proof of stake mais amplo da Ethereum.

O que é Gasper?

Gasper é o projeto de consenso da Ethereum que combina o gadget de finalização Casper FFG com a regra de escolha de bifurcação LMD-GHOST.

Qual é a diferença entre Casper FFG e LMD-GHOST?

O Casper FFG finaliza checkpoints, enquanto o LMD-GHOST seleciona a ponta atual da blockchain.

O que é um bloco finalizado?

É um bloco que não pode ser removido em condições normais de operação do protocolo sem uma falha grave de consenso e grandes penalidades para os validadores.

O que é um checkpoint justificado?

Um checkpoint justificado recebeu um vínculo de supermaioria qualificado de um checkpoint justificado anterior, mas ainda pode não ter atingido a finalização.

O que é um vínculo de supermaioria?

É um voto em checkpoint apoiado por pelo menos dois terços do stake ativo relevante dos validadores.

Quanto tempo leva a finalização da Ethereum?

Atualmente, a Ethereum atinge a finalização completa do protocolo em cerca de 15 minutos, em condições normais.

Quanto dura uma epoch da Ethereum?

Uma epoch da Ethereum contém 32 slots de 12 segundos e dura aproximadamente 6,4 minutos.

Uma confirmação da Ethereum é final?

Não. Um bloco pode ser confirmado e aceito como a ponta atual da cadeia antes de atingir a finalização no nível do protocolo.

Uma transação finalizada pode ser revertida?

Não em condições normais de operação, pois a reversão exigiria violações graves das regras pelos validadores, penalidades econômicas ou uma falha excepcional de consenso.

Quanto stake é necessário para finalizar um checkpoint?

São necessários votos que representem pelo menos dois terços do stake ativo para criar o vínculo de supermaioria relevante.

Por que um terço do stake é importante?

Mais de um terço pode atrasar a finalização, enquanto a finalização conflitante tornaria pelo menos um terço do stake sujeito a slashing, segundo as premissas normais do Casper.

O que acontece quando um terço dos validadores fica offline?

A rede pode parar de finalizar novos checkpoints porque o peso de votação restante não consegue atingir o limite exigido de dois terços.

O que é o vazamento por inatividade?

É um mecanismo que reduz gradualmente o stake de validadores inativos durante uma falha prolongada de finalização, permitindo que os validadores ativos eventualmente recuperem a supermaioria.

Um atraso de finalização interrompe todas as transações?

Não necessariamente. Os blocos podem continuar sendo propostos, mesmo que novos checkpoints não estejam sendo finalizados.

O que é finalização dupla?

É uma falha crítica de consenso em que dois checkpoints conflitantes aparentemente são finalizados.

O que é votação dupla?

A votação dupla ocorre quando um validador assina destinos de checkpoint diferentes para a mesma epoch de destino.

O que é votação envolvente?

A votação envolvente ocorre quando um voto em checkpoint feito por um validador envolve indevidamente outro voto do mesmo validador.

O que é slashing?

É a destruição do stake do validador e sua remoção da validação ativa após violações graves de consenso que possam ser comprovadas.

Um gadget de finalização é usado apenas pela Ethereum?

Não. Outros sistemas blockchain usam mecanismos de finalização separados, incluindo o gadget de finalização GRANDPA.

O que é GRANDPA?

GRANDPA é um gadget de finalização que vota em cadeias e finaliza ancestrais compartilhados, separadamente do processo de produção de blocos.

O que é subjetividade fraca?

Subjetividade fraca significa que um nó proof of stake novo ou que ficou offline por muito tempo precisa de um checkpoint confiável recente para sincronizar com segurança.

O que é sincronização por checkpoint?

É um processo que permite que um nó inicie a sincronização de consenso a partir de um checkpoint confiável recente, em vez de processar todo o histórico desde o bloco gênese.

O que é finalização em um único slot?

É um projeto proposto em que um bloco é proposto e finalizado no mesmo slot.

A Ethereum usa atualmente a finalização em um único slot?

Não. Em julho de 2026, ela continua sendo um objetivo futuro do roteiro.

Por que as bridges de cripto esperam pela finalização?

Elas esperam para reduzir o risco de emitir ativos ou mensagens com base em uma transação da cadeia de origem que depois seja removida por uma reorganização.

A finalização protege contra o roubo de carteiras?

Não. A finalização protege o histórico da blockchain, não as chaves privadas, as permissões da carteira, a segurança de contratos inteligentes ou o valor dos investimentos.

Como um usuário pode verificar se um bloco foi finalizado?

O usuário pode comparar o bloco da transação com o checkpoint finalizado mais recente informado por um explorador de blockchain confiável ou por um nó de consenso.

Conclusão

Um gadget de finalização é um componente de consenso de blockchain que transforma o consenso entre validadores em garantias sólidas de liquidação.

Ele funciona junto aos mecanismos de produção de blocos e escolha de bifurcação, em vez de substituir todo o mecanismo de consenso.

O Casper FFG da Ethereum usa votos em checkpoints, vínculos de supermaioria de dois terços, justificação, finalização e condições de slashing para proteger o histórico da blockchain.

A Ethereum combina o Casper FFG com o LMD-GHOST no projeto de consenso mais amplo chamado Gasper.

Um checkpoint finalizado não pode ser substituído durante a operação normal sem violações graves das regras por validadores e penalidades econômicas significativas.

O gadget de finalização pode preservar a segurança ao atrasar a finalização quando muitos validadores estão offline ou em desacordo.

O vazamento por inatividade da Ethereum foi projetado para restaurar a disponibilidade, reduzindo a influência do stake que não participa durante uma falha prolongada de finalização.

A finalização é importante para depósitos de cripto, bridges, sistemas Layer 2, contratos inteligentes, validadores e qualquer aplicativo que precise determinar quando um evento on-chain foi liquidado permanentemente.

A finalização atual da Ethereum leva cerca de 15 minutos, enquanto a finalização em um único slot continua sendo um objetivo de desenvolvimento futuro.

Entender a diferença entre proposta de bloco, escolha de bifurcação, confirmação, justificação e finalização ajuda os usuários de cripto a avaliar com mais precisão os riscos de liquidação em blockchain.