Resumo Técnico: A Economia da Prova de Trabalho Útil

Declaração do Problema

As blockchains de Prova de Trabalho (PoW), como o Bitcoin, asseguram livros contábeis distribuídos através de um gasto computacional que é intencionalmente inútil do ponto de vista econômico. Embora esse "desperdício" seja argumentado como necessário para tornar os ataques economicamente dolorosos, ele não gera valor externo. Uma alternativa emergente, a Prova de Trabalho Útil (PoUW), propõe que os mesmos recursos computacionais usados para o consenso poderiam, simultaneamente, realizar tarefas economicamente valiosas, como a inferência de aprendizado de máquina (ML).

No entanto, a PoUW enfrenta uma crítica econômica significativa: se o trabalho é útil, um atacante poderia teoricamente ser "pago para atacar" ao vender o output útil gerado durante o ataque, potencialmente colapsando o custo econômico de comprometer a rede. Este artigo busca investigar formalmente se essa intuição se sustenta sob condições de equilíbrio competitivo e caracterizar os trade-offs econômicos dos sistemas de PoUW.

Metodologia

Os autores desenvolvem um modelo de equilíbrio competitivo de uma economia de blockchain PoUW. O modelo abstrai o protocolo de consenso subjacente (assumindo um protocolo padrão do tipo Nakamoto) e foca na alocação de recursos computacionais entre três atividades:

1. Mineração Pura ($M$): Gera segurança (hashrate), mas nenhum output útil.
2. Inferência Pura ($L$): Gera output útil (ex: inferência de ML), mas nenhuma segurança.
3. Trabalho Duplex/Híbrido ($D$): Gera simultaneamente segurança e output útil, mas com sobrecargas tecnológicas.

Parâmetros Chave:

• Sobrecargas ($\alpha, \gamma$): Uma operação duplex produz $1/\alpha$ unidades de inferência e $1/\gamma$ unidades de segurança. $\alpha, \gamma \ge 1$. Se $\alpha=1$ e $\gamma=1$, a duplex é perfeitamente eficiente; tipicamente $\alpha, \gamma > 1$ (ex: 1.3), representando uma sobrecarga de aproximadamente 23% em comparação a tarefas especializadas.
• Índice de Sobrecarga Duplex ($\Delta$): Definido como $\Delta = \frac{1}{\gamma} + \frac{1}{\alpha} - 1$. Isso determina se a duplex é mais eficiente do que dividir recursos entre mineração pura e inferência pura.
• Razão Token-Inferência ($\theta$): Um parâmetro escalar definido como $\theta = \frac{PR}{pQ}$, onde $P$ é o preço do token, $R$ é a recompensa do bloco, $p$ é o preço da inferência e $Q$ é o total de inferência fornecida. Esta razão mede o grau de acoplamento econômico entre a economia do token e o mercado de inferência.

O modelo assume um continuum de agentes competitivos com entrada livre, levando os lucros a zero no equilíbrio. O mercado de inferência é modelado como uma competição de Bertrand (o preço é igual ao custo marginal se a inferência solo estiver ativa), enquanto o mercado de segurança é modelado como um concurso de Tullock (recompensas compartilhadas proporcionalmente ao hashrate).

Principais Contribuições e Resultados

1. Caracterização de Três Regimes Econômicos

O artigo fornece uma caracterização completa em forma fechada das alocações e preços de equilíbrio, revelando três regimes distintos determinados pela eficiência duplex ($\Delta$) e pela razão T/I ($\theta$):

• Bitconia ($\Delta < 0$): A duplex é tecnologicamente ineficiente. A economia reduz-se a um sistema PoW clássico onde a mineração e a inferência são totalmente desacopladas ($M > 0, L > 0, D = 0$). Os preços de inferência igualam o custo de computação ($p=e$), e a segurança é produzida inteiramente por computação desperdiçada.
• Fortessia ($\Delta > 0, \theta < \theta_{low}$): A duplex é eficiente, mas a economia do token é relativamente pequena. A duplex substitui a mineração pura ($M=0, D>0$), enquanto a inferência solo permanece ativa ($L>0$). Os preços de inferência permanecem fixados em $p=e$, de modo que o volume de computação útil não muda em relação à Bitconia. No entanto, a segurança aumenta estritamente porque a sobrecarga da duplex é menor que o "desperdício" da mineração pura. A segurança é "fortificada".
• Duplexia ($\Delta > 0, \theta > \theta_{low}$): Tanto a tecnologia quanto a adoção do token são fortes. A inferência solo desaparece ($L=0$), e toda a inferência é produzida via trabalho duplex. Crucialmente, o preço da inferência cai abaixo do custo de computação ($p < e$). As recompensas de bloco atuam efetivamente como um subsídio, expandindo o mercado de inferência além do ótimo independente. Isso cria um ciclo de feedback positivo: preços mais baixos aumentam a demanda por inferência, o que aumenta o valor do token (sob $\theta$ fixo), ampliando ainda mais o subsídio.

