📈 economics

Smart contracts and reaction-function games

Este artigo introduz um arcabouço de teoria dos jogos para contratos inteligentes baseados em blockchain que permite aos jogadores comprometerem-se com funções de reação em configurações de rodada única, estabelecendo assim a existência de equilíbrio e demonstrando como tais mecanismos podem superar barreiras de confiança e de carona para alcançar melhorias de Pareto em jogos de investimento simétricos, como cenários de elo mais fraco e de bens públicos.

Autores originais: Jens Gudmundsson, Jens Leth Hougaard

Publicado 2026-01-22

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Jens Gudmundsson, Jens Leth Hougaard

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 que você está jogando um jogo com seus amigos, mas em vez de apenas gritar seu movimento (como "Eu escolho Pedra!"), você pode escrever um livro de regras sobre como reagirá ao que quer que qualquer outra pessoa faça.

Este documento, intitulado "Smart contracts and reaction-function games" (Contratos inteligentes e jogos de função de reação), explora uma nova maneira de jogar jogos usando a tecnologia blockchain. Pense na blockchain como um caderno digital super seguro e imutável. Um "smart contract" (contrato inteligente) é um pedaço de código escrito nesse caderno que diz: "Se você fizer X, eu automaticamente farei Y".

Aqui está a divisão das ideias deles usando analogias simples:

1. O Jeito Antigo vs. O Jeito Novo

O Jeito Antigo (Jogos Estratégicos): Você e seus amigos decidem seus movimentos ao mesmo tempo. Você tem que adivinhar o que eles farão. Se você tiver medo de que eles traiam, você pode trair também, mesmo que todos ficassem melhor se cooperassem. É como um jogo de "Pedra, Papel e Tesoura" onde você não pode mudar de ideia depois de mostrar a mão.
O Jeito Novo (Jogos de Função de Reação): Antes do jogo começar, você trava seu "livro de regras" na blockchain. Você não pode mudá-lo mais tarde. Seu livro de regras diz: "Eu vou corresponder ao que você fizer, mas apenas se você corresponder a mim." Como a blockchain garante que você não pode voltar atrás, seus amigos podem confiar no seu livro de regras.

2. O "Ponto Fixo" (O Momento Mágico)

Quando todos travam seus livros de regras, o sistema procura por um Ponto Fixo.

Analogia: Imagine um grupo de pessoas em um círculo, cada uma segurando uma placa que diz: "Eu farei o que a pessoa à minha esquerda fizer".
Se todos concordarem em "Dar um High Five", e a placa de todos disser "Darei um High Five se o vizinho der um High Five", então todos dão um High Five. Isso é um Ponto Fixo.
Se as placas forem contraditórias (ex: "Eu farei o oposto do vizinho"), o sistema trava porque ninguém sabe o que fazer. O artigo prova que, se você escrever suas regras com cuidado, um resultado estável (um Ponto Fixo) sempre existirá.

3. Resolvendo Dois Problemas Famosos

Os autores mostram como este método do "livro de regras" resolve dois problemas clássicos onde as pessoas geralmente falham em cooperar.

A. O Jogo do "Elo Mais Fraco" (A Corrente)

O Problema: Imagine uma equipe construindo uma ponte. A ponte é tão forte quanto sua tábua mais fraca. Todos querem uma ponte forte, mas se você achar que seu colega usará uma táb de madeira fraca, você também usará uma tábua fraca para economizar dinheiro. Vocês acabam com uma ponte terrível.
A Solução do Contrato Inteligente: Você escreve uma regra: "Eu construirei uma tábua exatamente tão forte quanto a tábua mais fraca que meus colegas construírem."
O Resultado: Se todos escreverem essa regra, o único resultado estável é que todos construam a tábua mais forte possível. O medo do "elo mais fraco" desaparece porque todos estão comprometidos em corresponder ao esforço mínimo do grupo.

B. O Jogo do "Bem Público" (O Jantar Colaborativo)

