A Model for Fast Mining Blockchains

Resumo Técnico: Um Modelo para Blockchains de Mineração Rápida

Declaração do Problema
Este artigo investiga a dinâmica da mineração de blockchain em um regime de "mineração rápida", onde o tempo necessário para minerar um novo bloco é comparável ao atraso de propagação necessário para comunicar esse bloco através da rede. Em modelos tradicionais de "mineração lenta", as bifurcações (divergências em blockchains locais) são tipicamente resolvidas rapidamente porque um novo bloco provavelmente será minerado em um ramo antes que a rede se sincronize totalmente. No entanto, em cenários de mineração rápida, múltiplos blocos podem ser minerados simultaneamente em diferentes ramos enquanto a propagação está em curso, levando a um estado complexo onde os mineradores podem nunca deter blockchains locais idênticos. A questão central é se o consenso é alcançado, como a distribuição das alturas das blockchains evolui e qual é o comportamento assintótico do sistema conforme o número de mineradores ($N$) aproxima-se do infinito.

Metodologia
Os autores constroem um modelo de cadeia de Markov de tempo contínuo (CTMC) para uma rede de $N$ mineradores.

1. Espaço de Estados: O estado é definido pelo vetor das alturas das blockchains locais para cada minerador. As transições ocorrem via dois mecanismos:
   • Mineração: Um minerador descobre um novo bloco com taxa $\lambda$, aumentando sua altura local.
   • Propagação: Mineradores comunicam sua blockchain local para outros com taxa $\omega$. Um minerador receptor atualiza sua própria cadeia se a cadeia recebida for válida e possuir uma altura maior.
2. Análise para $N$ Finito: Os autores primeiro provam que, para qualquer $N$ finito, o sistema é recorrente positiva, o que significa que o consenso (todos os mineradores detendo blockchains idênticas) é alcançado em tempo esperado finito, independentemente da divergência inicial.
3. Limite Infinito ($N \to \infty$): Para analisar o comportamento macroscópico, os autores empregam uma lei dos grandes números funcional (FLLN) baseada no trabalho de Barbour e Luczak (2008). Eles definem uma função de distribuição empírica $\phi_n(t)$ que representa a proporção de mineradores com uma altura de blockchain menor ou igual a $n$.
4. Análise Assintótica: A distribuição limite satisfaz um sistema determinístico de equações diferenciais ordinárias (ODEs) acopladas. Os autores analisam este sistema usando:
   • Quadros Comóveis: Para estudar o perfil da onda viajante, eles fixam um conjunto de nível $p \in (0,1)$ e deslocam a coordenada temporal para eliminar o desvio de translação.
   • Argumentos Assintóticos: Inspirados por Brunet e Derrida (1997) e Bramson (década de 1980), eles derivam correções para a velocidade da onda.
   • Aproximação de Contínuo: Eles aproximam as equações de diferenças discretas por uma equação diferencial parcial (Fisher-KPP com deriva) e utilizam resultados de integrabilidade de Painlevé (Ablowitz e Zeppetella, 1979) para encontrar soluções analíticas explícitas para regimes de parâmetros específicos.

Principais Contribuições e Resultados

1. Dinâmica de Consenso:

   • Proposição 1: Para qualquer número finito de mineradores $N$, o estado de consenso é recorrente positiva. Mesmo com altos atrasos de propagação, o sistema retorna ao consenso em tempo esperado finito.
   • Lei dos Grandes Números Funcional: No limite $N \to \infty$, o processo estocástico converge para um perfil determinístico que satisfaz um sistema de ODEs (Equação 3.12):
     $$\dot{\phi}_n(t) = -\lambda(\phi_n - \phi_{n-1}) - \omega\phi_n(1 - \phi_n)$$
     com condição de contorno $\phi_{-1} \equiv 0$.

2. Convergência para uma Onda Viajante:

   • Teorema 12: A sequência de soluções do sistema de ODEs converge uniformemente para um perfil limite não trivial em um quadro comóvel. Este perfil é uma onda viajante com uma forma definida implicitamente por um problema de valor de contorno.
   • A velocidade da onda é determinada pelo tempo de inter-chegada $\tau$ de um conjunto de nível específico, que é independente do nível $p$ escolhido.

3. Velocidade da Onda e Correções Logarítmicas:

   • Velocidade Mínima: A onda viajante propaga-se com uma velocidade mínima $v_0$ determinada pela linearização do sistema na borda de frente.
   • Correção de Bramson: Para o limite de mineradores infinitos, a posição da frente $X_t$ exibe uma correção logarítmica de primeira ordem no tempo:
     $$X_t \sim v_0 t - \frac{3}{2\gamma_0} \log t$$
     onde $\gamma_0$ é a taxa de decaimento da cauda da onda.
   • Correção de Brunet-Derrida: Para um número finito de mineradores $N$, a velocidade da onda viajante $v_N$ converge para o limite infinito $v_0$ com uma correção proporcional ao inverso do quadrado do logaritmo de $N$:
     $$v_0 - v_N \sim \frac{C}{(\log N)^2}$$
     Este resultado alinha-se com o comportamento Brunet-Derrida observado em sistemas Fisher-KPP modificados por corte (cut-off).

4. Aproximação Analítica do Perfil:

   • Ao mapear o sistema discreto para uma equação Fisher-KPP contínua com deriva, os autores identificam um regime de parâmetros específico onde o sistema admite uma solução de onda viajante integrável de Painlevé.
   • Proposição 28: Para uma razão específica de $\omega/\lambda \approx 0.00781$, a solução analítica exata derivada por Ablowowitz e Zeppetella (1979) corresponde precisamente ao perfil limite do modelo de blockchain. Simulações numéricas confirmam um ajuste forte entre esta solução analítica e a solução numérica das ODEs discretas.

Significância e Alegações
O artigo afirma fornecer um arcabouço matemático rigoroso para compreender blockchains de mineração rápida, indo além de modelos heurísticos.

• Estabelece que, embora o consenso não seja instantâneo na mineração rápida, o sistema permanece estável e converge para um estado de consenso em tempo esperado finito para qualquer $N$ finito.
• Caracteriza a "imprecisão" (fuzziness) da cabeça da blockchain no limite infinito como uma onda viajante com uma forma e velocidade específicas.
• Quantifica os efeitos de tamanho finito, demonstrando que a velocidade de propagação em uma rede finita é mais lenta que o limite infinito por um fator de $(\log N)^{-2}$.
• O trabalho une processos estocásticos discretos (mineração de blockchain) com equações de reação-difusão contínuas (Fisher-KPP), utilizando técnicas assintóticas avançadas (Bramson, Brunet-Derrida) e teoria de sistemas integráveis (Painlevé) para derivar expressões explícitas para a velocidade e a forma do perfil da onda.

Os autores sustentam essas descobertas teóricas com simulações numéricas, verificando as correções logarítmicas no tempo e na contagem de mineradores, bem como a precisão da aproximação analítica baseada em Painlevé para o perfil limite.