Smart contracts and reaction-function games

Résumé Technique : Contrats Intelligents et Jeux à Fonctions de Réaction

1. Problème et Motivation

L'article traite du défi de l'engagement crédible dans les interactions stratégiques à un seul coup, particulièrement dans des environnements caractérisés par des déficits de confiance, des échecs de coordination et du parasitisme (free-riding). La théorie des jeux traditionnelle suggère que, dans les jeux à un seul coup, les joueurs échouent souvent à atteindre des issues Pareto-efficaces (par exemple, le Dilemme du Prisonnier ou les jeux de coordination de type « maillon faible ») car ils ne peuvent pas conditionner de manière crédible leurs actions aux actions des autres.

Les auteurs proposent les contrats intelligents basés sur la blockchain comme mécanisme pour résoudre ce problème. Contrairement aux jeux stratégiques standards où les joueurs choisissent directement des actions, les contrats intelligents permettent aux agents de s'engager sur des fonctions de réaction — des algorithmes qui prescrivent une action en fonction des actions choisies par les autres joueurs. Une fois déployés sur une blockchain, ces contrats sont immuables et s'exécutent automatiquement, transformant ainsi le jeu d'un jeu à mouvements simultanés en un « jeu à fonctions de réaction ». Le problème central est de formaliser les concepts d'équilibre pour ces jeux, de déterminer quels résultats peuvent être soutenus et d'identifier des stratégies robustes qui surmontent les limites des équilibres de Nash conventionnels.

2. Méthodologie et Cadre

Les auteurs formalisent une nouvelle classe de jeux et de concepts de solution :

• Jeux Stratégiques vs Jeux à Fonctions de Réaction :
  • Dans un jeu stratégique standard $(N, A, (u_i))$, les joueurs choisissent des actions $a_i \in A_i$.
  • Dans un jeu à fonctions de réaction, les joueurs choisissent des fonctions de réaction $R_i: A_{-i} \to A_i$. Un profil $R = (R_1, \dots, R_n)$ définit une application de l'espace des profils d'actions vers lui-même.
• Points Fixes et Résultats :
  • Une issue n'est réalisée que si les fonctions de réaction choisies sont mutuellement cohérentes. Formellement, un profil d'actions $a$ est un point fixe de $R$ si $a_i = R_i(a_{-i})$ pour tout $i$.
  • L'ensemble des points fixes est noté $E(R)$. Si $E(R) = \emptyset$, l'issue est indéfinie (payoff assigné de $-\infty$).
  • Les joueurs évaluent un profil $R$ en fonction de leur point fixe préféré au sein de $E(R)$.
• Concept d'Équilibre :
  • Un Équilibre de Fonction de Réaction (EFR) est défini comme un profil non ambigu $R$ où aucun joueur ne peut dévier unilatéralement vers une fonction de réaction différente $R'_i$ pour obtenir un gain strictement supérieur au point fixe résultant.
  • L'absence d'ambiguïté exige que tous les joueurs s'accordent sur l'issue réalisée (c'est-à-dire qu'il existe un point fixe Pareto-supérieur dans $E(R)$).
• Affinements :
  • Pour traiter la multiplicité des équilibres et les engagements invraisemblables, les auteurs introduisent des fonctions de réaction « sûres » (safe). Une réaction est sûre si elle garantit au joueur au moins son gain maximin (niveau de sécurité) quels que soient les choix des autres.
  • Dans les jeux d'investissement symétriques, les auteurs affinent davantage l'analyse en utilisant la Preuve de Norme (Norm-Proofness) (résistance à la conformité à des normes sociales arbitraires) et la Cohérence de Payoff (Payoff Consistency) (réagir de manière identique à des profils équivalents en termes de gains).

3. Contributions Clés et Résultats

A. Existence et Caractérisation des Équilibres

• Existence : Le Théorème 3.1 prouve qu'un équilibre de fonction de réaction existe toujours dans tout jeu fini. Cela est établi en faisant correspondre le jeu de fonctions de réaction à un jeu en forme extensive à mouvements séquentiels (où les joueurs jouent dans un ordre fixe), lequel possède un équilibre de Nash via l'induction à rebours.
• Jeux à deux joueurs (Analogue au Théorème du Folk) : Le Théorème 3.2 caractérise l'ensemble des issues soutenables dans les jeux à deux joueurs. Une issue $a$ peut être soutenue dans un EFR si et seulement si $u_i(a) \geq \bar{v}_i$ (le gain maximin) pour tous les joueurs. Cela reflète la logique des théorèmes du folk dans les jeux répétés indéfiniment, mais s'applique ici à un cadre à un seul coup. Les joueurs peuvent utiliser des fonctions de réaction de type « promesse et menace » pour imposer des issues Pareto-efficaces (comme la coopération dans le Dilemme du Prisonnier) qui ne sont pas des équilibres de Nash dans le jeu stratégique sous-jacent.
• Nombreux Joueurs : Le Théorème 3.3 montre qu'avec trois joueurs ou plus (selon la taille de l'espace d'actions), l'ensemble des issues soutenables s'élargit considérablement, permettant potentiellement de soutenir n'importe quelle issue. Cela souligne la nécessité d'affinements comme le jeu sûr pour restreindre les prédictions.

