Blockchain/Nível III · A rede/3.2 Mineração/Lição 6
Blocos obsoletos e propagação
A corrida até a ponta e por que o bloco mais rápido vence
MateriaisAcesso ao mempool.space ou a um explorador de blocos semelhanteUm caderno ou planilha
Curiosidade
- Por que um bloco válido às vezes é descartado?
- Como a latência de rede favorece as grandes operações de mineração em relação às pequenas?
- O que acontece quando dois mineradores encontram blocos na mesma altura exata?
Explorar
- Quando um minerador encontra um bloco válido, ele o transmite para os pares (peers), geralmente na forma de um bloco compacto. Os limites de largura de banda e os atrasos na validação fazem com que essa transmissão leve tempo para chegar a todos os nós da rede. Durante esse intervalo, outros mineradores que ainda não receberam a nova ponta continuam a minerar com base no estado anterior da cadeia, sem saber que já foi encontrado um ramo concorrente.
- Se um desses mineradores atrasados descobrir seu próprio bloco válido na mesma altura antes de receber a transmissão inicial, ocorre um fork temporário. Ambos os blocos possuem prova de trabalho correta e são tecnicamente válidos. No entanto, apenas um pode fazer parte da cadeia canônica ativa. O próximo bloco encontrado por qualquer minerador será anexado a um deles, estendendo esse ramo; o outro se torna obsoleto.
- A latência de propagação aumenta diretamente a probabilidade dessa colisão. Uma propagação mais lenta eleva a taxa de blocos obsoletos, desperdiçando o poder computacional destinado à segurança do livro-razão em competições internas. Essa dinâmica favorece os mineradores grandes e bem conectados, que conseguem propagar seus blocos mais rapidamente do que os operadores menores e isolados, criando uma vantagem estrutural ligada à infraestrutura e não apenas ao poder de hash.
- Para mitigar as perdas causadas pela obsolescência de blocos, alguns mineradores adotam a “mineração sem validação”. Eles verificam apenas a prova de trabalho do cabeçalho do bloco recebido e começam imediatamente a construir novos blocos sobre ele, enquanto baixam os dados completos das transações para validação posterior. Esse atalho pode ter consequências negativas: em julho de 2015, logo após a ativação de um soft fork, mineradores que adotaram esse método criaram mais cinco blocos sobre um bloco inválido, resultando em um fork de seis blocos que teve de ser abandonado.
- Blocos compactos (BIP152) e redes de relé dedicadas como a FIBRE reduziram significativamente os tempos de propagação ao enviar identificadores curtos de transações e apenas as transações que um nó está faltando. Essas otimizações diminuem a taxa de obsolescência na rede, tornando mais difícil para grandes pools explorarem vantagens de latência. No entanto, a tensão entre o tamanho do bloco, o tempo de validação e a velocidade de propagação continua sendo uma restrição central no design do consenso.
- A mineração egoísta, descrita por Eyal e Sirer em 2013, demonstrou que um minerador com poder de hash considerável pode obter vantagem ao retêr blocos estrategicamente, em vez de transmiti-los imediatamente. Embora reorganizações de um único bloco ainda ocorram ocasionalmente devido à latência natural, reorganizações mais profundas são raras, pois o custo econômico de um comportamento adversarial contínuo supera os ganhos potenciais para a maioria dos participantes.
Fatos-chave
- Um bloco obsoleto é um bloco válido que não se torna parte da cadeia ativa do nó.
- A propagação mais rápida dos blocos diminui a taxa de obsolescência e reduz a vantagem dos mineradores grandes e bem conectados.
- A mineração sem validação envolve verificar apenas a prova de trabalho do cabeçalho do bloco para começar a construir imediatamente.
- Blocos compactos (BIP152) reduzem o tempo de propagação ao enviar IDs curtos em vez das transações completas que o peer já possui.
- A mineração egoísta permite que um minerador com poder de hash considerável se beneficie ao reter blocos de forma estratégica.
- Reorganizações em um único bloco ocorrem ocasionalmente devido à latência, enquanto reorganizações mais profundas são raras.
Exercício nove, seis, três, um
9ReunirEncontre o maior número possível de blocos obsoletos recentes ou reorganizações de um único bloco (meta: 9) em mempool.space ou em registros públicos, anotando a data e os pools envolvidos.
6AgruparAgrupe os 9 em 6 com base no que os registros mostram: as pools envolvidas, o tempo entre os blocos concorrentes, seus tamanhos e qual ramo venceu.
3DestilarReduza os 6 para 3 padrões de como esses forks surgem e se resolvem.
1CristalizarEscreva uma frase explicando por que a velocidade de propagação é um parâmetro de segurança crítico para sistemas de prova de trabalho.
Verificação de fatos
Datas, números e afirmações verificados com as fontes publicadas listadas abaixo.