Resumo Técnico: Prova de Atestação Útil (PoUA)

1. Declaração do Problema

O artigo identifica um desalinhamento fundamental nos mecanismos de consenso para "cadeias nativas de atestação" — blockchains cuja atividade econômica primária é a produção e verificação de atestações criptográficas (por exemplo, proveniência de conteúdo, atribuição de saída de IA, rastreabilidade da cadeia de suprimentos).

Os sistemas atuais de Prova de Participação (PoS) são projetados para transições de estado de propósito geral. Nesses sistemas, os validadores ganham taxas independentemente de processarem corretamente a carga de trabalho específica da aplicação ou de a censurarem seletivamente. Consequentemente, um adversário com capital suficiente pode adquirir participação, censurar esquemas específicos de atestação ou extrair MEV da reordenação de atestações sem acionar condições padrão de penalização (slashing). A segurança econômica da cadeia permanece indiferente à correção de sua carga de trabalho dominante.

O artigo argumenta que uma cadeia hospedando contratos de atestação em uma L1 de propósito geral não pode defender a carga de trabalho efetivamente, porque os incentivos de consenso estão desacoplados do próprio trabalho de atestação.

2. Metodologia: Prova de Atestação Útil (PoUA)

A PoUA é uma primitiva de ponderação de consenso projetada para vincular a influência de um validador diretamente ao seu histórico de processamento de trabalho de atestação válido. Não é uma substituição da primitiva BFT subjacente (por exemplo, finalidade otimista no estilo Tendermint), mas sim uma camada que modifica como o peso do validador é calculado.

Mecanismo Central

O peso do validador ($w_v$) é calculado como o produto da participação vinculada ($s_v$) e uma pontuação de reputação não transferível ($r_v$):
$$w_v(t) = s_v(t) \cdot r_v(t)$$

• Acumulação de Reputação: A reputação cresce com base na contribuição do validador para o processamento de atestações válidas. A função de atualização é aditiva e limitada:
  $$r_v(t+E) = \text{clip}_{[r_{min}, r_{max}]}(r_v(t) + \eta \cdot g_v(t) - \lambda \cdot b_v(t))$$
  Onde $g_v$ é uma medida ponderada por taxas de processamento de atestações válidas (dividida entre os papéis de proponente e votante) e $b_v$ é uma pontuação de mau comportamento.
• Não Transferibilidade: A reputação é intrínseca à identidade do validador na cadeia e não pode ser transferida ou desmembrada.
• Intervalo Limitado: $r_{min} > 0$ garante que novos validadores tenham peso não nulo (prevenindo bloqueio no início frio), enquanto $r_{max} < \infty$ previne a concentração descontrolada de poder.

Defesa Contra Adversários Compostos

O artigo aborda o "adversário composto" (um atacante com capital e a capacidade de controlar conjuntos de atestadores e endereços de remetentes para cultivar reputação). A PoUA emprega uma defesa de seis camadas:

1. Camada 1 (Formal): Exclui atestações onde o endereço do remetente é igual ao endereço do proponente.
2. Camada 2 (Formal): Exclui atestações onde o endereço do remetente está dentro de uma distância $d$ no grafo de transações do proponente (prevenindo roteamento simples de fundos).
3. Camada 3 (Econômica): Uma fração $\tau_{burn}$ de cada taxa de atestação é enviada para um destino não recuperável (por exemplo, um endereço de queima). Isso cria um limite inferior formal para o custo de moer reputação.
4. Camada 4 (Heurística): Detecção estatística de padrões de moagem (concentração de esquema, densidade do grafo).
5. Camada 5 (Governança): Um processo de recurso para falsos positivos.
6. Camada 6 (Futuro): Provas de conhecimento zero de independência do grafo de participação.

3. Contribuições Principais

Segurança Formal e Prêmio de Custo de Ataque