B. Fonctions de Réaction Sûres

• L'article démontre que si une issue sûre (produisant des gains maximin) est un équilibre de Nash dans le jeu stratégique, un EFR sûr existe.
• Crucialement, le Théorème 4.1 stipule que si un EFR sûr existe, un EFR sûr Pareto-efficient existe également. Cela implique que les joueurs peuvent atteindre des issues à haut rendement sans sacrifier la sécurité de leurs garanties maximin, à condition d'utiliser des fonctions de réaction appropriées (par exemple, les stratégies de correspondance dans la Chasse au Cerf).

C. Application aux Jeux d'Investissement Symétriques
Les auteurs appliquent le cadre à deux classes de jeux d'investissement, en supposant des fonctions de réaction monotones (investir davantage quand les autres investissent davantage) et en utilisant des contrats intelligents pour séquestrer les fonds.

1. Jeux de Maillon Faible (Weakest-Link Games) :

   • Contexte : Les gains dépendent de l'investissement minimum. Les échecs de coordination sont fréquents.
   • Résultat : La fonction de réaction de Meilleure Réponse (Best-Reply, BR) ($R_i(a_{-i}) = \min_{j \neq i} a_j$) est identifiée comme la seule réaction norme-robuste et cohérente en termes de payoff.
   • Cas à Haut Risque : Dans les contextes de « haut risque » (où les gains de coordination sont faibles par rapport aux coûts d'effort), la réaction BR est montrée comme étant faiblement dominante contre un jeu monotone. Cela fournit une recommandation robuste pour que les joueurs s'alignent sur l'investissement minimum, résolvant efficacement le problème de confiance/coordination sans communication ni autorité centrale.

2. Jeux de Biens Publics :

   • Contexte : Les investissements bénéficient à tous mais coûtent à l'individu ; le parasitisme est dominant dans les jeux standards.
   • Résultat : La réaction BR (toujours 0) est inefficace. Au lieu de cela, les auteurs identifient des fonctions de réaction qui correspondent à la moyenne des investissements des autres.
   • Affinement : Entre arrondir à l'unité supérieure ou à l'unité inférieure de la moyenne, l'arrondi à l'unité inférieure est supérieur. Il est sûr pour toutes les valeurs de paramètres et soutient des équilibres d'investissement élevés.
   • Cas à Haut Risque : Pour les jeux de biens publics à haut risque, la réaction de « l'arrondi inférieur » est la seule stratégie maximisant le bien-être sous condition de jeu sûr. Cette stratégie rend le parasitisme auto-défectueux : si tout le monde suit la moyenne (arrondie à l'inférieur), une déviation unilatérale vers un investissement nul fait s'effondrer le point fixe vers zéro, punissant le déviateur.

4. Signification et Revendications

L'article affirme que les contrats intelligents basés sur la blockchain offrent un mécanisme pratique pour implémenter des jeux à fonctions de réaction, étendant ainsi la portée de l'engagement crédible au-delà des cadres traditionnels de jeux répétés.

• Surmonter les Barrières de Confiance : Dans les jeux de maillon faible, les fonctions de réaction permettent à des inconnus de se coordonner immédiatement sur des issues efficientes en s'engageant à égaler l'effort minimum, supprimant le besoin de communication préalable ou de confiance.
• Discipliner le Parasitisme : Dans les jeux de biens publics, la fonction de réaction proposée (arrondi inférieur) crée un mécanisme auto-exécutoire où la collaboration conditionnelle est rationnelle, même sans altruisme ou institutions de punition externes.
• Praticité vs Théorie : Les auteurs distinguent leur approche de l'« équilibre de programme » (Tennenholtz, 2004) et des « jeux de l'engagement » (Kalai et al., 2010). Alors que ces cadres permettent aux joueurs de conditionner leurs actions sur le code des programmes adverses (menant à des espaces de stratégies infinis et une fragilité face aux erreurs de code), les fonctions de réaction conditionnent les actions sur les actions des adversaires. Cela maintient l'espace stratégique parcimonieux, interprétable et calculable (par exemple, via de simples algorithmes itératifs de point fixe).
• Implémentation : L'article esquisse une implémentation pratique où un contrat de coordination collecte les fonctions de réaction et les dépôts, calcule le point fixe et exécute les transferts. Les auteurs notent que pour les fonctions monotones sur des treillis finis, le calcul du point fixe est direct.

En résumé, l'article soutient que les contrats intelligents transforment le paysage stratégique en permettant aux joueurs de s'engager sur des stratégies conditionnelles, permettant l'implémentation d'issues améliorant le Pareto qui seraient autrement inaccessibles dans les interactions à un seul coup, spécifiquement par l'utilisation de fonctions de réaction sûres, respectueuses des normes et cohérentes en termes de gains.