Strategies for quantum-enabled Bitcoin miners

Resumo Técnico: Estratégias para Mineradores de Bitcoin Habilitados por Computação Quântica

Definição do Problema
A segurança da rede Bitcoin baseia-se na premissa de que executar um "ataque de 51%" — onde um consórcio controla a maioria do poder computacional da rede para realizar o gasto duplo ou reverter transações — é proibitivamente caro. Embora trabalhos anteriores tenham sugerido teoricamente que o algoritmo de Grover poderia reduzir o custo de tal ataque ao fornecer uma aceleração quadrática na resolução do problema de Proof-of-Work (PoW), esses estudos frequentemente se basearam em modelos adversariais restritos. Especificamente, modelos anteriores restringiam os mineradores quânticos a uma única medição quântica por corrida de mineração e a uma estratégia "pacífica" (descartar a busca ao receber a transmissão de um novo bloco). Este artigo aborda essa lacuna estudando o impacto de dois mineradores quânticos agressivos e não colusivos no limiar de ataque de 51%, dentro de um modelo adversarial mais realista. O problema central é determinar as estratégias de mineração quântica ideais para dois mineradores competidores que podem realizar múltiplas medições quânticas e utilizar a estratégia de mineração quântica agressiva de Sattath (AQMS), e quantificar o efeito resultante na taxa de blocos obsoletos ($p_{stale}$) e no limiar efetivo de ataque de 51%.

Metodologia
Os autores estendem o arcabouço teórico de Jogos de Corridas Quânticas Simétricas de Dois Jogadores (S2QR) para modelar a competição entre dois mineradores quânticos, Alice e Bob, dentro de uma rede Bitcoin que, de outra forma, é clássica.

1. Extensões do Modelo:

   • Múltiplas Medições: Diferente de modelos anteriores que assumem uma única medição, este modelo permite que os mineradores realizem $c$ medições quânticas entre blocos sucessivos.
   • Estratégia Agressiva: O modelo incorpora a AQMS de Sattath, onde os mineradores interrompem sua busca e medem imediatamente ao receber a transmissão de um novo bloco, em vez de descartar seu esforço computacional. Esta estratégia aumenta a correlação entre os tempos de medição e a descoberta de blocos, potencialmente aumentando a taxa de blocos obsoletos.
   • Restrições de Recursos: Os mineradores operam sob um orçamento cumulativo de iterações de Grover $\kappa$, distribuído em $c$ medições. O espaço estratégico envolve a alocação dessas iterações para maximizar a probabilidade de serem os primeiros a encontrar um bloco válido.

2. Formulação Teoria dos Jogos:

   • A competição é modelada como um jogo estratégico onde Alice e Bob escolhem estratégias puras (vetores de iterações de Grover para cada uma de suas $c$ medições).
   • Matrizes de Payoff: Os autores derivam expressões de forma fechada para as matrizes de payoff ($A$ e $B$) para ambos os jogadores. Estas matrizes consideram:
     • A probabilidade de sucesso para o algoritmo de Busca Quântica de Orçamento Finito (FQS) com base no número de iterações de Grover.
     • A estrutura aditiva de payoffs através de múltiplas medições.
     • Os termos introduzidos pela AQMS, que modificam os payoffs quando um minerador mede após um oponente já ter encontrado uma solução (ou quando as medições ocorrem simultaneamente).
   • Computação de Equilíbrio: Os equilíbrios de Nash ideais são identificados. Devido à explosão combinatória do espaço de estratégias (que cresce com $c$), os autores empregam um heurístico para amostrar o espaço de estratégias puras e utilizam o algoritmo de Lemke-Howson para computar equilíbrios de Nash exatos.

3. Simulação:

   • Para avaliar o impacto na segurança, os autores realizam simulações de Monte Carlo (1.000.000 de dias) utilizando os equilíbrios de Nash computados.
   • As simulações monitoram a taxa de blocos obsoletos ($p_{stale}$), definida como a razão entre os blocos fora da cadeia mais longa e o total de blocos.
   • O estudo avalia se $p_{stale}$ excede o limiar crítico de $1/3$, o que reduziria o limiar efetivo de ataque de 51% para 40% ou menos.
   • As simulações são conduzidas em três regimes de dificuldade de rede: Baixa ($D \le 2^{32}$), Alta ($D > 2^{32}$, refletindo as dificuldades atuais e projetadas) e Ideal (onde o oráculo quântico codifica o cabeçalho completo do bloco).

