Comment les marchés de prévision règlent les conflits

Les marchés de prédiction se résolvent en appliquant les règles préétablies d'un marché et la source de résolution à un résultat du monde réel, puis en finalisant un seul résultat qui déclenche le paiement de règlement. Le détail clé est que les traders ne se contentent pas de tarifer l'événement, ils tarifient le livre des règles, l'oracle ou le processus de reporting, et les incitations au litige qui décident de ce qui "compte" comme résultat.

Points clés

• La résolution du marché de prédiction est la conversion d'un événement externe chaotique en un résultat finalisé qui déclenche le paiement de règlement et arrête le trading.
• Le titre du marché n'est pas la spécification du contrat. La source de résolution, la date de fin et les règles de cas extrêmes sur la page du marché régissent quel résultat sera accepté.
• Sur Polymarket, l'uma optimiste oracle accepte un résultat proposé par défaut à moins qu'il ne soit contesté pendant une période de litige de 2 heures, et proposer nécessite une caution de 750 $ USDC.e.
• Les litiges et les particularités de la source peuvent inverser les résultats ou produire des résultats "surprenants mais conformes aux règles", donc la conception du mécanisme fait partie de ce qui est tarifé.

Comment la résolution transforme les événements en paiements

Un marché de prédiction ne devient un contrat financier que lorsqu'il peut être contraint à choisir un résultat et à le payer. Cette fonction de contrainte est la résolution : le point où la plateforme cesse de laisser le marché échanger, déclare un résultat final et convertit les actions en flux de trésorerie.

La séquence opérationnelle est simple, même si la politique ne l'est pas. Un marché atteint sa date de fin, l'événement sous-jacent devient connaissable, quelqu'un ou quelque chose propose un résultat, un processus de contestation existe pour détecter les erreurs, puis le marché se finalise. Après la finalisation, le paiement de règlement est mécanique.

Sur Polymarket, les actions gagnantes paient 1 $ par action, les actions perdantes deviennent sans valeur, et le trading n'est plus possible.

« Que se passe-t-il après la fermeture d'un marché » concerne principalement ce pipeline. La fermeture empêche de nouvelles informations d'être exprimées par le prix. La résolution est l'étape distincte qui transforme le marché fermé en un marché réglé. Cet écart est l'endroit où les traders découvrent s'ils échangeaient des probabilités ou des documents.

« Combien de temps prend la résolution d'un marché de prédiction » dépend du mécanisme et de savoir si quelqu'un conteste le résultat proposé. Le flux de Polymarket comprend une période de contestation définie de 2 heures après une proposition, mais le temps total jusqu'à la finalité peut s'étendre si une proposition est rejetée ou s'intensifie en un processus de contestation plus profond.

Le point important pour quiconque détient des actions est que le marché peut être fermé tout en restant non réglé, et la seule chose qui compte au règlement est ce que le mécanisme accepte comme résultat final.

Pourquoi les règles du marché sont les plus importantes

La résolution n'est pas « ce que tout le monde sait qui s'est passé ». C'est « ce que les règles du marché disent qui compte comme s'étant passé », en utilisant une source de résolution spécifique à un moment donné, avec un traitement spécifique des cas limites.

La documentation de Polymarket est explicite sur le fait que les marchés se résolvent selon les règles affichées sur la page du marché, et que ces règles gouvernent la résolution plus que le titre ne le fait.

C'est pourquoi la source de résolution n'est pas une note de bas de page. C'est la matière première pour l'oracle ou les reporters. Si la source peut être éditée, mise à jour tardivement ou interprétée de plusieurs manières, les traders finissent par évaluer les particularités de la source.

a16z décrit un contrat de contrôle territorial en Ukraine qui pointait vers une carte en ligne et qui aurait été influencé par des modifications apportées à cette carte. Le marché n'a pas échoué parce que « les cartes sont mauvaises ». Il a échoué parce que le contrat a externalisé la vérité à un objet mutable.

