Resumo Técnico: Bitcoin Mesclado: Blockchains de Proof of Work com Múltiplos Tipos de Hash

1. Definição do Problema

O protocolo Bitcoin, embora proteja mais de um trilhão de USD em valor, enfrenta riscos de segurança significativos associados a um ataque de 51%. A principal motivação deste trabalho é aumentar o limiar de segurança do protocolo Bitcoin para aliviar o risco de tais ataques catastróficos. Os métodos atuais para aumentar a segurança, como o aumento do poder de mineração honesto por meio de circuitos especializados SHA-256, introduzem vulnerabilidades:

• Centralização: A dependência de circuitos especializados concentra o poder entre agentes que possuem o melhor acesso a eles.
• Backdoors de Hardware: Um número limitado de fabricantes de ASICs cria um ponto único de falha; se comprometido, o protocolo torna-se vulnerável mesmo que a maioria dos mineradores seja honesta.
• Avanços Quânticos e Algorítmicos: Adversários podem obter vantagens assimétricas através de melhorias algorítmicas ou hardware especializado (ex: algoritmo de Grover para aceleração quântica) visando um único tipo de hash.

Os autores propõem o Bitcoin Mesclado (Merged Bitcoin), um protocolo que permite que blocos ligados por diferentes tipos de hash formem uma única cadeia. O objetivo é aumentar o custo de ataque, reduzir os riscos de centralização e mitigar vulnerabilidades específicas de tipos de hash únicos.

2. Metodologia e Estrutura Teórica

O Modelo de Recursos Aleatórios Múltiplos

O artigo modela os nós (honestos e desonestos) como possuindo quantidades variadas de recursos de hashing para $n$ diferentes tipos de hash. Esses recursos parametrizam um processo de chegada de Poisson.

• Taxas de Bloco (Blockrates): O modelo define taxas de bloco honestas ($h_i$) e taxas de bloco desonestas ($b_i$) para cada tipo de hash $i$, medidas em blocos por segundo.
• Sistema de Pontuação (Score System): A cada tipo de bloco $i$ é atribuída uma constante de pontuação $c_i$. A regra de escolha de fork seleciona a cadeia com a maior pontuação total ($\sum c_i N_i$, onde $N_i$ é a contagem de blocos do tipo $i$).
• Modelo de Rede: A análise opera sob um modelo de rede de atraso $\Delta$-limitado, onde a latência da rede é limitada por $\Delta$.

Motivação Informacional-Teórica e Impossibilidade

Os autores investigam inicialmente se a segurança pode ser condicionada a um "E" (AND) de múltiplos limiares de 51% (ou seja, o protocolo é seguro a menos que um adversário controle >50% de cada tipo de hash simultaneamente).

• A Hipótese do "Grande-E" (Big-And): Os autores exploram se uma probabilidade de erro exponencialmente decrescente informacional-teórica pode ser alcançada se a insegurança exigir que um adversário domine todos os tipos de hash.
• Resultado de Impossibilidade (Teorema 10): O artigo prova que para qualquer protocolo distribuído sem permissão que satisfaça propriedades específicas (propriedade de cadeia, equivalência de adversário e capacidade de retenção de adversário), a região de segurança "Grande-E" é impossível. Se um protocolo é seguro sob uma configuração $(h, b)$, ele não pode ser seguro sob a configuração trocada $(b, h)$. Isso implica que um protocolo não pode ser seguro sempre que qualquer único tipo de hash tiver menos de 50% de poder adversarial; a insegurança pode ocorrer mesmo se o adversário controlar menos de 50% de alguns tipos de hash, desde que controle o suficiente de outros.

Análise da Região de Segurança

Apesar da impossibilidade da região ideal "Grande-E", o artigo deriva limites de forma fechada para a região de segurança do Bitcoin Mesclado.

• Condição de Segurança: O Bitcoin Mesclado é seguro se a taxa de crescimento de pontuação do adversário ($\lambda_a = \sum c_i b_i$) for estritamente menor que a taxa de crescimento de pontuação honesta ($\lambda_h$) sob condições de atraso total.
• Derivação de Limites (Bounds):
  • Limite Inferior (Lema 13/17): Derivado usando um "Processo de Deleção de Intervalo Delta", que remove blocos que chegam dentro de $\Delta$ de um bloco "garantido". Isso produz uma estimativa conservadora da taxa de crescimento de pontuação honesta.
  • Limite Superior (Lema 15/19): Derivado usando um "Processo de Aumento de Pequenos Blocos", que aumenta artificialmente a pontuação de pequenos blocos se um bloco maior chegar dentro de $\Delta$. Isso fornece um limite superior para a taxa de crescimento de pontuação honesta.
• Caso de Atraso Zero: Quando $\Delta = 0$, a região de segurança simplifica-se para $\sum c_i b_i < \sum c_i h_i$.

3. Principais Contribuições e Resultados

1. Formalização do Bitcoin Mesclado

