CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

Resumo Técnico do CoBRA: Um Protocolo de Confirmação Universal à Prova de Estratégia para Blockchains de Proof-of-Stake Baseadas em Quórum

1. Definição do Problema

Os protocolos tradicionais de Replicação de Máquina de Estado (SMR), como PBFT e HotStuff, operam sob um modelo de Tolerância a Falhas Bizantinas (BFT) assumindo que pelo menos $2/3$ dos validadores são honestos. No entanto, em blockchains de Proof-of-Stake (PoS), os validadores são agentes maximizadores de lucro, em vez de puramente altruístas ou arbitrariamente maliciosos. Isso cria um modelo de ameaça híbrido composto por validadores honestos, Bizantinos (arbitrariamente maliciosos) e racionais (estratégicos, movidos pelo lucro).

O artigo identifica uma lacuna crítica: os protocolos existentes falham em fornecer garantias de segurança quando validadores racionais e bizantinos coludem. Especificamente:

• Em redes de sincronia parcial, se a fração combinada de validadores bizantinos e racionais exceder $1/3$, nenhum protocolo SMR baseado em quórum pode garantir segurança. Validadores racionais podem coludir com atores bizantinos para criar blocos conflitantes (equivocação) e realizar o gasto duplo (double-spend) sem serem dissuadidos pelo slashing, pois o lucro potencial excede o stake em risco.
• Em redes síncronas, mesmo com um limite de atraso conhecido, a segurança é inalcançável se a coalizão exceder $2/3$ do conjunto de validadores.
• Os protocolos "responsáveis" existentes podem detectar o mau comportamento, mas falham em fornecer restituição econômica aos clientes que aceitaram transações conflitantes, muitas vezes exigindo a participação do cliente ou a cunhagem de novas moedas para reembolsar as perdas.

2. Metodologia e Design do Protocolo

Os autores propõem o CoBRA (Correct over Byzantine-Rational Adversary), uma transformação genérica para protocolos SMR baseados em quórum. O design baseia-se em um modelo de ameaça híbrido onde os validadores são estáticos e os clientes são "silenciosos" (eles não monitoram ativamente a execução do protocolo, mas consultam os validadores para confirmação).

Mecanismos Principais:

• Finalização Limitada por Stake (O Gadget de Finalidade):
  Para evitar que validadores racionais achem lucrativo realizar um fork, o CoBRA impõe um limite superior ao volume de transações finalizadas dentro de qualquer janela de tempo $\Delta^*$.

  • Os validadores finalizam blocos apenas se o valor total das transações no conjunto finalizado não exceder $C = D$ (onde $D$ é o stake de um único validador).
  • Isso garante que, mesmo que um validador racional coluda para realizar um gasto duplo, seu ganho máximo seja limitado a $D$. Como eles correm o risco de perder todo o seu stake $D$ via slashing se forem detectados, o ataque torna-se não lucrativo.
  • Regra da Corrente Mais Forte: Se uma supermaioria de participantes (especificamente $> f + 1/2$) apoiar comprovadamente uma corrente, o protocolo permite a confirmação instantânea de volume infinito de transações, contornando o limite de volume.

• Recompensas Compatíveis com Incentivos:
  Para evitar censura (ataques de liveness), as recompensas são distribuídas apenas em janelas onde pelo menos $n-f$ validadores distintos participam. Isso garante que os validadores racionais sejam incentivados a incluir votos e propostas em vez de censurá-los, pois a exclusão reduz o pool total de recompensas.

• Recuperação e Restituição Econômica:
  Quando o número de validadores bizantinos excede o limiar padrão de $1/3$, mas permanece abaixo de $2/3$, o CoBRA entra em um regime de segurança econômica recuperável.

  • Detecção de Conflito: Ao detectar equivocação (certificados de finalidade conflitantes), os validadores interrompem a finalização.
  • Acordo de Conjunto (Set Agreement): Os validadores executam um protocolo de acordo de conjunto para concordar com um conjunto comum de blocos para executar, incluindo todos os blocos conflitantes que foram aceitos pelos clientes.
  • Reembolso: O sistema reverte para um estado pré-fork e reexecuta todas as transações conflitantes em uma ordem determinística. As perdas incorridas pelos clientes devido ao gasto duplo são reembolsadas usando o stake sofrido (slashed) dos validadores comprovadamente maliciosos. Crucialmente, isso ocorre sem cunhar novas moedas e sem a participação do cliente no processo de recuperação.

