ACTUS et Marlowe

Ce tutoriel présente l'idée générale des normes ACTUS pour la représentation algorithmique des contrats financiers, ainsi que des exemples mis en œuvre dans Marlowe.

ACTUS

La ACTUS Financial Research Foundation https://www.actusfrf.org a créé une norme pour les contrats financiers, classés par catégories au moyen d'une taxonomie et décrits dans une spécification technique détaillée.

Les normes ACTUS partent du principe que les contrats financiers sont des accords juridiques entre deux (ou plusieurs) contreparties sur l'échange de flux de fonds futurs. Historiquement, ces accords juridiques sont décrits en langage naturel, ce qui entraîne une ambiguïté et une diversité artificielle. En réponse, les normes ACTUS définissent les contrats financiers au moyen d'un ensemble de termes contractuels et de fonctions déterministes qui mettent en correspondance ces termes avec des obligations de paiement futures. Ainsi, il est possible de décrire la grande majorité des instruments financiers à travers un ensemble d'un peu plus de 30 types de contrats ou modèles modulaires, respectivement.

Les spécifications ACTUS fournissent un large éventail d'exercices à mettre en œuvre dans Marlowe, et nous illustrons une approche à cet égard dans l'exemple suivant.

Exemple Simple d'Obligation à Coupon Zéro

Une obligation à coupon zéro est un titre de créance qui ne paie pas d'intérêts (un coupon) mais qui est émis avec une décote, ce qui permet de réaliser un bénéfice à l'échéance lorsque l'obligation est remboursée pour sa valeur nominale totale.

Par exemple, un investor peut acheter une obligation qui coûte 1000 Lovelace avec une remise de 15%. Elle paie 850 Lovelace à l'émetteur de l'obligation avant l'heure de départ, ici 10.

Plus tard, après la date de maturité, heure 20 ici, l'investisseur peut échanger l'obligation contre la totalité de son montant notionnel, c'est à dire 1000 Lovelace.

Ce contrat présente un inconvénient de taille. Une fois que le investor a déposé les 850 Lovelace, ils seront immédiatement versés au issuer (si le investor n'investit pas à temps, le contrat prend fin). Après cela, deux résultats sont possibles

le issuer fait un dépôt de 1000 Lovelace dans le compte du investor , et qui sont ensuite immédiatement versés à l’ investor en totalité;
if the issuer n'effectue pas le dépôt, alors le contrat est fermé et tout l'argent du contrat est remboursé, mais il n'y a pas d'argent dans le contrat à ce moment-là, donc l' investor perd son argent.

Comment éviter ce problème du défaut de paiement du issuer ?

Il y a au moins deux façons de résoudre ce problème : nous pourrions demander à l' issuer de déposer la totalité du montant avant le début du contrat, mais cela annulerait l'objectif de l'émission du bon en premier lieu. De façon plus réaliste, nous pourrions demander à un tiers de se porter garant de l'opération.

Exercice

Donnez une variante du contrat zeroCouponBond dans laquelle il est nécessaire pour le issuer de mettre la valeur totale du coupon avant l'émission de l'obligation.

Exercice

Donnez une variante du contrat zeroCouponBond qui inclut également un guarantor qui effectue le paiement intégral avant l'émission de l'obligation et qui paiera cette contrepartie en cas de défaillance de l'émetteur ; si l'émetteur effectue le paiement à temps, le garant récupérera son argent.

Exemple d'Obligation à Coupon Garanti

Cette obligation plus complexe implique un investor qui dépose 1000 Lovelace, qui sont immédiatement versés à l' issuer. Le issuer doit ensuite payer des intérêts de 10 Lovelace tous les 10 slots. À l'échéance, l'investisseur doit recevoir les intérêts et la valeur totale de l'obligation.

Exercice

Donnez une variante du contrat zcouponBondFor3Month12Percent qui inclut également un guarantor qui effectue le paiement intégral avant l'émission de l'obligation et qui paiera cette contrepartie en cas de défaillance de l'émetteur ; si l'émetteur effectue le paiement à temps, le garant récupérera son argent..

IOHK prévoit de mettre en œuvre la norme ACTUS complète en utilisant Marlowe et Plutus au cours de l'année prochaine.

Vous trouverez une copie officielle de ce document ici :

https://alpha.marlowe.iohkdev.io/doc/marlowe/tutorials/actus-marlowe.html

https://docs.cardano.org/projects/plutus/en/latest/marlowe/tutorials/actus-marlowe.html

Plus de traductions de Cardano à: Cardano For The World