Plinth/Plutus et le modèle de validateur on-chain
1. Plinth/Plutus et le modèle de validateur on-chain · 0 min · Haskell / Plutus
Learning viewShow only the learning panels you need.
Périmètre on-chain : Ce cours enseigne la logique des validateurs et des politiques de forge. Les constructeurs de transactions off-chain ne sont abordés que lorsque cela est nécessaire pour comprendre les données ou contraintes qu’un script on-chain doit vérifier indépendamment.
Langue de la vidéo : la vidéo associée est en anglais ; le tutoriel, les explications et les tâches de cette leçon sont en français.
Plinth/Plutus et le modèle de validateur on-chain
Commencez par la frontière d’exécution : un script on-chain est une logique de validation déterministe compilée depuis Haskell/Plinth vers Plutus Core. Le cours se concentre sur les validateurs et les politiques de forge ; les constructeurs off-chain ne sont évoqués que lorsqu’ils expliquent quelles données le validateur reçoit.
À apprendre
- Les entrées d’un validateur sont le datum, le redeemer et le contexte de transaction.
- Une même transaction peut satisfaire plusieurs scripts, chacun ne validant que ses propres règles.
- Le code on-chain doit être déterministe et tenir compte du budget d’exécution.
- V1 et V2 exposent des types de ledger apparentés, mais V2 modélise des fonctionnalités plus récentes du ledger.
Source principale du tutoriel
Coxygen Global — Plinth/Plutus
Source V2 complémentaire
Programme Plutus Pioneer de l’IOG — quatrième itération. Les ressources fournies pour la quatrième itération utilisent des exemples PlutusV2/Plinth ; utilisez-les pour comparer l’ancien tutoriel des modules V1 avec le code V2.
Code de référence
Note de version
Ce chapitre est marqué V1/V2. Le cours enseigne volontairement les API V1/V2 de l’époque des sources afin de comprendre leur fonctionnement et les migrations. Retestez les imports et la sérialisation avec la version exacte de Plutus/Plinth utilisée par votre déploiement.
Vidéos complémentaires fournies par l’auteur du cours
Tâches pratiques on-chainProgression locale : 0%
CPH1T1 — Tâche pratique 1
Annotez les trois arguments d’un validateur non typé et expliquez ce que représente chacun d’eux.
CPH1T2 — Tâche pratique 2
Réécrivez un validateur qui réussit toujours afin qu’il rejette un redeemer choisi.
CPH1T3 — Tâche pratique 3
Dessinez le chemin Haskell/Plinth → script compilé → hachage/adresse du script → témoin de transaction.
CPH1T4 — Tâche pratique 4
Comparez ce qui doit appartenir au code on-chain avec ce qui doit appartenir au client qui construit la transaction.
Note de compilation : Compilez et testez ce code dans un environnement Plutus/Plinth, par exemple l’environnement de développement fourni avec la quatrième itération de Plutus Pioneer. L’éditeur du LMS enregistre le code source mais ne prétend pas que le GHC ordinaire du navigateur contient les bibliothèques Plutus.
Code output will appear here.
Atelier de code source Plutus — Plinth/Plutus et le modèle de validateur on-chain: Compilez et testez ce code dans un environnement Plutus/Plinth, par exemple l’environnement de développement fourni avec la quatrième itération de Plutus Pioneer. L’éditeur du LMS enregistre le code source mais ne prétend pas que le GHC ordinaire du navigateur contient les bibliothèques Plutus.