Qu’est-ce que Marlowe ?

Marlowe est un langage de programmation pour les contrats financiers, conçu pour permettre aux non-programmeurs de rédiger facilement des contrats financiers, tels que des produits dérivés, des prêts et d'autres accords. Cela permet également aux programmeurs de vérifier formellement plus facilement que ces contrats sont corrects.

Le projet a été lancé par Input-Output Hong Kong (IOHK), la société de recherche et développement blockchain derrière Cardano.

Marlowe fait partie des efforts de l'IOHK visant à apporter des méthodes formelles à la programmation de contrats intelligents, mais elle diffère des approches précédentes en étant conçue spécifiquement pour être utilisée dans des applications financières. Pour y parvenir, ses concepteurs ont étudié la théorie financière, en particulier les travaux de l’économiste lauréat du prix Nobel, Kenneth Arrow, qui a été le pionnier d’une grande partie de la pensée mathématique derrière la finance moderne. Cela a abouti à un ensemble d'abstractions intégrées basées sur des concepts financiers réels, tels que le temps et l'argent, plutôt que sur des concepts plus génériques tels que des listes, des fonctions et des variables trouvés dans d'autres langages de programmation.

Marlowe est basé sur une théorie des contrats financiers qui a été formalisée dans le prouveur du théorème d'Isabelle. Cela lui confère plusieurs fonctionnalités uniques que l’on ne retrouve pas dans d’autres langages contractuels :

• La capacité de raisonner sur la valeur attendue des contrats.

• La capacité de vérifier formellement les propriétés des contrats.

De plus, les contrats Marlowe peuvent être exécutés sur la blockchain Cardano. Les utilisateurs peuvent l'essayer en direct sur Playground, qui permet aux utilisateurs de modéliser et d'exécuter des contrats sans aucune connaissance de la technologie blockchain ou des contrats intelligents.

Marlowe a été conçu pour être un outil simple et puissant de modélisation financière. Sa syntaxe a été gardée aussi simple que possible afin que les programmeurs et les non-programmeurs puissent l'utiliser.

Marlowe peut être utilisé pour un certain nombre de choses, mais il est particulièrement adapté aux éléments suivants :

• Construire des contrats financiers interactifs

• Définir des jeux et des protocoles pour les processus de prise de décision

• Simulation de processus métier, tels que ceux impliquant la finance ou l'assurance

• Modélisation des marchés financiers

• Explorer des idées en théorie des jeux

Il fonctionne dans un environnement sandbox, permettant à toutes sortes de développeurs de rédiger des contrats intelligents sur Cardano.

Actuellement, Marlowe fonctionnera sur Cardano, mais ce n'est pas uniquement lié à Cardano. À l’avenir, il pourra également être utilisé pour rédiger des contrats intelligents sur d’autres blockchains.