Que sont les contrats intelligents Cardano et en quoi sont-ils différents ?

Présentation des contrats intelligents Cardano

1. Les contrats intelligents Cardano sont des accords auto-exécutables rédigés en Plutus, un langage de programmation fonctionnel basé sur Haskell.

2. Ils fonctionnent sur la blockchain Cardano et appliquent une logique prédéfinie sans recourir à des intermédiaires.

3. Chaque contrat est compilé dans Plutus Core, un langage de calcul lambda typé de bas niveau garantissant une exécution déterministe.

4. Les contrats sont déployés dans le cadre des transactions et validés lors du traitement du grand livre par des nœuds complets.

5. L'exécution a lieu hors chaîne pour la validation du script, la vérification en chaîne reposant uniquement sur des preuves cryptographiques et l'intégrité des données d'entrée.

Modèle d'exécution en chaîne et hors chaîne

1. Contrairement à Ethereum, où le code du contrat s'exécute directement sur l'EVM lors de la validation du bloc, Cardano sépare l'évaluation du script du consensus.

2. Les utilisateurs construisent des transactions avec des entrées, des sorties et des rédempteurs, puis attachent des scripts Plutus sérialisés à valider au moment de l'inclusion de la transaction.

3. Les validateurs s'exécutent uniquement pendant la validation des transactions : aucun état persistant ni environnement d'exécution n'existe sur la chaîne.

4. L'exécution du script consomme de la mémoire et des unités CPU mesurées dans les budgets d'exécution, qui doivent être déclarés et payés en ADA.

5. Ce modèle applique une comptabilité stricte des ressources et empêche les boucles infinies ou les calculs illimités en chaîne.

Fondements formels de vérification et de sécurité

1. Les contrats Plutus peuvent être formellement vérifiés à l'aide de preuves mathématiques qui garantissent l'exactitude sous des hypothèses spécifiées.

2. Le modèle comptable UTXO sous-jacent garantit que chaque transaction consomme des sorties spécifiques et immuables, éliminant ainsi les vulnérabilités de réentrance.

3. Les règles du grand livre de Cardano sont exprimées en Haskell et sont soumises à des spécifications rigoureuses examinées par des pairs avant leur mise en œuvre.

4. La logique contractuelle est découplée du comportement du portefeuille : les clés de signature contrôlent les fonds, tandis que les scripts régissent les conditions de dépenses.

5. Cette architecture élimine les exploits à l'échelle de la classe comme le piratage DAO ou les manipulations de prêt flash courantes dans les modèles basés sur les comptes.

Interopérabilité via l'écosystème Marlowe et Plutus

1. Marlowe est un langage spécifique à un domaine superposé à Plutus, conçu explicitement pour les contrats financiers et accessible aux non-développeurs.

2. Plutus fournit des outils de développement comprenant un REPL, un cadre de test et une intégration avec la CLI cardano-node pour la simulation locale.

3. Les contrats interagissent via la composition UTXO : plusieurs scripts peuvent garder une seule sortie, permettant la composabilité sans état mutable partagé.

4. Il n’existe aucun registre mondial des contrats ; les hachages de script servent d'identifiants uniques intégrés directement dans les sorties de transaction.

5. Les appels entre contrats ne sont pas natifs : les interactions se produisent via la construction explicite de transactions et le référencement des résultats.

Foire aux questions

Q : Les contrats intelligents Cardano peuvent-ils accéder aux données du monde réel ? R : Les oracles natifs ne font pas partie du protocole de base. Les données externes doivent être fournies via des flux hors chaîne signés inclus comme entrées de transaction ou vérifiés par des attestations de confiance.

Q : Les contrats intelligents Cardano prennent-ils en charge l'évolutivité ? R : L'évolutivité n'est pas intégrée. Les contrats sont immuables une fois déployés. Les développeurs mettent en œuvre la flexibilité à l’aide de validateurs paramétrés, de modèles de délégation ou de résultats de gouvernance multi-signatures.

Q : Les prix du gaz sont-ils dynamiques sur Cardano ? R : Les frais d'exécution sont calculés de manière déterministe à l'aide de coûts de calcul fixes par opération, ajustés périodiquement via des propositions de gouvernance en chaîne, et non par des enchères pilotées par le marché.

Q : Les scripts Plutus peuvent-ils interagir avec des jetons autres que ADA ? R : Oui. Les jetons natifs sur Cardano partagent le même modèle UTXO. Les scripts peuvent valider la présence, la quantité et l'ID de stratégie du jeton dans les entrées et sorties de transaction.