O artigo deriva um prêmio de custo de ataque formal ($\kappa$) contra um adversário de capital. Em uma cadeia saudável em estado estacionário, o custo para adquirir uma fração $\rho$ do peso de consenso é multiplicado pela razão entre a reputação honesta média e a reputação mínima:
$$\kappa = \frac{\bar{r}_H}{r_{min}}$$
Com parâmetros recomendados ($r_{max}/r_{min} \in [4, 10]$), a PoUA oferece um prêmio multiplicativo de 4× a 10× no custo de ataque em comparação com cadeias PoS puramente de participação equivalentes. Este "fosso" é formalizado na Seção 5.3.

Limite de Custo de Moagem (Lema 1)

Uma contribuição central é o Lema 1, que estabelece um limite inferior formal para as taxas não recuperáveis que um adversário composto deve pagar para moer reputação. Mesmo que um atacante evite as Camadas 1 e 2, a queima da Camada 3 garante:
$$F_{net, \text{por membro}} \geq \frac{\tau_{burn} \cdot \Delta r}{\eta \cdot \alpha_{eff}(m, k)}$$
Isso converte a defesa contra o cultivo de reputação de um argumento puramente heurístico para um econômico.

Alinhamento de Incentivos

O artigo modela os validadores como maximizadores de lucro. Argumenta-se que, como a reputação é não transferível e representa receita futura (via recompensas de bloco e taxas), a penalização de um validador destrói não apenas seu vínculo atual, mas também seu fluxo de receita futuro. Este alinhamento de incentivos "trancado no tempo" está ausente no PoS puramente de participação.

Implementação e Integração

O artigo fornece uma especificação de integração concreta para o framework de rollup Sovereign SDK, detalhando:

• Modificações na seleção de validadores e ponderação de votos.
• Armazenamento de estado de reputação (32 bytes por validador).
• Mecanismos de rebaseamento de parâmetros adaptativos para $\tau_{burn}$, $\eta$ e $\lambda$ para lidar com a deriva do mercado de taxas sem intervenção de governança.

4. Resultados e Validação

O artigo apresenta resultados derivados de um simulador de referência (prototypes/poua-sim/):

• Custo de Ataque: Simulações de Monte Carlo confirmam as curvas analíticas de $\kappa$, mostrando que o prêmio de 4×–10× se mantém em diferentes tamanhos de conjunto de validadores (de 50 a 1000 validadores).
• Defesa em Camadas: Mapas de calor de busca de estratégia demonstram que, embora camadas de defesa individuais (por exemplo, apenas Camada 1) possam ser contornadas, a combinação de todas as camadas colapsa a recompensa para estratégias de moagem até a linha de base ($r_{min}$).
• Estados de Transição: O artigo quantifica os períodos de "aquecimento" e "recuperação" onde o prêmio é inferior ao teto de estado estacionário, fornecendo orientação operacional para o lançamento da cadeia e recuperação pós-penalização.

5. Significado e Alegações

O artigo posiciona a PoUA não como uma nova primitiva criptográfica, mas como uma síntese de conceitos existentes (consenso ponderado por reputação, prova de trabalho útil e restaking) adaptados especificamente para cadeias nativas de atestação.

• Alegações Modestas: Os autores afirmam explicitamente que a PoUA não fornece uma prova de segurança criptográfica completa para todas as desvios racionais. A defesa contra adversários compostos depende de um piso econômico formal (Lema 1) apoiado por detecção heurística (Camada 4) e governança (Camada 5).
• Escopo: O mecanismo é projetado para cadeias onde a carga de trabalho é a produção de atestações. O artigo exclui explicitamente contratos inteligentes de propósito geral, argumentando que adicioná-los diluiria o fosso de segurança específico que a PoUA fornece.
• Diferenciação: Ao contrário do restaking (EigenLayer), que reutiliza participação de uma cadeia primária, a PoUA constrói um mecanismo de consenso nativo onde o orçamento de segurança é dimensionado e alinhado à carga de trabalho de atestação. Ao contrário da Prova de Trabalho Útil (Filecoin/Helium), não requer atestação de hardware externa; o "trabalho útil" é verificável no nível do protocolo via verificação de assinatura.

O artigo conclui que a PoUA oferece um perfil de segurança defensável para cadeias nativas de atestação que L1s genéricas não podem replicar sem reconstruir sua camada de consenso, desde que o mecanismo seja testado sob estresse via calibração de devnet e revisão externa.