O Problema: Imagine um jantar colaborativo (potluck). Todos se beneficiam se todos trouxerem um prato, mas custa dinheiro para você comprar a comida. A tentação é não trazer nada (ser um "carona") e comer a comida dos outros. Geralmente, todos não trazem nada, e a festa é um desastre.
A Solução do Contrato Inteligente: Você escreve uma regra: "Eu trarei um prato que seja a média do que todos os outros trouxerem (arredondado para baixo)."
O Resultado: Isso cria uma rede de segurança. Se todos os outros trouxerem um banquete enorme, você traz um banquete enorme. Se todos os outros não trouxerem nada, você não traz nada (para não ser passado para trás). Essa regra impede que as pessoas sejam "caronas" porque, se tentarem não trazer nada enquanto outros trazem comida, a matemática força o grupo de volta ao zero, punindo o trapaceiro.

4. "Jogando com Segurança"

Os autores introduzem um conceito chamado "Jogo Seguro" (Safe Play).

Analogia: Em um jogo normal, você pode assumir um grande risco para ganhar muito, mas pode perder tudo. "Jogo seguro" é como usar um cinto de segurança; garante que você não bata o carro, mesmo que não vença a corrida.
Em seu sistema, os jogadores podem escrever regras que garantem que eles nunca terão um resultado "ruim", não importa o que os outros façam. Surpreendentemente, o artigo mostra que você pode jogar de forma "segura" e ainda assim alcançar o melhor resultado possível para todos. Você não precisa escolher entre ser seguro e ser cooperativo; o contrato inteligente permite que você faça as duas coisas.

5. Por Que Isso Importa

O artigo argumenta que, no mundo real, muitas vezes não podemos confiar nas pessoas para cumprirem suas promessas. Precisamos de um intermediário (como um banco ou um juiz) para aplicar os contratos.

A Reviravolta da Blockchain: A blockchain atua como o intermediário definitivo. Ela é imutável e automática.
A Conclusão: Ao usar esses livros de regras digitais, estranhos podem se coordenar para o melhor resultado possível (como construir uma ponte forte ou ter um ótimo jantar colaborativo) sem precisar confiar pessoalmente uns nos outros. Eles só precisam confiar no código.

Em resumo: O artigo diz que, se usarmos a blockchain para travar nossas "regras de reação" antes de um jogo começar, podemos forçar a cooperação de maneiras que eram anteriormente impossíveis, resolvendo problemas de confiança e impedindo as pessoas de trapacear, tudo isso sem a necessidade de um árbitro humano.

Resumo Técnico: Contratos Inteligentes e Jogos de Função de Reação

1. Problema e Motivação

O artigo aborda o desafio do compromisso crível em interações estratégicas de rodada única, particularmente em ambientes caracterizados por déficits de confiança, falhas de coordenação e parasitismo (free-riding). A teoria dos jogos tradicional sugere que, em jogos de rodada única, os jogadores frequentemente falham em atingir resultados Pareto-eficientes (ex: o Dilema do Prisioneiro ou jogos de coordenação do tipo elo mais fraco) porque não conseguem condicionar de forma crível suas ações às ações dos outros.

Os autores propõem contratos inteligentes baseados em blockchain como um mecanismo para resolver isso. Ao contrário dos jogos estratégicos padrão, onde os jogadores escolhem ações diretamente, os contratos inteligentes permitem que os agentes se comprometam com funções de reação — algoritmos que prescrevem uma ação como uma função das ações escolhidas por outros jogadores. Uma vez implantados em uma blockchain, esses contratos são imutáveis e executam-se automaticamente, transformando efetivamente o jogo de um jogo de movimentos simultâneos em um "jogo de função de reação". O problema central é formalizar os conceitos de equilíbrio para tais jogos, determinar quais resultados podem ser sustentados e identificar estratégias robustas que superem as limitações dos equilíbrios de Nash convencionais.

2. Metodologia e Estrutura

Os autores formalizam uma nova classe de jogos e conceitos de solução:

