Feuille de route de la recherche sur Kleros

Défis scientifiques pour l'avenir de la justice décentralisée…

Chez Kleros, nous réalisons un travail passionnant pour appliquer le raisonnement cryptoéconomique et la théorie des jeux à la résolution de problèmes pratiques qui auront un impact positif sur la société dans son ensemble.

Pour permettre à notre communauté de mieux comprendre les types de défis auxquels nous sommes confrontés, nous avons décidé de partager une feuille de route approximative de nos projets de recherche et de nos objectifs à moyen et à long terme.

La théorie derrière Kleros est déjà bien développée dans le cas où les jurés doivent choisir entre deux options. Nous avons un prototype qui repose sur ces idées.

Notre vision à long terme est que Kleros sera capable de résoudre une grande variété de conflits. Lors de la rédaction d'un contrat intelligent désignant Kleros comme son arbitre, un utilisateur doit être en mesure de fournir aux jurés une gamme de résultats différents. Ces résultats peuvent consister à donner à une partie plus de temps pour mener à bien un projet ou à émettre un remboursement partiel ou total.

De plus, notre preuve de concept est en train de passer d'un tribunal unique où toutes les affaires sont tranchées à des familles de sous-traitants spécialisés par type de litige. Le mécanisme de gouvernance de Kleros permettra, à long terme, à chacun de ces sous-traitants d’ajuster ses honoraires, ses délais et d’autres paramètres pour répondre aux besoins de cas spécialisés. C’est ainsi que Kleros devient un système d’arbitrage polyvalent capable de régler les litiges de manière rapide, abordable et transparente.

Dans cette optique, nous travaillons sur plusieurs thèmes de recherche.

La gouvernance

Les frais d'arbitrage devraient donner aux jurés une juste récompense pour leur travail. La compensation pour le travail effectué dans une sous-cour très spécialisée nécessitant des efforts importants et des compétences particulières devrait être supérieure à celle d'un tribunal qui n'exige pas de tels efforts et compétences.

De plus, le niveau des frais influe sur l'attrait d'un juré, ce qui affecte ensuite le prix du jeton pinakion (PNK), ce qui influe également sur le coût pour un attaquant qui essaie d'acheter suffisamment de PNK pour effectuer ses tâches. une attaque de 51%.

La plate-forme de marché de prédiction Augur a des préoccupations similaires et inclut un système dans lequel les frais s’adaptent automatiquement à la valeur en jeu sur leurs marchés, conçus pour qu’il ne soit jamais rentable d’essayer de détourner le système via une attaque de 51%.

Avec Kleros, il est plus difficile d'estimer la valeur totale en jeu car les utilisateurs peuvent utiliser le protocole pour arbitrer des litiges impliquant des actifs non monétaires. Cependant, nous examinons les moyens d’ajuster les frais de manière à offrir une sécurité maximale et à permettre aux sous-traitants de s’adapter à leurs besoins particuliers.

(Pour une comparaison approfondie entre Kleros et Augur, lisez cet article).

Résultats non binaires et même non linéaires

S'il existe un différend entre Alice et Bob, une pigiste qu'elle a engagée, les jurés devraient certainement avoir la possibilité de payer Bob ou de rembourser Alice. Mais peut-être devraient-ils aussi être en mesure de donner à Bob plus de temps pour terminer le travail.

Bien que cela semble simple, cela peut poser de subtils défis. Par exemple, on peut imaginer un système dans lequel vous commandez les choix (donner plus de temps à Bob est donc "entre" le payer et rembourser Alice). On pourrait ensuite choisir comme résultat l’option qui a reçu le vote médian des jurés. Cependant, sans une gestion prudente des incitations offertes aux jurés, il peut arriver que les jurés soient enclins à voter pour des résultats intermédiaires, ce qui les protège des pénalités.

Dans certains cas - en particulier dans les conflits multipartites - il peut ne pas y avoir d’ordre naturel sur les résultats. Pensez à une situation où Alice loue son appartement à Bob sur Airbnb. Lorsque l'appartement est endommagé, les jurés doivent décider si Alice est responsable des dommages avant l'arrivée de Bob et doivent les payer eux-mêmes, si Bob doit en couvrir le coût ou si les dommages résultent d'un accident qui devrait être couvert par l'assurance d'Alice.

