Résumé technique : Action collaborative décentralisée : La cryptoéconomie dans l'espace

Énoncé du problème

L'article traite du défi de la modélisation mathématique de l'action collaborative décentralisée au sein des systèmes informatiques modernes, plus précisément dans le contexte de la cryptoéconomie. Contrairement aux systèmes distribués traditionnels qui reposent souvent sur un contrôle centralisé ou des ensembles de règles homogènes, les systèmes cryptoéconomiques (par exemple, les blockchains, les réseaux pair-à-pair) sont caractérisés par le fait d'être :

1. Décentralisés : Composés de parties distinctes sans contrôleur central.
2. Sans permission (Permissionless) : Les participants peuvent s'inscrire ou quitter le système à volonté.
3. Hétérogènes : Les participants peuvent légitimement suivre des règles ou des mécanismes de consensus différents (par exemple, dans un scénario de pont blockchain).

Le problème central est que ces systèmes manquent d'un cadre mathématique unifié pour raisonner sur le consensus (accord) et le forking (désaccord) en se basant uniquement sur leurs propriétés structurelles. Les modèles topologiques existants (topologie des ensembles de points) sont insuffisants car ils exigent que l'intersection d'ensembles ouverts soit ouverte, une propriété qui ne s'applique pas aux « coalitions actionnables » dans les systèmes hétérogènes. L'article cherche à déterminer si des propriétés de correction macroscopiques (comme l'impossibilité du forking) peuvent être dérivées de la structure abstraite des coalitions de participants sans analyser les algorithmes ou les protocoles spécifiques.

Méthodologie

Les auteurs proposent une nouvelle abstraction mathématique appelée semitopologie, qui généralise la topologie des ensembles de points pour modéliser les systèmes décentralisés.

1. Espaces de semitopologie

Une semitopologie est définie comme une paire $(P, \text{Open}(P))$, où :

• $P$ est un ensemble de points représentant les participants.
• $\text{Open}(P)$ est une collection de sous-ensembles de $P$ représentant les coalitions actionnables.

Une coalition actionnable est définie comme un ensemble de participants qui possèdent collectivement les ressources et le droit légal de collaborer pour mettre à jour leurs états locaux, indépendamment du reste du système.

Axiomes de la semitopologie :

• L'ensemble vide $\emptyset$ et l'ensemble total $P$ sont dans $\text{Open}(P)$.
• L'union de n'importe quelle collection d'ensembles ouverts est un ensemble ouvert.
• Distinction cruciale : L'intersection de deux ensembles ouverts n'est pas obligatoirement ouverte. Cela reflète la réalité selon laquelle deux coalitions valides peuvent ne pas former une coalition valide lorsqu'elles sont combinées.

2. Modélisation du consensus

L'article associe le concept de consensus binaire (convenir d'une valeur $t$ ou $f$) à la continuité dans l'espace de la semitopologie.

• Une assignation de valeur est une fonction $f: P \to \{t, f\}$.
• L'assignation est continue en un point $p$ s'il existe un voisinage ouvert $O$ contenant $p$ où $f$ est constante.
• Consensus = Continuité : Si un participant met à jour son état, il doit le faire en collaboration avec une coalition actionnable (un ensemble ouvert) où la valeur est convenue.

3. Propriétés d'antiséparation

L'article introduit des propriétés d'antiséparation, qui sont la négation de la propriété de séparation de Hausdorff en topologie standard.

• Entrelacés ($p \between p'$) : Deux points sont entrelacés si tout voisinage ouvert de $p$ intersecte tout voisinage ouvert de $p'$.
• Entrelacement transitif : Deux points sont liés par la clôture transitive de la relation d'entrelacement.

Contributions clés et résultats

1. Cadre théorique : Semitopologie

L'article établit la semitopologie comme un cadre rigoureux pour les systèmes décentralisés. En traitant les coalitions actionnables comme des ensembles ouverts, les auteurs démontrent que les propriétés structurelles de ces coalitions dictent le comportement du système.

2. Théorème sur l'accord (Théorème 3.4)

Le résultat mathématique central stipule que :

• Si deux points $p$ et $p'$ sont entrelacés, et qu'une assignation de valeur $f$ est continue aux deux points, alors $f(p) = f(p')$.
• Si $p$ et $p'$ sont transitivement entrelacés et que $f$ est continue partout, alors $f(p) = f(p')$.

Implication : Si la structure des coalitions actionnables garantit que les participants sont entrelacés (ou transitivement entrelacés), alors tout progrès légal effectué par un participant devra être accepté par tous les autres. Cela prouve que le forking est impossible sous ces conditions structurelles, quel que soit l'algorithme de consensus utilisé.

3. Application aux systèmes réels

L'article applique ce cadre à des exemples concrets :

• Systèmes à majorité simple : Dans un système où les coalitions actionnables sont des majorités, tous les points sont entrelacés. Ainsi, le forking est impossible.
• Systèmes en chaîne (Exemple 2.4) : Même dans les systèmes où les coalitions ne s'intersectent pas directement (par exemple, des triplets chevauchants $\{2i, 2i+1, 2i+2\}$), les points peuvent être transitivement entrelacés, assurant un accord global.
• Ponts Blockchain (Exemple 3.6) : L'article modélise un pont entre Ethereum et Tezos. Il montre que si les chaînes individuelles sont intrinsèquement entrelacées, le nœud de pont (qui nécessite un consensus des deux côtés pour agir) rend le système combiné transitivement entrelacé, empêchant ainsi les forks à travers le pont.

4. Connexion avec le théorème d'Arrow

L'article note une connexion avec la théorie du choix social, prouvant que toute semitopologie possède un « noyau actionnable ». Si ce noyau prend une décision, tous les autres participants doivent la suivre. Ceci est présenté comme un analogue de la distribution de systèmes du théorème d'impossibilité d'Arrow, suggérant l'existence d'« ensembles de dictateurs » dans les systèmes décentralisés.

Signification et affirmations

L'article affirme que la semitopologie fournit une « mathématique générale de la (anti)séparation » qui permet de prédire les propriétés macroscopiques du système (spécifiquement le consensus et l'impossibilité du forking) en se basant uniquement sur la topologie des coalitions actionnables.

• Indépendance de l'algorithme : Les résultats sont valables pour n'importe quel algorithme concret. Si la condition structurelle d'entrelacement est remplie, l'accord est garanti sans avoir besoin d'inspecter la logique interne du protocole.
• Gestion de l'hétérogénéité : Contrairement à la topologie standard, la semitopologie accomode les systèmes hétérogènes où les participants suivent des règles différentes, ce qui la rend particulièrement adaptée pour modéliser les ponts blockchain et les réseaux complexes de pair-à-pair.
• Utilité pratique : Les auteurs affirment que ces logiques sont déjà utilisées pour spécifier formellement, raisonner sur et déboguer les protocoles de consensus (par exemple, en axiomatisant Paxos et en identifiant les erreurs dans le Paxos hétérogène).

L'article conclut que bien que les systèmes décentralisés puissent paraître chaotiques en raison de l'absence de contrôle central, la semitopologie révèle un ordre sous-jacent défini par les propriétés d'intersection des coalitions actionnables, offrant un nouveau prisme pour concevoir et vérifier les systèmes cryptoéconomiques.