Qu'est-ce que Plutus (Cardano) ?
Plutus est l'un des composants les plus importants de Cardano qui permet la création de contrats intelligents et d'applications décentralisées (dApps) sur Cardano.
Les contrats intelligents sont des contrats automatisés qui peuvent être utilisés pour échanger de l'argent, des biens, des actions ou tout autre objet de valeur de manière transparente tout en évitant les services d'un intermédiaire.
Plutus est un langage de programmation avancé qui permet aux développeurs de rédiger des contrats intelligents sur Cardano de manière fonctionnelle. Il est basé sur Haskell, qui offre une combinaison unique de sécurité de premier ordre et de hautes performances.
Les développeurs pourront créer des dApps (applications décentralisées) à l'aide de Plutus et Haskell, puis les exécuter sur la blockchain de manière sécurisée et efficace.
Plutus est né de la volonté de disposer d'un langage clair, intuitif et cohérent pour rédiger des contrats intelligents sur Cardano. Il a été spécialement conçu pour interagir avec une blockchain. Il est basé sur Haskell, un langage de programmation fonctionnel à usage général qui existe depuis des décennies et qui est largement utilisé dans l'industrie et le monde universitaire. Il s'agit d'un langage purement fonctionnel, à typage statique, doté d'un système de types puissant.
Les programmes Plutus s'exécutent dans deux environnements différents :
Le premier est un nœud blockchain, où votre contrat financier sera exécuté lorsqu'il sera soumis par quelqu'un qui souhaite l'utiliser ;
L'autre est votre ordinateur de bureau, sur lequel vous pouvez rédiger et tester votre contrat localement avant de le soumettre.
Un contrat n'a pas d'état autre que la valeur de ses variables liées. Il peut lire et écrire des données dans le grand livre, mais ne peut stocker aucune information localement. La seule façon de modifier le résultat d'un contrat en fonction de la modification des entrées est la récursivité car il n'y a pas de boucles ou de variables dans Haskell.
La valeur de chaque variable liée apparaît dans le résultat de la transaction ; de plus, un contrat peut renvoyer une liste d'événements à enregistrer dans le journal des événements de la blockchain.
Les contrats ne sont pas autorisés à interagir avec des ressources externes en dehors de la blockchain, ils sont donc beaucoup plus faciles à vérifier et à raisonner que les contrats intelligents traditionnels.
En fait, Haskell est utilisé depuis longtemps pour écrire des logiciels financiers critiques tels que la plateforme de trading Barclays et le terminal Bloomberg.
La raison pour laquelle Haskell convient si bien à la programmation financière est qu’il vous permet de construire de grands systèmes de manière raisonnée à partir de petits composants. Par exemple, les contrats Plutus sont écrits dans un sous-ensemble de Haskell, un sous-ensemble fonctionnellement pur et sans effets secondaires. Cela signifie que vous pouvez être certain que si vous donnez à votre contrat les mêmes données d’entrée, il produira toujours le même résultat.