O artigo introduz um protocolo onde blocos de diferentes tipos de hash formam uma única cadeia, governada por uma regra de escolha de fork baseada em pontuação. Ele fornece limites de forma fechada superior e inferior para a região de segurança no modelo de atraso $\Delta$-limitado.

2. Otimização do Custo de Ataque

Em um modelo econômico de custo linear por hash, o artigo prova que o Bitcoin Mesclado pode maximizar o custo de um ataque.

• Teorema 23: Ao escolher apropriadamente as constantes de pontuação $c_i$ de modo que o custo por unidade de pontuação seja igual para todos os tipos de hash ($p_i/c_i$ é constante), o custo mínimo para atacar o Bitcoin Mesclado é igual à soma dos custos de atacar cada protocolo individual separadamente ($p_1 h_1 + p_2 h_2$). Isto é provado como o custo de ataque ótimo para qualquer protocolo de consenso multi-hash sob estas restrições.

3. Mecanismo de Ajuste de Dificuldade

Para evitar que o protocolo colapse em um único tipo de hash devido a avanços tecnológicos ou assimetrias de custo, os autores propõem um ajuste de dificuldade de fração mínima.

• Se a fração de blocos produzidos por um tipo de hash específico cair abaixo de um limiar, sua dificuldade relativa é ajustada incrementalmente para baixo. Isso garante que os mineradores retornem ao mercado para esse tipo de hash assim que ele se tornar lucrativo, mantendo uma mistura diversificada de tipos de hash.

4. Comparação com Minotaur

O artigo distingue o Bitcoin Mesclado do protocolo Minotaur (um sistema mesclado de Proof-of-Work/Proof-of-Stake).

• Interrupção de Cadeia (Chain Outage): O Minotaur pode sofrer uma interrupção permanente da cadeia se nenhum bloco for produzido em um intervalo de recência; o Bitcoin Mesclado não sofre disso.
• Ataques de Tomada de Controle (Takeover Attacks): O Minotaur é vulnerável a um ataque de tomada de controle onde um adversário pode eventualmente controlar a cadeia com probabilidade 1 se ele controlar qualquer poder de mineração, devido ao intervalo de recência finito. O Bitcoin Mesclado mantém uma fração não nula de blocos honestos com probabilidade 1.
• Ataques Prospectivos: O Minotaur é vulnerável a ataques prospectivos onde um adversário sabe antecipadamente que produzirá uma cadeia lateral de alta pontuação (permitindo o gasto duplo direcionado). O Bitcoin Mesclado, baseando-se em tempos de chegada de Poisson para a descoberta de blocos, impede que os adversários saibam antecipadamente se produzirão um bloco, mitigando assim este vetor de ataque.

5. Robustez à Vantagem Assimétrica

O artigo argumenta que o Bitcoin Mesclado fornece um remédio parcial para vantagens assimétricas, como as de ataques quânticos (algoritmo de Grover) ou backdoors de hardware.

• Resistência Quântica/Backdoor: Se um adversário ganhar uma vantagem em um tipo de hash (ex: via um circuito quântico especializado), ele deve possuir simultaneamente circuitos especializados para todos os tipos de hash para dominar a cadeia. Isso aumenta a complexidade e o custo de um ataque bem-sucedido exponencialmente com o número de tipos de hash ($n$), assumindo a independência das probabilidades de ataque.

4. Significância e Alegações

O artigo afirma que o Bitcoin Mesclado oferece um método rigoroso para aumentar o limiar de segurança de protocolos do tipo Bitcoin sem depender do resultado de impossibilidade do "Grande-E". Sua significância reside em:

• Maximizar o Custo de Ataque: Provar que o protocolo pode ser ajustado para fazer com que o custo de ataque seja igual à soma dos ataques de cadeias individuais, que é o máximo teórico para protocolos multi-hash.
• Descentralização: Permitir que computadores pessoais (que podem ser eficientes em hashes não-SHA-256, como Ethash) participem de forma viável, reduzindo a dependência de ASICs especializados.
• Agregação de Confiança: Permitir que partes com diferentes pressupostos de confiança (ex: um maximalista de Bitcoin e um maximalista de Ethereum) concordem em um único registro, pois a segurança da cadeia mesclada é derivada do poder honesto agregado de todos os tipos.
• Limites Teóricos: Fornecer os primeiros limites de forma fechada para a região de segurança de um protocolo Proof-of-Work de múltiplos hashes em uma rede de atraso limitado.

Os autores reconhecem que, embora a região de segurança "Grande-E" seja impossível para protocolos sem permissão, o protocolo proposto alcança uma diminuição exponencial comparável no erro contra adversários limitados por potência (ex: limitados por riscos de backdoors de hardware) e consegue maximizar o custo econômico de um ataque. O trabalho futuro é identificado como a análise da regra de $k$-confirmação e a exploração de protocolos que possam alcançar a região "Grande-E" caso as capacidades de retenção de adversário sejam restritas.