Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay

Título: Prova Rigorosa e Generalizada da Segurança do Protocolo Bitcoin com Atraso de Rede Limitado

1. Problema e Contexto

O artigo aborda a necessidade de uma prova de segurança rigorosa para o protocolo Bitcoin, especificamente em um modelo de rede com atraso limitado ($\Delta$-bounded delay). Embora a segurança do Bitcoin tenha sido estudada anteriormente (notadamente em [7] e [8]), o trabalho identifica falhas críticas nas abordagens existentes:

• Erro na Teoria do Passeio Aleatório: A prova anterior em [7] assumia incorretamente que a sequência de variáveis aleatórias representando a diferença entre o comprimento da cadeia do adversário e a dos nós honestos constituía um "passeio aleatório" (random walk). O artigo demonstra, através de um contraexemplo, que essa suposição é falsa.
• Falta de Generalização: As provas anteriores focavam em blocos com pontuação unitária (score = 1). O protocolo Bitcoin real e suas variantes (como o "Merged Bitcoin") podem envolver blocos de diferentes tipos e pontuações.
• Complexidade e Intuição: As provas existentes são descritas como longas, não intuitivas e, em alguns casos, com lacunas na definição de variáveis para propriedades ergódicas.

O objetivo é fornecer uma prova autocontida, rigorosa e generalizada que estabeleça as condições sob as quais o protocolo Bitcoin mantém a segurança (presença infinita de blocos honestos na cadeia canônica) na presença de um adversário capaz de atrasar a transmissão de blocos.

2. Metodologia e Modelo

A. Modelo de Rede e Protocolo Generalizado

• Atraso Limitado ($\Delta$): O modelo considera que o adversário pode atrasar a transmissão de blocos honestos por um tempo máximo $\Delta$. Uma vez que um bloco é transmitido a um minerador honesto, ele pode ser atrasado em até $\Delta$ para todos os outros.
• Generalização de Pontuação (Score): Diferente do Bitcoin padrão onde cada bloco vale 1, o modelo permite que blocos tenham diferentes pontuações ($c_i > 0$). A regra de escolha de bifurcação (fork-choice rule) é minerar na cadeia com a maior pontuação total.
• Processos de Chegada: Os blocos honestos seguem processos de Poisson. O adversário não está sujeito a atrasos de rede e vê os blocos honestos assim que são minerados.

B. Abordagem de Prova: O Processo de Chegada "Punctured" (Furado)

Para corrigir o erro do passeio aleatório, os autores introduzem uma técnica inovadora:

1. Cadeia Totalmente Atrasada: Define-se uma cadeia hipotética onde todos os blocos honestos sofrem o atraso máximo $\Delta$.
2. Processo Punctured: Os autores criam um processo de chegada modificado onde, em intervalos regulares de tempo $B$, os blocos que chegam em janelas de tamanho $\Delta$ são "deletados" (furados). Isso cria intervalos de tempo independentes e identicamente distribuídos (i.i.d.).
3. Teoria do Passeio Aleatório Correta: Ao analisar a pontuação acumulada nesses intervalos "furados", os autores demonstram que a soma das pontuações forma um verdadeiro passeio aleatório com tendência (drift) positiva, desde que a taxa de crescimento honesta supere a do adversário. Isso permite o uso rigoroso da teoria de passeios aleatórios para provar que a pontuação honesta permanece acima da média com probabilidade positiva.

C. Conceitos Chave Definidos

• Bloco Nakamoto: Um bloco honesto que, uma vez minerado, permanece na cadeia canônica para sempre.
• Intervalo Nakamoto: Um intervalo de tempo onde ocorre um "bloco loner" (sem outros blocos honestos próximos) e onde a cadeia honesta domina a do adversário tanto no passado (desde o último bloco honesto anterior) quanto no futuro.
• Taxa de Crescimento Totalmente Atrasada ($\lambda_h$): A taxa de crescimento da pontuação da cadeia honesta quando submetida ao atraso máximo $\Delta$.
• Taxa de Crescimento do Adversário ($\lambda_a$): A taxa de crescimento da pontuação do adversário.

3. Principais Contribuições

1. Correção de Erro Fundamental: O artigo refuta a suposição de que a diferença de comprimento das cadeias é um passeio aleatório simples, substituindo-a por uma análise baseada em um processo de chegada "punctured" que satisfaz as condições necessárias para a teoria de passeios aleatórios.
2. Generalização do Modelo: A prova é válida para um modelo onde blocos têm pontuações variáveis, tornando-a aplicável a variantes do Bitcoin e ao protocolo "Merged Bitcoin" (introduzido em um artigo companheiro).
3. Prova Autocontida e Simplificada: A prova evita dependências de resultados não definidos de trabalhos anteriores e utiliza uma estrutura lógica mais clara, focando em intervalos de tempo e propriedades de independência.
4. Generalização da Condição de Segurança: Estabelece que a segurança é garantida se $\lambda_a < \lambda_h$ (a taxa de crescimento do adversário é estritamente menor que a taxa de crescimento honesta totalmente atrasada).

4. Resultados Principais

• Teorema de Existência de Blocos Nakamoto: Se $\lambda_h > \lambda_a$, existe uma probabilidade estritamente maior que zero de que qualquer intervalo de tempo específico contenha um "Intervalo Nakamoto" (e, portanto, um bloco honesto que permanece na cadeia para sempre).
• Argumento de Bootstrap (Indução): Os autores utilizam um argumento indutivo para mostrar que a probabilidade de um intervalo de tempo $t$ não conter blocos honestos permanentes decai exponencialmente com o tamanho de $t$.
• Teorema Principal (Corolário 43): Com probabilidade 1, a cadeia canônica conterá infinitos blocos honestos, desde que a taxa de crescimento honesta totalmente atrasada ($\lambda_h$) exceda a taxa de crescimento do adversário ($\lambda_a$).
• Região de Insegurança: Se $\lambda_a > \lambda_h$, o protocolo é inseguro. O adversário pode executar um ataque de mineração privada (private mining) e, com probabilidade 1, eventualmente dominar a cadeia canônica com blocos maliciosos.

5. Significância e Impacto

Este trabalho é fundamental para a teoria de segurança das criptomoedas por:

• Rigor Matemático: Elimina lacunas e erros conceituais em provas anteriores, fornecendo uma base sólida para a segurança do Bitcoin em redes assíncronas.
• Robustez contra Ataques: Confirma que, mesmo com atrasos de rede significativos e um adversário ativo, o Bitcoin permanece seguro desde que a maioria do poder de mineração (ajustado pelo atraso) seja honesta.
• Aplicabilidade Futura: A generalização para blocos de diferentes pontuações prepara o terreno para a análise formal de novos protocolos de consenso e fusões de cadeias (como o Merged Bitcoin), permitindo que a segurança seja provada em cenários mais complexos do que o Bitcoin original.

Em resumo, o artigo reestabelece a confiança na segurança do Bitcoin através de uma prova matemática corrigida e generalizada, demonstrando que a condição de segurança é a supremacia da taxa de crescimento honesta (considerando o pior cenário de atraso) sobre a do adversário.