Les contrats intelligents Cardano expliqués simplement

Fondamentaux du langage de script Plutus

1. Plutus est un langage de programmation fonctionnel spécialement conçu pour l'environnement d'exécution de contrats intelligents de Cardano.

2. Il fonctionne sur le modèle UTXO étendu (EUTXO), qui diffère fondamentalement du modèle basé sur les comptes d'Ethereum en traitant chaque sortie de transaction comme une unité indépendante et immuable portant à la fois de la valeur et de la logique.

3. Chaque script Plutus doit passer la validation avant qu'une transaction ne soit acceptée dans le grand livre, appliquant des résultats déterministes et éliminant les vulnérabilités de réentrance courantes dans d'autres écosystèmes.

4. Les scripts sont compilés dans Plutus Core, une représentation intermédiaire de bas niveau qui subit une vérification formelle pour garantir l'exactitude et la sécurité avant le déploiement en chaîne.

5. Les développeurs rédigent des contrats Plutus en utilisant la syntaxe Haskell, en tirant parti d'une forte sécurité de type et de garanties de compilation qui réduisent les erreurs d'exécution et augmentent l'auditabilité.

Modèle de contrat financier Marlowe

1. Marlowe est un langage spécifique à un domaine construit sur Plutus, adapté aux accords financiers tels que les options, les swaps et les accords de dépôt fiduciaire.

2. Il fait abstraction des mécanismes de blockchain de bas niveau, permettant aux non-programmeurs, comme les économistes ou les professionnels du droit, de définir la logique contractuelle via des éditeurs visuels ou une syntaxe déclarative.

3. Les contrats sont composés de rôles, d'actions et de résultats, avec un séquencement temporel strict appliqué au moment de l'exécution pour éviter les conditions de concurrence ou les transitions d'état ambiguës.

4. Tous les contrats Marlowe sont automatiquement traduits dans Plutus Core et soumis aux mêmes règles de validation, garantissant une compatibilité totale avec la couche consensus de Cardano.

5. Le modèle prend en charge la composabilité : plusieurs contrats Marlowe peuvent être intégrés dans une seule transaction, permettant une coordination multipartite complexe sans oracles externes.

Intégration du consensus Ouroboros

1. L'exécution des contrats intelligents se produit entièrement à l'époque Ouroboros, où les dirigeants des machines à sous valident les transactions contenant des scripts Plutus parallèlement aux transferts réguliers.

2. L'exécution du script consomme des ressources de calcul mesurées en « unités de mémoire » et en « unités CPU », toutes deux limitées par transaction pour empêcher les attaques par déni de service et garantir une répartition équitable des frais.

3. Le protocole applique des mécanismes stricts de verrouillage temporel, exigeant que les scripts spécifient des intervalles de validité alignés sur l'infrastructure de synchronisation des époques et des créneaux de Cardano.

4. Aucune lecture d'état externe n'est autorisée ; toutes les entrées doivent être explicitement fournies dans le contexte de la transaction, préservant l'immuabilité et permettant une rejouabilité complète des évaluations de contrat.

5. Les opérateurs de pool de mises traitent les validations de script de manière indépendante, et le consensus nécessite uniquement un accord sur les résultats finaux (et non sur les étapes de calcul intermédiaires), réduisant ainsi la surcharge de synchronisation entre les nœuds.

Gouvernance en chaîne via Project Catalyst

1. Les détenteurs d'ADA utilisent des jetons natifs pour soumettre des propositions de financement, voter sur les mises à niveau techniques, y compris les CIP liés aux normes de contrats intelligents, et allouer des ressources de trésorerie.

2. Chaque proposition est soumise à un examen communautaire, à une évaluation formelle et à un vote en plusieurs étapes au cours des époques successives, l'approbation finale déclenchant le décaissement automatique du trésor.

3. Les contrats intelligents déployés sur Cardano peuvent intégrer des crochets de gouvernance, permettant aux décisions pondérées par les jetons de modifier des paramètres tels que les structures de frais ou la logique de distribution des récompenses.

4. Le pouvoir de vote est calculé directement à partir des soldes ADA mis en jeu, sans pénalités de délégation ni exigences de blocage, préservant ainsi la liquidité tout en maintenant les incitations à la participation.

5. Toutes les actions de gouvernance génèrent des enregistrements en chaîne accessibles via des explorateurs publics, favorisant la transparence et permettant des outils tiers pour l'analyse et le suivi de la responsabilité.

Capacités natives de jeton et NFT

1. Cardano prend en charge l'émission multi-actifs de manière native, ce qui signifie que les jetons, y compris les pièces stables et les NFT, peuvent être émis sans déployer de contrats intelligents personnalisés.

2. Les scripts de politique régissent la création et la destruction des jetons, écrits dans Plutus et appliqués au niveau du grand livre, offrant des garanties cryptographiques sur le contrôle de l'approvisionnement et l'intégrité des métadonnées.

3. Les NFT sur Cardano contiennent de riches métadonnées codées directement dans les résultats des transactions, vérifiées par les validateurs pendant la production de blocs plutôt que de s'appuyer sur des solutions de stockage hors chaîne.

4. Les transferts de jetons coexistent de manière atomique avec l'exécution du script Plutus, permettant une logique conditionnelle entre actifs, par exemple la libération d'un NFT uniquement à la réception d'un montant ADA spécifié.

5. Chaque actif porte un identifiant de politique unique dérivé de son hachage de script Plutus, établissant une provenance prouvable et permettant une identification déterministe sur les portefeuilles et les marchés.

Foire aux questions

Q1 : Les contrats intelligents Cardano nécessitent-ils des frais de gaz ? Les frais de transaction sont calculés en fonction de la taille et de la complexité des calculs, mais il n'existe pas de mécanisme de comptage dynamique du gaz comme l'EVM d'Ethereum. Les frais sont fixes par unité de mémoire et de CPU consommés, déterminés au moment de la soumission.

Q2 : Les scripts Plutus peuvent-ils interagir avec des API ou des oracles externes ? Pas directement. Les données externes doivent être ingérées via des services hors chaîne de confiance et soumises dans le cadre de l'entrée de transaction, puis validées par rapport à des contraintes prédéfinies dans le script.

Q3 : Est-il possible de mettre à niveau un contrat Plutus déployé ? Oui, mais uniquement si le script d'origine inclut explicitement une logique de mise à niveau, par exemple en faisant référence à un ID de stratégie mutable ou en déléguant l'autorité à une adresse contrôlée par la gouvernance.

Q4 : Comment Cardano gère-t-il la réintégration du contrat ? Le modèle EUTXO empêche intrinsèquement la réentrance car chaque sortie est entièrement consommée dans une nouvelle transaction ; aucun état mutable partagé n'existe entre les appels, éliminant les risques d'invocation récursive.