Jogos Estratégicos vs. Jogos de Função de Reação:
- Em um jogo estratégico padrão $(N, A, (u_i))$ , os jogadores escolhem ações $a_i \in A_i$ .
- Em um jogo de função de reação, os jogadores escolhem funções de reação $R_i: A_{-i} \to A_i$ . Um perfil $R = (R_1, \dots, R_n)$ define um mapeamento do espaço de perfis de ação para si mesmo.
Pontos Fixos e Resultados:
- Um resultado é realizado apenas se as funções de reação escolhidas forem mutuamente consistentes. Formalmente, um perfil de ação $a$ é um ponto fixo de $R$ se $a_i = R_i(a_{-i})$ para todo $i$ .
- O conjunto de pontos fixos é denotado por $E(R)$ . Se $E(R) = \emptyset$ , o resultado é indefinido (atribuído o pagamento $-\infty$ ).
- Os jogadores avaliam um perfil $R$ com base em seu ponto fixo preferido dentro de $E(R)$ .
Conceito de Equilíbrio:
- Um Equilíbrio de Função de Reação (RFE) é definido como um perfil inequívoco $R$ onde nenhum jogador pode desviar-se unilateralmente para uma função de reação diferente $R'_i$ para obter um pagamento estritamente maior no ponto fixo resultante.
- A inequivocidade exige que todos os jogadores concordem sobre o resultado realizado (ou seja, existe um ponto fixo Pareto-superior em $E(R)$ ).
Refinamentos:
- Para abordar a multiplicidade de equilíbrio e compromissos implausíveis, os autores introduzem funções de reação "seguras". Uma reação é segura se garante ao jogador pelo menos seu pagamento maxmin (nível de segurança) independentemente das ações dos outros.
- Em jogos de investimento simétricos, os autores refinam ainda mais a análise usando Prova de Norma (resistência à conformidade com normas sociais arbitrárias) e Consistência de Pagamento (reagir identicamente a perfis equivalentes em termos de pagamento).

3. Principais Contribuições e Resultados

A. Existência e Caracterização de Equilíbrios

Existência: O Teorema 3.1 prova que um equilíbrio de função de reação sempre existe em qualquer jogo finito. Isso é estabelecido mapeando o jogo de função de reação para um jogo de forma extensiva de movimentos sequenciais (onde os jogadores jogam em uma ordem fixa), que possui um equilíbrio de Nash via indução retroativa.
Jogos de Dois Jogadores (Análogo ao Teorema do Folk): O Teorema 3.2 caracteriza o conjunto de resultados sustentáveis em jogos de dois jogadores. Um resultado $a$ pode ser sustentado em um RFE se, e somente se, $u_i(a) \geq \bar{v}_i$ (o pagamento maxmin) para todos os jogadores. Isso espelha a lógica dos teoremas do folk em jogos repetidos infinitamente, mas aplica-se a um cenário de rodada única. Os jogadores podem usar funções de reação de "promessa e ameaça" para impor resultados Pareto-eficientes (como a cooperação no Dilema do Prisioneiro) que não são equilíbrios de Nash no jogo estratégico subjacente.
Muitos Jogadores: O Teorema 3.3 mostra que com três ou mais jogadores (dependendo do tamanho do espaço de ação), o conjunto de resultados sustentáveis expande-se significativamente, permitindo potencialmente que qualquer resultado seja sustentado. Isso destaca a necessidade de refinamentos como o jogo seguro para estreitar as previsões.

B. Funções de Reação Seguras

O artigo demonstra que, se um resultado seguro (aquele que gera pagamentos maxmin) é um equilíbrio de Nash no jogo estratégico, um RFE seguro existe.
Crucialmente, o Teorema 4.1 afirma que, se um RFE seguro existe, um RFE seguro Pareto-eficiente também existe. Isso implica que os jogadores podem alcançar resultados de alto pagamento sem sacrificar a segurança de suas garantias maxmin, desde que utilizem funções de reação apropriadas (ex: estratégias de correspondência no Stag Hunt).