Nous avons commencé à explorer certains cas où nous pouvons traiter ces cas à résultats multiples grâce à la binarisation. À savoir, le choix donné aux jurés est transformé en une série de choix binaires. De manière générale, nous avons l'intention de nous appuyer sur la théorie du vote, qui est confrontée à des problèmes similaires. Nous sommes particulièrement inspirés par les idées des systèmes de vote de Condorcet.

Nicolas de Condorcet (1743-1794) était un philosophe, mathématicien et politologue français. Il a développé un système de vote connu sous le nom de méthode Condorcet qui sélectionne le candidat qui battrait chacun des autres candidats lors d'un second tour. Certaines de nos idées de recherche actuelles sont basées sur les travaux de Condorcet.

Oracles

Une application clé de Kleros est aux oracles. Kleros permet d’apporter une connaissance du monde réel (la bonne partie dans certains différends) à la blockchain. Ceci peut être exploité pour apporter des informations plus générales sur la chaîne.

Nous avons récemment travaillé sur un modèle pour mettre en œuvre un oracle de prix via Kleros. Cela pourrait être utilisé par les contrats qui doivent connaître, par exemple, le coût d'un ETH en USD. Pour le moment, notre travail utilise les idées de binarisation décrites ci-dessus. En outre, pour le moment, notre modèle dépend de la présence d'au moins un «répondant» qui soumet un prix honnête sans compensation, à l'exception peut-être de la perte de certains des dépôts par des répondants malveillants. (Un tel répondant pourrait être motivé par des raisons d’intérêt personnel, comme ce peut être le cas pour un répondant qui est également investi dans un contrat qui utilise cet oracle de prix).

À l'avenir, nous travaillerons sur la manière d'inciter correctement les répondants aux oracles. De plus, nous avons encore des recherches à faire pour pouvoir gérer des oracles pouvant soumettre des informations qui ne sont pas naturellement ordonnées, comme une réponse à un marché de la prévision sur lequel cinq candidats ont été élus président.

De plus, nous examinons s'il existe d'autres applications où, comme dans le cas des oracles, on peut utiliser des appels répétés à Kleros, organisés de manière utile pour résoudre un problème qui ne ressemble pas à première vue à une résolution de conflit. problème.

Expériences

Une fois que nous aurons jugé un nombre important de cas réels par de vrais jurés motivés par de véritables incitations financières, il sera intéressant d'observer comment les participants agissent, comment cela se conforme aux modèles théoriques du jeu et quelles en sont les implications pour Kleros.

Nous avons l'intention d'organiser des expériences sur des cas de test pour voir comment les utilisateurs réagissent aux pots-de-vin. Nous pouvons offrir des primes aux acteurs qui parviennent à faire adopter des résultats malveillants spécifiques dans de tels cas de test afin d'évaluer la robustesse du système.

Prenons l'exemple spécifique d'attaques p + epsilon. Nous prévoyons de lancer une attaque p + epsilon contre un litige de test pour voir comment les utilisateurs réagissent. Notre système d’appel offre déjà un niveau de défense suffisant contre les attaques p + epsilon puisqu’un attaquant doit commettre (et risquer de perdre) d’importantes sommes d’argent lors d’appels ultérieurs avec un grand nombre de jurés.

À mesure que nous explorons les moyens de défense contre ces attaques, nous examinerons l’une des solutions proposées pour traiter les attaques p + epsilon, qui est une sorte de stratégie mixte coordonnée, dans laquelle les jurés agissent de manière à drainer l’attaquant pour un montant maximal de fonds. . Organiser une telle réponse coordonnée pose à la fois des problèmes théoriques et pratiques. Néanmoins, pour le cas de notre cas test p + epsilon, nous allons également lancer un contrat qui permet à la contre-coordination de s'organiser et de vérifier si ces mesures sont efficaces.

Éléments de connaissance zéro

Les points Schelling sont fortement influencés par les informations auxquelles les parties ont accès. Cependant, sur Ethereum, les informations ajoutées à la blockchain sont visibles publiquement. Le contrôle des informations auxquelles les jurés ont accès est donc un problème compliqué.

