💻 computer science

Resilient Alerting Protocols for Blockchains

Este artigo formaliza o "problema do alerta" criptoeconômico para blockchains, demonstrando que participantes racionais podem ser incentivados a resistir a ataques de suborno por meio de três protocolos distintos que alcançam uma resistência ao suborno quadrática assintoticamente ótima, enquanto oferecem diferentes compensações entre suposições de rede, sobrecarga de armazenamento e tempo de execução.

Autores originais: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

Publicado 2026-07-15

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal, Ari Juels

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine um mundo onde o dinheiro e os contratos digitais vivem em um grande livro-razão público e imutável chamado blockchain. Pense nisso como um diário compartilhado superseguro, que todos podem ler, mas ninguém pode apagar. Dentro desse diário vivem os "smart contracts" (contratos inteligentes) — pequenos robôs automáticos que detêm bilhões de dólares em valor. Esses robôs são incrivelmente inteligentes, mas têm um ponto cego: eles não conseguem ver o que está acontecendo fora de seus muros digitais. Para corrigir isso, eles dependem de uma equipe de mensageiros de aparência humana chamados "alerters" (alertadores). Esses mensageiros observam o mundo real em busca de coisas como quedas no mercado de ações ou resultados eleitorais e gritam um aviso para os robôs se algo der errado. Se os robôs não receberem o aviso a tempo, eles podem cometer um erro terrível, perdendo o dinheiro de todos. A grande questão é: o que acontece se um vilão tentar subornar os mensageiros para que eles fiquem em silêncio? Este artigo mergulha na matemática do suborno, perguntando quanto dinheiro um vilão precisaria gastar para silenciar uma equipe inteira de mensageiros e impedir que um aviso seja ouvido.

Os autores deste artigo, Marwa Mouallem, Lorenz Breidenbach, Ittay Eyal e Ari Juels, abordam um problema assustador: em muitos sistemas atuais, é surpreendentemente barato para um vilão subornar todos os mensageiros para o silêncio. Se houver 100 mensageiros, um vilão pode precisar apenas de 100 pequenos subornos para interromper o alarme. Os pesquisadores perceberam que isso é uma enorme fraqueza. Eles se propuseram a projetar um novo conjunto de regras — um jogo, na verdade — onde silenciar a equipe se torne astronomicamente caro.

Eles descobriram um "teto" matemático sobre o quão difícil é subornar uma equipe. Eles provaram que, não importa o quão inteligentes sejam as regras, se a equipe tiver $n$ membros, o custo para subornar todos eles nunca poderá ser maior do que um valor "quadrático", o que significa que cresce como $n$ ao quadrado (ou $n \times n$ ). Para uma equipe de 100, isso é 10.000 vezes mais difícil de subornar do que o método antigo! O artigo mostra que, embora sistemas simples ofereçam apenas uma defesa "linear" (onde o custo cresce como $n$ ), você pode, na verdade, construir sistemas que atingem esse teto de $n^2$ .

Para provar isso, a equipe inventou três maneiras diferentes de conduzir o jogo, cada uma com seu próprio sabor e trocas compensatórias.

Primeiro, eles imaginaram um protocolo "Lockstep" (em sincronia). Imagine um grupo de amigos em pé em um círculo, todos com as mãos levantadas no exato mesmo segundo. Neste mundo, o tempo é perfeito e previsível. Todos decidem se vão gritar um aviso ou permanecer em silêncio no exato mesmo momento, sem saber o que os outros estão fazendo. Como eles agem simultaneamente, um vilão não pode esperar para ver quem é fraco e pagar essas pessoas primeiro. Este método é super rápido (acontece num piscar de olhos), mas exige uma regra muito estrita, quase mágica, de que a mensagem de todos chegue exatamente ao mesmo tempo.

Segundo, eles criaram um protocolo de "Hardware Confiável" para quando o tempo não é perfeito. Imagine que os mensageiros estão usando smartwatches especiais e inquebráveis. Eles escrevem sua decisão (gritar ou ficar em silênário) no relógio e a trancam em um cofre digital. O relógio é programado para que a chave para abrir o cofre só apareça após um número específico de blocos de tempo terem passado no blockchain. Isso impede que o vilão espie as decisões precocemente. É um pouco mais complexo e exige que todos usem esse hardware especial, mas funciona mesmo se a internet estiver um pouco lenta ou desordenada.

Terceiro, eles projetaram um protocolo "Sequencial", que é como um jogo de "batata quente" ou uma corrida de revezamento. Em vez de agirem todos de uma vez, os mensageiros se revezam. A primeira pessoa na fila decide, depois a segunda, e assim por diante. Se a primeira pessoa gritar, o jogo para imediatamente, e os outros nem precisam decidir. Isso é ótimo porque economiza muito espaço de armazenamento digital (o blockchain não precisa registrar a decisão de todos se o primeiro já resolver a questão). No entanto, leva mais tempo para terminar, especialmente se as primeiras pessoas decidirem permanecer em silêncio.

