Plutus.V2.Ledger.Api

Table des matières

1. 📜 Overview

2. 🔧 Importations et Structure

3. 🗄️ Types principaux et Fonctions

   • Scripts & Sérialisation

   • Validation de scripts

   • Exécution de scripts

   • Version du protocole et options

   • Coûts et modèles

   • Types de contexte

   • Types de support (ByteString, etc.)

   • Types de certificats et credentials

   • Types Value, monnaies, tokens

   • Temps, plages, intervalles

   • Types transactionnels

   • Map associatives, fromList

   • Nouveaux types pour scripts, hashes, données

   • Types Data et conversions

   • Erreurs

---

1 📜 Overview

Interface pour Plutus V2 sur le ledger.

---

2 🔧 Importations et Structure

Prend en charge tous les types nécessaires pour manipuler, exécuter et valider des scripts Plutus V2, y compris :

• Scripts sérialisés et compilation

• Modèles de coût, budget d’exécution et contextes d’évaluation

• Structures de transaction, certificats, credentials, assets, intervalles, maps, et conversions de données

• Fonctions pour valider, exécuter, budgéter, logger, etc.

---

3 🗄️ Types principaux et Fonctions

Scripts & Sérialisation

• SerializedScript, Script, fromCompiledCode Représentent les scripts sous forme sérialisée ou compilée.

Validation de scripts

• isScriptWellFormed Permet de vérifier si un script est "valide" pour une version de protocole donnée.

  FR : Vérifie si un Script est « valide » selon une version du protocole. Actuellement, cela signifie « désérialisé correctement », ce qui implique qu’il s’agit (presque certainement) d’un script encodé et qu’il ne fait pas référence à des builtins indisponibles pour cette version du protocole.

Exécution de scripts

• evaluateScriptCounting Permet d’évaluer un script et d’obtenir le budget minimal requis pour que le script s’exécute avec succès.

  FR : Évalue un script et retourne le budget minimal nécessaire à sa réussite. La durée dépend du script : pour limiter la durée d’exécution, utilisez aussi evaluateScriptRestricting qui retourne le budget effectivement consommé.

• evaluateScriptRestricting Évalue un script avec un budget et un modèle de coût donnés, renvoyant le budget effectivement utilisé.

  FR : Peut servir à calculer le budget nécessaire à un script, mais il faut toujours spécifier une limite pour se protéger contre les scripts longs ou infinis.

Version du protocole et options

• ProtocolVersion, VerboseMode, LogOutput

Coûts et modèles

• Types de budget, contextes, paramètres, erreurs de modèle, etc.

Types de contexte

• ScriptContext, ScriptPurpose

Types de support (ByteString, etc.)

• BuiltinByteString, conversion vers/depuis Builtin

Types certificats & credentials

• DCert, StakingCredential, Credential

Types Value, monnaies, tokens

• Value, CurrencySymbol, TokenName, utilitaires pour ADA, assets, union, singleton, etc.

Temps, plages, intervalles

• POSIXTime, POSIXTimeRange, intervalles et bornes diverses

Types transactionnels

• Structures de transaction : Address, PubKeyHash, TxId, TxInfo, TxOut, TxOutRef, TxInInfo, OutputDatum

Map associatives, fromList

• Types de map pour données associatives

Nouveaux types pour scripts, hashes, données

• Types pour scripts, validateurs, politiques de mint, stakes, redeemers, datums, hashes divers et utilitaires de construction/extraction.

Types Data et conversions

• Types et classes pour données Plutus, conversions, (dé)sérialisation, etc.

Erreurs

• Types d’erreurs d’évaluation et de modèles de coût.

---

Note : La documentation d’implémentation (partie code) reste en anglais (cf. signatures de fonctions, noms de modules et types, etc.), seuls les commentaires et sections explicatives sont traduits.

---