Le langage de timing est l'autre piège. a16z décrit également un contrat de fermeture du gouvernement où la règle liait la résolution à quand le site Web du Bureau de gestion du personnel des États-Unis montrait la fermeture comme terminée. Le président Trump a signé le projet de loi de financement le 12 novembre, mais le site Web n'a pas été mis à jour avant le 13 novembre.

Les traders qui avaient raison dans la direction de l'événement politique ont perdu parce que le contrat était rédigé sur une mise à jour du site Web, pas sur la signature.

Lire les règles comme une feuille de termes est la seule posture défendable dans les marchés de prédiction. La liste de contrôle est courte : (1) la source de résolution exacte, (2) la date et l'heure de fin du marché, et (3) les clauses de cas limites qui décident de ce qui se passe lorsque les sources sont en conflit, révisent ou prennent du retard.

Si ces trois éléments ne sont pas audités, le commerce n'est pas « X va-t-il se produire », c'est « le mécanisme va-t-il accepter X comme prouvé ».

Résolution optimiste de l'oracle sur Polymarket

La résolution du marché de prédiction de Polymarket passe par l'oracle optimiste de uma, qui est conçu pour accepter un résultat par défaut à moins que quelqu'un ne le conteste. Ce choix de conception transforme la résolution en un jeu d'incitations : l'exactitude est imposée par la menace de contestation, et non par un arbitre garanti.

Le flux sur Polymarket est lisible à l'écran s'il est décomposé en étapes réelles :

1. Un utilisateur propose un résultat et poste une caution en USDC.e. La documentation de Polymarket avertit qu'une proposition infructueuse ou prématurée peut perdre la totalité de la caution de 750 $. 2. Le résultat proposé entre dans une période de contestation de 2 heures. Si quelqu'un n'est pas d'accord, il peut contester pendant cette période de contestation. 3.

Si la proposition est validée comme exacte, le proposeur récupère la caution plus une récompense. Si elle n'est pas approuvée, elle entre dans le processus de résolution des litiges d'UMA. 4. Une fois finalisé, le marché se règle : les actions gagnantes paient 1 $ par action, les actions perdantes tombent à 0 $, et le trading s'arrête.

C'est la manière la plus claire de comprendre « comment Polymarket résout ». Le marché n'attend pas un juge omniscient. Il attend que quelqu'un mette du capital et de la réputation derrière une affirmation spécifique, puis survive à l'examen pendant deux heures.

La taille de la caution et la courte fenêtre créent un comportement prévisible. Une caution de 750 $ est suffisamment importante pour punir les propositions négligentes, mais cela signifie également que les marchés à faible attention peuvent dériver vers « tout ce qui n'est pas contesté », car contester prend du temps et de l'attention.

a16z met en avant le marché des poursuites de Zelensky comme un exemple concret de résultats changeant après coup : il a d'abord été résolu « Oui », puis les détenteurs de jetons UMA ont contesté et la résolution est passée à « Non ». Ce n'est pas une critique philosophique. C'est un rappel que les systèmes optimistes peuvent converger, mais ils convergent par un processus d'adversité, et non par des vibrations.

Reporting avec mise en jeu de jetons dans Augur

Augur est l'autre modèle canonique : le reporting avec mise en jeu de jetons, où la plateforme essaie de décentraliser l'acte de dire ce qui s'est passé. IQ.wiki résume l'approche d'Augur comme un système de reporting et de litige où les détenteurs de jetons REP ou REPv2 misent sur les résultats pendant les phases de litige.

Le mécanisme est simple en termes d'incitations. Les reporters mettent des jetons en jeu sur le résultat qu'ils affirment être correct. S'ils ont raison, ils peuvent recevoir une part des frais de règlement. S'ils ont tort, ils perdent les jetons qu'ils ont misés. Le protocole tente d'acheter l'exactitude avec des pénalités, et d'acheter la vivacité avec des récompenses.

Cette conception change ce que les traders souscrivent implicitement. Au lieu de faire confiance à un seul opérateur ou à un seul flux d'oracle, les traders font confiance au fait que le jeu de mise attirera suffisamment de participation honnête pour compenser les tentatives de manipulation. Cela signifie également que la « neutralité » n'est pas gratuite.

