Resumo Técnico: WONDERBOOM

Declaração do Problema

O Ethereum evoluiu para uma infraestrutura financeira global crítica, garantindo mais de US$ 650 bilhões em ativos, no entanto, seu mecanismo de consenso atual enfrenta gargalos significativos de escalabilidade e segurança devido ao tamanho de seu conjunto de validadores (aproximando-se de um milhão). As limitações primárias identificadas são:

1. Finalidade Lenta: O protocolo atualmente requer aproximadamente 15 minutos para finalizar um bloco. Essa latência decorre dos altos custos computacionais e de largura de banda de agregar e verificar assinaturas entre milhões de validadores. O design atual particiona validadores em comitês e utiliza um protocolo de agregação em árvore hierárquica que abrange múltiplas épocas (32 slots por época), exigindo duas épocas consecutivas para finalidade.
2. Vulnerabilidades à Censura: O protocolo de agregação existente é suscetível a ataques de censura que podem deslocar a distribuição de participação de nós honestos para nós adversários.
   • Censura do Proponente: Adversários podem desanonimizar proponentes via rede de gossip e censurar seus blocos, causando perdas de recompensa para validadores honestos.
   • Censura de Votos: O protocolo atual depende de representantes de comitê. O artigo argumenta que a probabilidade de um comitê não ter nenhum representante honesto (todos os 16 representantes selecionados sendo bizantinos) é significativamente maior do que métricas calculadas anteriormente sugeriam. Isso permite que adversários censem votos, levando a perdas agregadas de recompensa estimadas em mais de US$ 100 milhões anualmente.
   • Agregação Ineficiente: A dependência da rede de gossip para propagação de mensagens introduz latência inerente (aprox. 4 segundos para atingir 98% dos nós), limitando a profundidade das árvores de agregação que podem ser construídas dentro de um único slot de 12 segundos.

Metodologia

Os autores propõem o WONDERBOOM, um protocolo de agregação de assinaturas baseado em árvore projetado para agregar assinaturas de todos os $N$ validadores dentro de um único slot do Ethereum (12 segundos), permitindo finalidade de dois slots (aprox. 24 segundos). A metodologia baseia-se em três inovações arquiteturais e algorítmicas centrais:

1. Separação Arquitetural (Validador vs. Proponente)

Para mitigar a censura e desanonimização de proponentes, o WONDERBOOM separa fisicamente o processo de Validador do processo de Proponente, atribuindo a eles endereços IP distintos.

• Processo de Validador: Comunica-se via canais ponto a ponto (P2P) com outros validadores para agregação. Isso contorna a rede de gossip de alta latência para a maior parte do tráfego de consenso.
• Processo de Proponente: Interage com a rede de gossip apenas para transmissão de blocos e recebimento de agregados finais. A infrequência dessa interação torna a desanonimização significativamente mais difícil.

2. Agregação em Árvore Profunda com Seleção Aleatorizada

O WONDERBOOM constrói uma árvore de agregação profunda onde cada nó representa um comitê de 128 validadores (com 16 representantes aleatórios).

• Estrutura: Diferente da árvore rasa do Ethereum, o WONDERBOOM agrega todas as $N$ assinaturas a cada slot.
• Regra de Mitigação de Censura: Para impedir que agregadores maliciosos sempre encaminhem o agregado maior (potencialmente censurado), o protocolo determina que o maior agregado deve ser combinado com um agregado uniformemente aleatório dos comitês filhos. Isso garante que, mesmo que um nó malicioso controle o maior agregado, votos honestos tenham uma probabilidade não nula de serem incluídos.

3. Alocação de Recompensas e Resiliência à Censura

O artigo introduz uma definição formal de Resiliência à Censura de Votos ($\alpha$-resiliência), definida como a probabilidade de um validador não ser censurado por $k$ slots consecutivos.