A grande descoberta do artigo é que todos esses três métodos são "assintoticamente otimizados". Essa é uma forma elegante de dizer que todos atingem aquele limite perfeito de defesa de $n^2$ . Quer você escolha o Lockstep, rápido mas rígido, o método de Hardware Confiável, pesado em termos de equipamento, ou a corrida Sequencial, lenta mas eficiente, você pode tornar o suborno da equipe tão caro que um vilão simplesmente não poderá pagar por isso. Os autores não apenas adivinharam isso; eles usaram a teoria dos jogos (a matemática da estratégia) para provar que, nesses cenários, um vilão racional perderia dinheiro tentando subornar a todos, portanto, ele simplesmente desistiria.

Em resumo, este artigo pega uma vulnerabilidade assustadora em nosso mundo financeiro digital e nos mostra exatamente como construir um escudo que torna o suborno um jogo perdido. Ele prova que, com as regras certas, podemos proteger bilhões de dólares tornando o preço do silêncio alto demais para qualquer pessoa pagar.

Resumo Técnico: Protocolos de Alerta Resilientes para Blockchains

1. Definição do Problema

Contratos inteligentes em blockchains asseguram mais de US$ 170 bilhões em valor e dependem cada vez mais de alertas oportunos sobre eventos externos (ex: mudanças nos preços de ativos, resultados de computação off-chain). Os mecanismos de alerta existentes são vulneráveis a ataques de supressão baseados em suborno, onde um adversário paga participantes para permanecerem em silêncio. Trabalhos anteriores analisaram incentivos para gerar alertas, mas não modelaram a economia de suprimi-los.

O desafio central é o Problema do Alerta: projetar protocolos que incentivem $n$ nós racionais a emitir alertas oportunos mesmo quando um adversário oferece subornos para desviar do protocolo. O objetivo é maximizar a resistência ao suborno — o montante total que um adversário deve pagar para impedir com sucesso que qualquer alerta seja publicado on-chain.

2. Metodologia e Modelo

Os autores formalizam o problema como um jogo criptoeconômico envolvendo:

Participantes: Um conjunto de $n$ nós racionais, um operador de protocolo e um adversário racional.
Mecanismos: Os nós depositam tokens como colateral. Um contrato inteligente ($AlertingContract$) aplica uma penalidade $\lambda$ para nós que falham em alertar quando as condições são atendidas. O operador financia o contrato com um orçamento constante $c$ .
Adversário: Pode oferecer subornos privados $\beta_i$ aos nós para evitar que eles alertem. O adversário obtém lucro $G$ se nenhum alerta for publicado.
Premissas: O estudo considera protocolos onde o stake/penalidade por nó é constante (independente de $n$ ) e o orçamento do operador é constante.

O artigo analisa três designs distintos de protocolo para determinar seus resultados de equilíbrio e resistência ao suborno:

Protocolo de Penalidade Queimada (Burned-Penalty): Uma linha de base onde os não-alertadores são penalizados (slashed) e a penalidade é queimada (não redistribuída).
Jogo de Alerta Simultâneo: Um jogo teórico onde todos os nós agem simultaneamente sem observar as ações dos outros.
Protocolo de Alerta Sequencial: Um mecanismo onde os nós agem em uma ordem específica, observando as ações anteriores.

3. Principais Contribuições e Resultados

A. Limite Superior Teórico de Resistência ao Suborno

O artigo estabelece um limite fundamental para a resistência ao suborno para qualquer protocolo $(c, \lambda)$ -de-alerta.

Resultado: A resistência máxima ao suborno é $\Theta(n^2)$ .
Raciocínio: Em qualquer protocolo com penalidades constantes, a recompensa máxima que um nó de alerta pode receber é limitada pela soma das penalidades de todos os outros $n-1$ nós mais o orçamento do operador ( $\lambda(n-1) + c$ ). Para subornar todos os $n$ nós para que permaneçam em silêncio, o adversário deve oferecer a cada nó um valor ligeiramente superior a essa recompensa potencial máxima. Assim, o custo total é aproximadamente $n \times \lambda n = \Theta(n^2)$ .
Falha da Linha de Base: Um protocolo direto (ex: dividir uma recompensa fixa $c$ entre os alertadores) alcança apenas $\Theta(n)$ de resistência, tornando economicamente viável para um adversário suprimir alertas em escala.

B. O Jogo de Alerta Simultâneo