a16z soutient que les systèmes de vote basés sur des jetons peuvent souffrir de la domination des baleines et de conflits d'intérêts, ce qui peut saper la neutralité crédible même si le système est techniquement décentralisé.

L'histoire d'Augur est surtout importante comme contexte pour comprendre pourquoi ces systèmes existent. IQ.wiki situe la conception d'Augur en 2014, un lancement v1 en 2018, et une date de lancement v2 au 28 juillet 2020. Le but n'est pas la nostalgie.

C'est que les marchés de prédiction itèrent sur le même problème difficile depuis une décennie : transformer une réalité contestée en un seul résultat de règlement sans donner à quelqu'un un levier facile à tirer.

Modes d'échec et alternatives émergentes

Les ruptures de résolution se produisent aux mêmes endroits encore et encore : langage ambigu, sources fragiles et incitations au litige qui ne se développent pas avec l'attention. a16z cadre le mode d'échec principal de manière claire : lorsque la résolution est peu fiable, les prix cessent de refléter la probabilité de l'événement et commencent à refléter des croyances sur la façon dont le mécanisme va trancher.

Les modes d'échec ne sont pas hypothétiques. Les exemples d'a16z sont essentiellement une taxonomie des « primes de risque de mécanisme ». Une source de résolution basée sur une carte peut être manipulée si des modifications changent l'état autoritaire. Une règle de mise à jour de site Web peut se régler sur le retard d'un administrateur plutôt que sur l'événement sous-jacent.

Un contrat culturel à fort volume comme le marché des poursuites de Zelensky peut encore basculer après un litige, ce qui apprend aux traders que le processus de litige fait partie du produit.

C'est aussi là que « comment Kalshi résout » a tendance à être mal compris par les traders natifs de la crypto. La comparaison clé n'est pas de savoir si un lieu est réglementé ou sur chaîne. La comparaison est de savoir si le mécanisme de résolution est inspectable ex ante, et si le processus de litige a des incitations et des délais clairs.

Différentes plateformes mettent en œuvre différents livres de règles et chemins d'arbitrage, mais la même logique de règlement s'applique : un seul résultat final doit être produit, et le contrat ne paie que sur ce résultat.

L'alternative proposée par a16z est de commettre un juge LLM lors de la création du marché en verrouillant une version de modèle spécifique et un prompt sur chaîne, afin que les traders puissent inspecter le mécanisme de résolution complet avant de trader. Au moment de la résolution, le LLM engagé s'exécute et sa sortie détermine le paiement. L'argument n'est pas « l'IA est magique ».

C'est que la prévisibilité et la transparence ex ante peuvent être améliorées en faisant du juge lui-même une partie des spécifications du contrat, plutôt qu'un comité discrétionnaire ou une source web manipulable.

Les marchés de prédiction vivent ou meurent en fonction de la croyance des participants sur la lisibilité et la difficulté de manipulation du mécanisme de résolution. C'est tout le produit.

Le point de vue

J'ai vu des traders traiter un titre de marché comme s'il s'agissait du contrat, puis agir choqués lorsque le règlement suit les petites lignes. La leçon coûteuse est que les marchés de prédiction ne règlent pas la « vérité ». Ils règlent le mécanisme préengagé.

Si la source de résolution est modifiable, si l'heure de fin est maladroite, ou si le langage des cas extrêmes fait un travail caché, le prix est un pari sur la gouvernance et la paperasse, pas sur la prévision.

J'ai également vu comment la conception de l'oracle optimiste uma sur Polymarket transforme la résolution en un jeu très spécifique. L'obligation de 750 $ USDC.e et la période de litige de 2 heures signifient que les mauvaises propositions peuvent être punies rapidement, mais les marchés à faible attention peuvent encore dériver vers ce qui survit à la fenêtre.

Le retournement de la poursuite de Zelensky que a16z a décrit est le type de résultat qui change la façon dont un bureau évalue l'ensemble du complexe des marchés de prédiction près de l'expiration.

Sources

• Documentation de Polymarket
• Documentation de Polymarket
• a16z crypto
• IQ.wiki