C'est déjà un problème qui doit être résolu même pour les versions les plus simples de Kleros: nous avons des jurés qui votent via un système commit and révèle afin que leur vote ne soit visible que dans la chaîne une fois la période de vote terminée. Cela évite aux jurés d’attendre que les autres jurés aient voté, puis d’imiter leur vote pour assurer la cohérence.

Cependant, nous pourrions essayer d’être plus sophistiqués en ce qui concerne le type d’informations présenté par les jurés, en particulier au fur et à mesure que des primitives sans connaissance, économes en gaz, sont ajoutées à Ethereum. Par exemple, s'il y a un appel, les jurés doivent-ils connaître la décision du tribunal de première instance et qui en appelle? On peut imaginer (éventuellement dans certains sous-traitants) dissimuler ces informations. Ensuite, le moment venu pour une partie de faire appel, elle peut utiliser une signature circulaire d'une nouvelle adresse pour prouver qu'elle est partie au différend sans révéler l'identité de qui.

La stratégie de conflit. Publié à l'origine en 1960, ce livre a été le premier à étudier les négociations et les comportements stratégiques en situation de conflit. Dans ce livre, Schelling a introduit le concept de point focal, que beaucoup de gens connaissent aujourd'hui sous le nom de Schelling Point.

Assurance frais d'arbitrage

On peut imaginer des attaques dans lesquelles un attaquant très bien financé tente de faire appel d’une décision jusqu’à ce que l’opposant ne dispose plus des ressources nécessaires pour continuer à payer des frais d’appel. Ensuite, même si les frais d’arbitrage sont remboursés à la partie qui est finalement jugée correcte (si la bonne partie persiste, elle sera finalement remboursée), une bonne partie peut être forcée d’abandonner en raison d’un manque de ressources.

Pour résoudre ce problème, nous imaginons que l’on pourrait obtenir un prêt auprès d’une sorte d’assureur. Cet assureur couvre les honoraires des parties qu'il juge susceptibles d'être finalement correctes. En échange, l'assureur reçoit une partie de la pénalité que l'attaquant paiera en fin de compte une fois qu'il se sera finalement méfait. Cette idée est similaire à l’assurance «Après l’événement», qui est généralement conçue pour couvrir les frais de justice dans les affaires de préjudice corporel et peut être achetée après que la blessure s’est produite (après «l’événement»). De plus, les résultats d’un tel cadre d’assurance sont similaires à ceux des contrats «gagnant-gagnant-gratuit» proposés par certains cabinets d’avocats dans le cadre de litiges civils traditionnels.

Nous allons explorer comment structurer cela de manière accessible aux utilisateurs; par exemple, l'assureur pourrait être organisé en DAO.

Construire sur des solutions de mise à l'échelle Ethereum

Au fur et à mesure que différentes solutions de dimensionnement sont développées pour Ethereum, notamment le plasma, les canaux à états généralisés, Truebit, etc., nous réfléchirons à la manière d’adapter Kleros afin de tirer le meilleur parti de ces avancées afin d’optimiser les coûts de gaz et de minimiser les retards tout en maintenant la sécurité.

Kleros et l'arbitrage traditionnel

Intégrer des idées issues de la théorie des jeux et des chaînes de blocs nous permet d’aborder la résolution des litiges sous un angle radicalement nouveau.

Néanmoins, bon nombre des nuances de l'arbitrage traditionnel se traduiront certainement dans notre système. Par conséquent, nous rechercherons une expertise dans l'arbitrage traditionnel et nous explorerons comment intégrer au mieux les contributions de la cryptoéconomie à ces idées existantes.

En bref, nous ne sommes qu'au début d’un long programme de recherche. Notre vision à long terme est que Kleros sera capable de résoudre une grande variété de conflits de manière rapide, transparente et peu coûteuse. Une feuille de route passionnante pour l’application du raisonnement cryptoéconomique et de la théorie des jeux à la résolution de problèmes pratiques qui auront un impact positif sur la société dans son ensemble.

Apprendre encore plus

Rejoignez le chat de la communauté sur Telegram.

Visitez notre site Internet.

Suivez-nous sur Twitter.

Rejoignez notre Slack pour les conversations avec les développeurs.

Contribuer sur Github.