La nouvelle bibliothèque de contrats intelligents de Cardano dépasse son objectif initial

L’initiative ContractsLibrary de Cardano a préparé six contrats intelligents réutilisables, dépassant son objectif initial de cinq. Robertino Martinez, qui dirige l’initiative Developer Experience chez AlwaysTrue, a révélé ces avancées lors de la discussion X Space Decentralizing Cardano’s Core Development.

La bibliothèque vise à fournir aux développeurs des composants de contrats intelligents prêts à intégrer plutôt que de leur demander de recréer des fonctionnalités courantes à partir de zéro. Inspiré par l’approche d’OpenZeppelin dans l’écosystème Ethereum, le projet combine du code sur chaîne, des outils de création de transactions, des spécifications techniques et une vérification formelle.

Les six contrats ont atteint la phase finale de relecture du code et des spécifications. Martinez a souligné qu’ils n’avaient pas terminé les audits de sécurité et ne devraient pas encore être déployés sur le réseau principal de Cardano.

Six contrats se dirigent vers des tests publics

ContractsLibrary devait initialement livrer cinq contrats intelligents réutilisables. Selon Martinez, l’équipe de développement en a préparé six et a commencé les vérifications finales de qualité avant des tests plus larges par la communauté.

L’initiative met l’accent sur des composants complets orientés application plutôt que sur des fonctions de programmation isolées. Les développeurs doivent pouvoir configurer des contrats existants, adapter leur code source ou combiner des composants pour répondre à différents besoins applicatifs.

La bibliothèque s’appuie sur des modèles de développement déjà établis dans l’écosystème Cardano, y compris les travaux d’Anastasia Labs.

Martinez a également confirmé que l’équipe à haute assurance avait commencé les travaux de vérification formelle. Sa priorité initiale porte sur des propriétés communes aux contrats, suivies de la vérification des implémentations individuelles.

La distinction entre travaux de développement achevés et préparation à la production reste importante. Six contrats préparés ne signifient pas que six contrats audités ou vérifiés formellement sont déjà disponibles pour un usage sans restriction.

Une pile de développement inspirée par OpenZeppelin pour Cardano

OpenZeppelin est devenu une ressource largement utilisée pour des composants de contrats intelligents réutilisables dans Ethereum et d’autres écosystèmes EVM. ContractsLibrary vise à fournir une ressource de développement comparable, adaptée à l’architecture UTxO étendue de Cardano.

Chaque implémentation est conçue pour combiner plusieurs éléments reliés entre eux.

Le composant sur chaîne utilise Aiken pour définir les règles imposées par le registre de Cardano. Des générateurs de transactions hors chaîne, avec prise en charge de MeshJS et Tx3, aident les applications à construire les transactions nécessaires pour interagir avec ces validateurs.

Des spécifications techniques décrivent le comportement attendu de chaque contrat, tandis que les tests et la vérification formelle offrent des moyens supplémentaires d’évaluer si les implémentations satisfont aux exigences définies.

Le projet utilise aussi Lean 4 pour des preuves vérifiées par machine de propriétés sélectionnées des contrats.

Cette structure intégrée répond à un défi pratique du développement sur Cardano: créer une application décentralisée exige souvent de coordonner la validation des contrats intelligents avec la construction de transactions hors chaîne.

En fournissant des composants connectés, ContractsLibrary vise à réduire le travail de développement répétitif et à faciliter l’intégration des modèles de contrats courants dans de nouvelles applications.

[NEWSBREAK]

Les examens de sécurité demeurent la dernière exigence

ContractsLibrary fait partie de la plus large initiative Developer Experience, qui est passée d’Input Output à AlwaysTrue sous la direction continue de Martinez.

L’initiative comprend d’autres outils tels que cardano-init, qui aide les développeurs à générer des environnements de développement Cardano connectés.

Pour ContractsLibrary, les priorités immédiates sont d’achever les vérifications de qualité du code, de rendre les implémentations accessibles aux tests et de poursuivre la vérification formelle.

Martinez a conseillé aux développeurs de considérer la première version comme une opportunité de test plutôt qu’une bibliothèque prête pour la production. Il a aussi identifié l’approche du hard fork Dijkstra comme une raison supplémentaire de prudence, pendant que les outils de développement de Cardano s’adaptent aux prochains changements de protocole.

Le projet distingue les contrats préparés pour des audits de sécurité de ceux qui ont achevé les examens requis et atteint un statut stable.

Son dépôt public fournit du code et de la documentation de développement, mais les éléments disponibles n’établissent pas que les six contrats ont été publiés comme des implémentations stables.

La mise à jour de Martinez établit donc une étape concrète du développement: l’équipe a préparé un contrat de plus que prévu à l’origine. Les tests publics, la vérification individuelle et les examens de sécurité requis restent des étapes distinctes avant que ces implémentations puissent être considérées comme des composants prêts pour la production.