3. Contribuições Principais e Resultados de Impossibilidade

Resultados de Impossibilidade:
O artigo estabelece limites fundamentais para SMR baseado em quórum sob um modelo híbrido com clientes silenciosos:

1. Sincronia Parcial: Nenhum protocolo SMR baseado em quórum pode ser $(n, k, f)$-resiliente (onde $k$ é racional, $f$ é bizantino) se $f + k \geq n/3$. Isso generaliza o clássico limiar bizantino de $1/3$ para incluir desvios economicamente motivados.
2. Sincronia: Mesmo com um limite síncrono conhecido, o SMR é impossível se $f + k \geq 2n/3$.
3. Latência de Finalidade: Sem limites sobre fundos líquidos ou recompensas de participação, nenhum protocolo pode garantir a finalidade dentro de uma janela $\Delta^*$ se o tamanho do adversário exceder esses limiares, pois validadores racionais podem realizar gastos duplos de valores superiores ao seu stake.

Contribuições do Protocolo:

• Transformação CoBRA: Um método genérico para converter qualquer SMR baseado em quórum $(n, f)$-resiliente em um protocolo $(n, k, f^*)$-resiliente.
• Três Regimes Operacionais:
  1. Regime Padrão: Mantém a segurança contra até $1/3$ de validadores bizantinos em sincronia parcial.
  2. Regime de Resiliência Racional: Garante segurança e liveness quando até $1/3$ de validadores racionais adicionais existem (totalizando $< 2/3$), desde que um limite síncrono $\Delta^*$ seja conhecido.
  3. Regime Recuperável: Garante a restituição total ao cliente e a recuperação do estado quando os validadores bizantinos excedem o limiar de $1/3$, mas permanecem abaixo de $2/3$.
• Conformidade de Coalizão: O protocolo garante que nenhum validador racional tenha incentivo para desviar, mesmo ao coludir com atores bizantinos, tornando as estratégias conformes ao protocolo dominantes fracas sobre as estratégias de desvio.

4. Resultados e Validação Empírica

Os autores validam a viabilidade do CoBRA através de uma análise empírica das redes Cosmos e Ethereum:

• Taxas de Participação: A análise de um milhão de blocos consecutivos do Cosmos mostra que mais de 99% dos blocos excederam o limiar de participação de $5/6$ exigido pela regra da "corrente mais forte".
• Implicação: Nestes cenários do mundo real, o CoBRA permitiria a confirmação instantânea de transações para a vasta maioria dos blocos, enquanto a regra de limite de stake lidaria com os períodos raros de baixa participação (durando até ~15 minutos nos dados observados) sem comprometer a segurança.
• Segurança Econômica: O estudo demonstra que o stake mínimo passível de slashing dos validadores ativos (aproximadamente $470.000 no caso do Cosmos) é suficiente para cobrir o volume de transações dos períodos de baixa participação (aproximadamente $180.000), garantindo que o reembolso total ao cliente seja teoricamente possível.

5. Significância e Alegações

O artigo afirma ser a primeira transformação genérica para SMR baseado em quórum que:

1. Fornece resiliência racional ótima quando as partes bizantinas são menos de $1/3$.
2. Oferece proteção econômica para clientes quando o limiar bizantino é excedido (até $2/3$), especificamente ao garantir a restituição total das perdas sem cunhar novas moedas.
3. Preenche a lacuna entre os limites teóricos de consenso e a segurança prática de PoS ao abordar o comportamento estratégico de validadores racionais, um fator frequentemente ignorado nas análises BFT tradicionais.

Os autores posicionam o CoBRA como uma solução que permite que as blockchains de PoS mantenam a segurança e a liveness mesmo quando a suposição de "supermaioria honesta" é violada por colusão estratégica, desde que a força adversária total não exceda $2/3$ do stake.