Contrats intelligents Cardano
Les contrats intelligents Cardano sont des programmes de la blockchain Cardano qui décident si une transaction peut dépenser une sortie, par exemple les fonds d’un pool d’échange ou la garantie d’un prêt. Cardano les prend en charge depuis le hard fork Alonzo du 12 septembre 2021, à l’époque 290.
Les développeurs écrivent les contrats dans des langages comme Aiken ou Plinth, compilés en Untyped Plutus Core, le code exécuté par chaque nœud Cardano. Les contrats suivant le modèle UTXO étendu, un portefeuille connaît les frais et le résultat d’une transaction avant de la soumettre.
Date de lancement et versions Plutus
Les contrats intelligents sont arrivés sur le réseau principal avec le hard fork Alonzo du 12 septembre 2021, qui introduisait Plutus V1. Le hard fork Vasil de 2022 a apporté Plutus V2 avec les entrées de référence et les datums intégrés, permettant à plusieurs transactions de lire les mêmes données sans les dépenser. Plutus V3 est arrivé avec le hard fork Chang en 2024, qui a aussi lancé la gouvernance sur la chaîne, et a ajouté des fonctions cryptographiques comme les opérations sur la courbe BLS12-381.
Langages de contrats: Aiken et Plinth
Sur Cardano, un contrat intelligent est appelé validateur, un script qui accepte ou refuse une transaction souhaitant dépenser une sortie qu’il protège. De nombreux nouveaux projets écrivent leurs validateurs en Aiken, un langage conçu pour Cardano et compilé en Untyped Plutus Core (UPLC). Plinth, anciennement Plutus Tx, permet d’écrire des validateurs en Haskell, et d’autres compilateurs, comme OpShin pour Python, produisent le même code sur la chaîne.
Le modèle eUTXO
Cardano utilise le modèle des sorties de transaction non dépensées étendu (eUTXO), où les fonds résident dans des sorties qu’une transaction consomme entièrement et remplace. Une sortie de script porte un datum contenant l’état enregistré, et la transaction de dépense fournit un redeemer avec l’action demandée. Le validateur ne voit que la transaction et ses entrées, son résultat ne peut donc changer entre construction et soumission, et un script échouant sur la chaîne ne coûte que la garantie réservée par l’utilisateur.
Développement et audits de contrats intelligents
Le Cardano Developer Portal rassemble documentation et kits de développement pour les développeurs débutant sur le réseau. La Cardano Academy enseigne Aiken en dix modules et propose un cours où un agent de programmation IA écrit du code validateur à partir d’une spécification écrite. Avant qu’un contrat gère des fonds sur le réseau principal, les équipes le testent sur le réseau de prévisualisation ou de préproduction et commandent un audit de contrat intelligent.
Exemple de contrat: les jetons programmables
La norme CIP-0113 montre comment validateurs et jetons natifs fonctionnent ensemble. Un jeton émis selon cette norme porte des règles vérifiées à chaque transfert par un validateur, comme un contrôle KYC ou un gel ordonné par l’émetteur. La norme est entrée en service sur le réseau principal en octobre 2026, et les émetteurs réglementés de stablecoins et de titres peuvent désormais intégrer leurs règles de conformité dans le jeton lui-même.
Prochains événements blockchain et actifs numériques en Europe
Contrats intelligents Cardano et Finance Loop
Finance Loop couvre le développement blockchain dans le volet Infrastructure numérique & souveraineté, où les équipes informatiques et d’architecture des banques et gérants d’actifs comparent les plateformes. Sur Cardano, une banque exécutant un contrat pour ses clients connaît les frais et le résultat de chaque transaction avant son envoi.
Finance Loop est un réseau professionnel qui favorise l’usage institutionnel des technologies émergentes en finance, telles que l’IA, les paiements numériques, le cloud et les solutions blockchain. Finance Loop aide ses membres à acquérir des compétences et des réseaux personnels dans ces domaines: Investissement & actifs numériques, Paiements & monnaie numérique, Infrastructure numérique & souveraineté et Risque & conformité.