• Recompensas Janeladas: Validadores ganham recompensas por uma janela de $k$ slots se seu voto for incluído pelo menos uma vez dentro dessa janela. Isso reduz o requisito de probabilidade de inclusão por slot, enquanto previne o desvio de participação a longo prazo.
• Otimização de Chave Pública: Aproveitando a alta taxa de participação do Ethereum (>99%), o protocolo armazena em cache o agregado de todas as chaves públicas e usa subtração de assinaturas BLS para remover chaves ausentes, reduzindo os custos de agregação de chaves públicas em até 99%.

Contribuições Principais

1. Protocolo WONDERBOOM: O primeiro protocolo de agregação capaz de agregar eficientemente milhões de assinaturas em um único slot, oferecendo garantias de resiliência à censura mais fortes do que o protocolo Ethereum mais avançado.
2. Análise Teórica de Censura: Uma análise rigorosa mostrando que a resiliência à censura de votos do protocolo Ethereum atual é superestimada. O artigo demonstra que o WONDERBOOM alcança resiliência comparável ou superior com um parâmetro de segurança $k$ muito menor (ex: $k=64$ no WONDERBOOM vs. $k=192$ exigido pelo Ethereum para alcançar resiliência similar).
3. Framework de Simulação: O desenvolvimento da primeira ferramenta de simulação capaz de modelar agregação de assinaturas tolerante a falhas bizantinas na escala de um milhão de validadores, incluindo cenários de pior caso (ex: $N/3$ nós defeituosos).
4. Avaliação de Desempenho: Evidência empírica mostrando que o WONDERBOOM pode agregar assinaturas para até 2,5 milhões de nós dentro de um único slot em hardware legado, desde que seja utilizada comunicação ponto a ponto.

Resultados

Os autores avaliaram o WONDERBOOM usando sua ferramenta de simulação em um sistema emulando até 2,5 milhões de nós com latência de rede de 100ms.

• Latência e Escalabilidade:
  • Para o conjunto de validadores atual do Ethereum (~1 milhão), o WONDERBOOM agrega todas as assinaturas em menos de 4 segundos usando apenas 4 núcleos de CPU.
  • Para 2 milhões de nós, a agregação permanece abaixo de 4 segundos com 8 núcleos.
  • Mesmo em 2,5 milhões de nós, o protocolo permanece viável, embora exceda ligeiramente o orçamento de 4 segundos em cenários de pior caso.
• Comparação com o Ethereum:
  • O WONDERBOOM é aproximadamente 3x mais rápido que o protocolo de agregação atual do Ethereum quando ambos utilizam canais ponto a ponto.
  • Ao considerar a dependência atual do Ethereum da rede de gossip (que adiciona ~4 segundos de latência), o WONDERBOOM é >32x mais rápido na prática.
• Resiliência à Censura:
  • Sob um adversário adaptativo lento, o WONDERBOOM alcança uma probabilidade de 99,8% de que nenhum nó seja consistentemente censurado ao longo de duas épocas ($k=64$).
  • Em contraste, o design atual do Ethereum garantiria apenas uma probabilidade de 88,9% sob as mesmas condições, exigindo uma janela de 6 épocas para igualar a resiliência do WONDERBOOM.

Significância

O artigo afirma que o WONDERBOOM demonstra que finalidade rápida e garantias fortes de inclusão são compatíveis com consenso de um milhão de validadores.

• Descentralização Preservada: Diferente de abordagens que reduzem o conjunto de validadores ou usam super-comitês (que comprometem a segurança econômica), o WONDERBOOM agrega assinaturas de todos os validadores, mantendo a segurança econômica completa da rede.
• Segurança Econômica: Ao mitigar a censura de votos, o protocolo previne a redistribuição sistemática de participação de nós honestos para nós adversários, um fator crítico para a segurança de longo prazo da rede.
• Implantabilidade Prática: O protocolo é projetado para ser modular e pode ser integrado em sistemas existentes como o Ethereum com mudanças mínimas, utilizando primitivas criptográficas padrão (assinaturas BLS) e capacidades de hardware existentes.

Os autores concluem que, embora adversários totalmente adaptativos permaneçam um desafio teórico para protocolos de único proponente, o WONDERBOOM fornece uma solução robusta contra adversários adaptativos lentos, abordando os principais gargalos que impedem o Ethereum de alcançar finalidade de slot único em escala.