Os autores projetam um jogo onde os nós escolhem ações simultaneamente após observar ofertas de suborno.

Análise de Equilíbrio:
- Se o suborno $\beta_i \ge \lambda(n-1)$ , "NoAlert" (Não Alerta) é uma estratégia dominante.
- Se o suborno $\beta_i \le \lambda$ , "Alert" (Alerta) é uma estratégia dominante.
- No intervalo intermediário ( $\lambda < \beta_i < \lambda(n-1)$ ), não existe um equilíbrio de Nash de estratégia pura simétrico.
Resultado de Estratégia Mista: Em qualquer equilíbrio de estratégia mista dentro deste intervalo, a utilidade esperada do adversário é não-positiva se seu ganho $G < \lambda n(n-1)$ .
Conclusão: O jogo simultâneo alcança $\Theta(n^2)$ de resistência ao suborno, correspondendo assintoticamente ao limite teórico superior.

C. Implementações de Protocolo

O artigo apresenta três protocolos implementando esses mecanismos com diferentes trade-offs:

1. Protocolo de Alerta em Passo de Compasso (Lockstep)

Premissa: Sincronia de rede estrita (transações são anexadas exatamente $\Delta_{write}$ passos após o envio).
Mecanismo: Os nós enviam alertas em um único passo de tempo. O contrato verifica a inclusão em um bloco específico.
Desempenho: Finalidade de tempo constante.
Sobrecarga: Requer até $n$ transações (armazenamento linear) se um alerta for necessário; 0 caso contrário.
Resistência: Alcança $\Theta(n^2)$ .

2. Protocolo de Alerta Baseado em TEE

Premissa: Sincronia de atraso limitado padrão + Ambientes de Execução Confiáveis (TEEs).
Mecanismo: Utiliza um esquema de Commit-Reveal. Os nós cometem suas ações usando TEEs que aplicam uma primitiva de Prova de Publicação (PoP). Isso garante que os nós não possam revelar sua ação (ou coludir para revelar precocemente) até que um número específico de blocos tenha passado, evitando vazamento de informação durante a fase de decisão.
Desempenho: Finalidade de tempo constante.
Sobrecarga: Requer $2n$ transações (armazenamento linear).
Resistência: Alcança $\Theta(n^2)$ .

3. Protocolo de Alerta Sequencial

Premissa: Não requer sincronia estrita ou TEEs.
Mecanismo: Os nós são atribuídos a slots de tempo distintos. Um nó só pode alertar em seu slot após observar as ações de todos os nós anteriores. Se um nó alertar, o protocolo termina.
Estrutura de Recompensa: O primeiro nó que alerta recebe as penalidades cumulativas de todos os nós em slots anteriores que falharam em alertar.
Desempenho: O tempo de execução de pior caso é $O(n)$ (tempo linear).
Sobrecarga: Armazenamento constante ( $O(1)$ ). Requer 0 transações se nenhum alerta for necessário, e 1 transação se um alerta for levantado.
Resistência: Alcança $\Theta(n^2)$ (especificamente $\lambda n(n-1)/2$ ), que é metade do limite do jogo simultâneo, mas ainda assim assintoticamente ótimo.

4. Significância e Alegações

O artigo afirma ser o primeiro a:

Formalizar o problema do alerta como um jogo criptoeconômico envolvendo um adversário subornador.
Provar que a resistência máxima ao suborno alcançável para tais protocolos é quadrática ( $\Theta(n^2)$ ).
Projetar um jogo simultâneo que alcança assintoticamente este limite.
Especificar três instanciações práticas (Lockstep, baseada em TEE e Sequencial) que oferecem diferentes trade-offs entre latência, armazenamento on-chain e premissas de confiança, mantendo simultaneamente a resistência ao suborno assintoticamente ótima.

Os autores enfatizam que sistemas existentes (ex: rollups otimistas, redes de oráculos) frequentemente dependem de mecanismos de custo linear que são vulneráveis a suborno. Seu trabalho fornece um espaço de design rico para construir sistemas de alerta economicamente seguros que possam resistir a tentativas de suborno em larga escala.

5. Limitações e Escopo

A análise baseia-se em atores racionais e premissas de teoria dos jogos específicas (ex: adversários PPT, premissas criptográficas padrão).
O protocolo baseado em TEE depende da segurança de hardware confiável e da premissa de que a blockchain não pode ser bifurcada (forked) por um único nó ou adversário após um checkpoint.
O artigo foca em modelos abstratos e não avalia protocolos específicos implantados ou fornece parâmetros de sistema específicos para implantação imediata.
O protocolo sequencial troca complexidade de tempo ( $O(n)$ ) por eficiência de armazenamento, o que pode ser uma restrição para aplicações sensíveis à latência.