Contribuições Principais

• Inclusão de Nova Estratégia: O artigo introduz a "Estratégia de Mineração Quântica Agressiva" (AQMS) em um arcabouço de teoria dos jogos, analisando seu impacto juntamente com múltiplas medições quânticas.
• Matrizes de Payoff Generalizadas: Os autores derivam a estrutura matemática das matrizes de payoff para $c$ medições quânticas, estendendo o modelo S2QR para lidar com a natureza cumulativa de múltiplas tentativas e as correlações temporais específicas induzidas pela AQMS.
• Computação de Estratégia Ótima: O estudo computa estratégias de mineração quântica ideais (equilíbrios de Nash) para $c \in \{1, 2, 3, 4\}$ através de diferentes regimes de dificuldade, revelando como os mineradores devem alocar seus orçamentos de iterações de Grover.
• Quantificação de Segurança: O artigo fornece uma avaliação quantitativa do limiar de ataque de 51% sob estas estratégias ideais, indo além de possibilidades teóricas para resultados simulados.

Resultados

• Estratégias Ótimas:
  • No Regime de Alta Dificuldade (atual e projetado), a estratégia ideal para ambos os mineradores é alocar todos os recursos para a medição final. O payoff esperado é extremamente baixo ($\approx 8,9 \times 10^{-5}$), e os mineradores são estatisticamente indistinguíveis de mineradores clássicos.
  • Nos Regimes de Baixa Dificuldade e Ideal, os mineradores distribuem recursos entre múltiplas medições. Para $c=2$, os recursos são divididos para equilibrar a probabilidade de sucesso contra a vantagem temporal. Para $c \ge 3$, os mineradores frequentemente concentram recursos em menos medições ou realizam zero iterações em algumas tentativas para maximizar a probabilidade de sucesso quadrática de outras.
• Taxa de Blocos Obsoletos e Limiar de Ataque de 51%:
  • Alta Dificuldade: O impacto na taxa de blocos obsoletos é negligenciável. Os percentis de 95ª e 99ª de $p_{stale}$ são efetivamente zero. A probabilidade de $p_{stale}$ exceder o limiar de $1/3$ é zero. A rede produz os 144 blocos por dia esperados, e a presença de mineradores quânticos é indetectável.
  • Baixa Dificuldade/Ideal: Estes regimes mostram um aumento significativo em $p_{stale}$, com alguns dias simulados aproximando-se do benchmark de $1/3$. No entanto, a probabilidade empírica de $p_{stale} > 1/3$ é ínfima ($10^{-6}$ a $10^{-8}$).
  • Detecção: Nos regimes de Baixa Dificuldade e Ideal, a presença de mineradores quânticos é estatisticamente certa de ser detectada ($P_{det} = 1$) devido à taxa de bifurcação anômala, enquanto no regime de Alta Dificuldade, a detecção é negligenciável.

Significância e Alegações
O artigo conclui que a ameaça representada por dois mineradores quânticos não colusivos competindo entre si pela rede Bitcoin é negligenciável para o futuro próximo.

• Preservação da Segurança: Mesmo sob as premissas mais agressivas (múltiplas medições, AQMS e jogo ideal), a taxa de blocos obsoletos resultante não excede sustentavelmente o limiar necessário para tornar um ataque de 51% viável. A rede Bitcoin permanece segura contra este modelo adversarial específico.
• Realismo: Os autores enfatizam que os regimes onde $p_{stale}$ aumenta significativamente (Baixa Dificuldade e Ideal) são improváveis de ocorrer na prática. O regime de Baixa Dificuldade requer uma dificuldade de rede não vista desde a criação do Bitcoin, e o regime Ideal requer um oráculo quântico capaz de codificar o cabeçalho de bloco completo de 640 bits, o que é tecnologicamente inviável no momento.
• Detecção: Em cenários onde a taxa de blocos obsoletos de fato aumenta, a rede detectaria estatisticamente os mineradores quânticos imediatamente, permitindo potenciais contramedidas.
• Escopo Modesto: Os autores observam que seu modelo representa um "cenário de melhor caso" para mineradores quânticos, pois ignora os custos associados à preparação de estado e construção de oráculo. Consequentemente, o impacto real na taxa de blocos obsoletos seria provavelmente ainda menor do que o previsto. O trabalho estabelece uma base para estudar um maior número de mineradores ou estratégias de colusão, mas afirma que, para dois mineradores, o limiar de ataque de 51% permanece robusto.