C. Aplicação a Jogos de Investimento Simétricos
Os autores aplicam a estrutura a duas classes proeminentes de jogos de investimento, assumindo funções de reação monótonas (investir mais conforme os outros investem mais) e utilizando contratos inteligentes para custódia de fundos.

Jogos de Elo Mais Fraco (Weakest-Link Games):
- Contexto: Os pagamentos dependem do investimento mínimo. Falhas de coordenação são comuns.
- Resultado: A função de reação de Melhor Resposta (BR) ( $R_i(a_{-i}) = \min_{j \neq i} a_j$ ) é identificada como a única reação prova de norma e consistente em termos de pagamento.
- Caso de Alto Risco: Em configurações de "alto risco" (onde os ganhos de coordenação são pequenos em relação aos custos de esforço), a reação BR é mostrada como fracamente dominante contra o jogo monótono. Isso fornece uma recomendação robusta para os jogadores igualarem o investimento mínimo, resolvendo efetivamente o problema de confiança/coordenação sem necessidade de comunicação ou autoridade central.
Jogos de Bens Públicos (Public-Good Games):
- Contexto: Os investimentos beneficiam a todos, mas custam ao indivíduo; o parasitismo é dominante em jogos padrão.
- Resultado: A reação de Melhor Resposta (sempre 0) é ineficaz. Em vez disso, os autores identificam funções de reação que correspondem à média dos investimentos dos outros.
- Refinamento: Entre arredondar para cima ou para baixo a média, o arredondamento para baixo é superior. É seguro em todos os parâmetros de valor e sustenta equilíbrios de alto investimento.
- Caso de Alto Risco: Para jogos de bens públicos de alto risco, a reação de "arredondar para baixo" é a estratégia maximizadora de bem-estar única condicionada ao jogo seguro. Esta estratégia torna o parasitismo autodestrutivo: se todos corresponderem à média (arredondada para baixo), um desvio unilateral para investimento zero colapsa o ponto fixo para zero, punindo o desviante.

4. Significância e Alegações

O artigo afirma que os contratos inteligentes baseados em blockchain oferecem um mecanismo prático para implementar jogos de função de reação, estendendo assim o escopo do compromisso crível além dos cenários tradicionais de jogos repetidos.

Superação de Barreiras de Confiança: Em jogos de elo mais fraco, as funções de reação permitem que estranhos coordenem em resultados eficientes imediatamente ao se comprometerem em igualar o esforço mínimo, removendo a necessidade de comunicação prévia ou confiança.
Disciplina do Parasitismo: Em jogos de bens públicos, a função de reação proposta de "arredondar para baixo" cria um mecanismo autoexecutável onde a colaboração condicional é racional, mesmo sem altruísmo ou instituições de punição externas.
Praticidade vs. Teoria: Os autores distinguem sua abordagem do "equilíbrio de programa" (Tennenholtz, 2004) e dos "jogos de compromisso" (Kalai et al., 2010). Enquanto esses frameworks permitem que os jogadores condicionem suas ações ao código dos programas de seus oponentes (levando a espaços de estratégia infinitos e fragilidade a incompatibilidades de código), as funções de reação condicionam as ações às ações dos oponentes. Isso mantém o espaço de estratégia parcimonioso, interpretável e computacionalmente tratável (ex: via algoritmos simples de ponto fixo iterativo).
Implementação: O artigo delineia um esboço de implementação prática onde um contrato de coordenação coleta as funções de reação e os depósitos, computa o ponto fixo e executa as transferências. Os autores observam que, para funções monótonas em reticulados finitos, a computação do ponto fixo é direta.

Em resumo, o artigo argumenta que os contratos inteligentes transformam o cenário estratégico ao permitir que os jogadores se comprometam com estratégias condicionais, possibilitando a implementação de resultados Pareto-melhores que de outra forma seriam inalcançáveis em interações de rodada única, especificamente através do uso de funções de reação seguras, prova de norma e consistentes em termos de pagamento.