2. Refutação do Espantalho "Pago para Atacar"

O artigo aborda formalmente a crítica de que a PoUW torna os ataques baratos porque os atacantes podem vender o output útil.

• Resultado: Em qualquer equilíbrio competitivo, o custo econômico de um ataque de 50% é exatamente $\frac{PR}{2}$, independentemente do regime.
• Mecanismo: Embora um atacante usando computação duplex ganhe receita de inferência ($p/\alpha$), o preço de equilíbrio $p$ ajusta-se de tal forma que o custo líquido para adquirir peso de segurança permaneça vinculado ao orçamento da recompensa do bloco. Se o atacante usar computação duplex, a receita obtida é exatamente compensada pela redução no preço do token ou pelas condições específicas de equilíbrio, garantindo que o custo do ataque não seja inferior ao de um sistema PoW clássico. Na Duplexia, o custo é, na verdade, fracamente superior ao da Bitconia devido ao aumento do valor do token impulsionado pela expansão do mercado de inferência.

3. Valor Social e Eficiência

O artigo analisa o valor social líquido ($\Delta SV$) da PoUW comparado a um mercado de inferência independente e ao PoW clássico.

• Comparação com o Bitcoin: No mesmo nível de recompensa de bloco ($PR$), a Duplexia domina estritamente o Bitcoin porque o mesmo gasto produz inferência valiosa em vez de puro desperdício.
• Comparação com $\theta$ Fixo: Ao comparar equilíbrios no mesmo $\theta$, a Duplexia evita o desperdício de mineração do Bitcoin, mas introduz dois custos:
  1. Sobrecarga Duplex: A ineficiência de realizar trabalho útil enquanto se minera.
  2. Perda de Peso Morto: O subsídio reduz os preços abaixo do custo marginal, induzindo o consumo de unidades que os consumidores valorizam menos que seu custo de recurso.
• Condição de Dominância: Sob demanda isoelástica com elasticidade $\varepsilon > 1$, a Duplexia domina estritamente o Bitcoin se, e somente se, $\theta < \frac{1}{\varepsilon - 1}$. Para $\varepsilon = 2$, a Duplexia domina sempre que a receita do mercado de inferência exceder a receita da recompensa do bloco.

4. Robustez e Heterogeneidade

Os resultados estendem-se a cenários com custos de computação heterogêneos (modelados via uma curva de oferta com inclinação positiva). A estrutura de regimes (Bitconia, Fortessia, Duplexia) permanece invariante, com o custo fixo $e$ sendo substituído por um custo marginal endógeno $e^*$. O resultado do custo de ataque ($PR/2$) também se mantém neste cenário.

Significância e Alegações

O artigo afirma fornecer a primeira análise de equilíbrio econômico formal de PoUW, indo além de argumentos heurísticos. Sua principal significância reside em:

1. Validação da Segurança: Demonstra que o argumento de "pago para atacar" é um espantalho; os preços de equilíbrio neutralizam o aparente custo de redução, mantendo os custos de ataque vinculados à recompensa do bloco.
2. Identificação de Criação de Valor: Mostra que, sob condições específicas (alta adoção de token e tecnologia duplex eficiente), a PoUW pode gerar um ganho "duplex": aumentar simultaneamente a segurança da rede e expandir a oferta de computação socialmente útil (inferência) além do que existiria sem a blockchain.
3. Alinhamento de Incentivos: O modelo sugere um alinhamento natural de incentivos onde os detentores de tokens beneficiam-se de melhorias tecnológicas na eficiência duplex (que baixam os preços de inferência e elevam o valor do token) e os provedores de inferência beneficiam-se da adoção do token.

Os autores concluem que, embora a PoUW não elimine todas as ineficiências (a sobrecarga e a potencial perda de peso morto permanecem), ela oferece um mecanismo para converter o "desperdício" da PoW em output socialmente útil, desde que os parâmetros econômicos (especificamente a razão T/I e a elasticidade da demanda) caiam dentro do regime "Duplexia".