Community Trust ScoreVérifié
Charles Hoskinson a annoncé dimanche qu’il développait un nouveau langage de programmation pour Cardano : un langage qui relie directement le résultat visé par l’utilisateur pour une transaction à une preuve cryptographique attestant que les règles applicables ont été respectées. C’est une combinaison inhabituelle, et presque personne n’a encore lancé de produit de ce type.
Pourquoi c'est important
Ce projet souligne une ambition stratégique pour Cardano : proposer une infrastructure où la conformité d’une transaction ne repose plus seulement sur la confiance dans le code, mais sur une démonstration cryptographique directement liée à l’intention de l’utilisateur. Si cette approche se concrétise, elle pourrait renforcer l’attrait de la blockchain auprès d’acteurs sensibles à la vérifiabilité et à la sécurité, tout en positionnant Cardano sur un terrain technique distinct de nombreuses plateformes concurrentes.
Hoskinson, le fondateur de Cardano, a publié la nouvelle sur X. Il travaille sur ce projet avec Lucas Rosa, ingénieur logiciel chez Input Output Global et co-créateur d’Aiken, l’un des deux principaux langages de contrats intelligents de Cardano. Cette association est notable. Rosa est déjà directement impliqué dans les outils de développement de Cardano, ce qui donne au projet moins l’allure d’une idée lancée sur un tableau blanc que celle d’un produit en cours de développement.
Le langage prendrait en charge trois éléments : les intentions de transaction, les données porteuses de preuves et les preuves Groth16. Chacun remplit une fonction distincte et, ensemble, ils doivent permettre aux applications d’exprimer ce que souhaite l’utilisateur tout en prouvant que cela s’est déroulé correctement.
À quoi servent concrètement ces trois outils
Les intentions de transaction permettent à l’utilisateur d’indiquer ce qu’il veut sans détailler toutes les étapes nécessaires pour y parvenir. Un trader pourrait demander : échanger ce jeton, mais seulement si le prix final atteint mon objectif. L’application détermine comment exécuter l’opération. L’utilisateur fixe les conditions ; l’application se charge de la mécanique. Cette séparation compte, car elle permet de distinguer clairement l’intention de la logique d’exécution — deux éléments que les développeurs doivent assembler manuellement sur la plupart des chaînes.
Les données porteuses de preuves sont différentes. Elles associent une preuve cryptographique aux informations qui circulent. Lorsqu’une autre application reçoit ces données, elle peut vérifier la preuve jointe plutôt que de refaire tous les calculs ayant produit le résultat initial. C’est plus rapide et plus léger, sans qu’il soit nécessaire de faire aveuglément confiance à l’expéditeur.
Groth16 est un système de preuve particulier. Il génère des preuves de petite taille, suffisamment compactes pour que les ordinateurs puissent les vérifier rapidement. Point essentiel : une preuve Groth16 peut démontrer qu’une condition a été remplie sans révéler les données privées utilisées pour la satisfaire. C’est l’aspect lié à la confidentialité qui est intégré à la conception.
En réunissant les trois, on obtient quelque chose comme ceci : l’utilisateur définit un résultat, l’application l’exécute et une petite preuve accompagne le résultat pour montrer que les règles ont été respectées. Le réseau Cardano vérifie la preuve au lieu de refaire les calculs sous-jacents. Cela représente un gain d’efficacité notable sur une chaîne qui traite déjà un volume important de transactions.
La place de ce projet dans l’écosystème actuel de Cardano
Les développeurs de Cardano disposent déjà de Plutus et d’Aiken. Plutus, qui repose sur Haskell, existe depuis le lancement de la prise en charge des contrats intelligents sur le réseau. Aiken est arrivé plus tard comme une option plus accessible, et Rosa a contribué à sa création. Les deux sont opérationnels, disposent de communautés de développeurs et sont utilisés aujourd’hui dans des applications en production.
Input Output Global — l’entreprise avec laquelle travaille Hoskinson — a également créé Midnight, une blockchain axée sur la confidentialité qui possède son propre langage de programmation, appelé Compact. Compact gère les données confidentielles des applications qui en ont besoin. Le nouveau langage envisagé ajouterait un quatrième outil à cet ensemble, même si l’on ignore encore comment il s’articulerait avec Plutus ou Aiken dans le flux de travail habituel d’un développeur. Aucun détail sur l’interopérabilité n’a été communiqué.
Hoskinson a déclaré que ce langage serait le premier à associer le résultat visé par l’utilisateur pour une transaction à une preuve cryptographique que les règles correspondantes ont été respectées. C’est une affirmation ambitieuse. La capacité de la version finale à la tenir dépendra de détails qui n’ont pas été rendus publics.
Le langage n’a pas encore de nom. Aucun code n’est accessible au public. Aucune date de sortie n’a été annoncée. Hoskinson n’a pas communiqué de calendrier, et les informations disponibles n’en donnent pas non plus.
Ce qui est clair, c’est qu’il participe lui-même activement à son écriture, plutôt que de simplement en confier le développement à l’équipe d’ingénierie. Pour un fondateur à la tête d’une entreprise de la taille d’Input Output Global, c’est à noter. Cela en dit sans doute long sur l’importance qu’il accorde à l’orientation technique du projet, même si personne ne peut dire si cela accélérera ou ralentira les choses.
La participation de Rosa ancre le projet dans le développement concret de Cardano. Ce n’est pas un théoricien : il a contribué à la mise en service d’Aiken. C’est le signe le plus concret que ce langage pourrait un jour se retrouver entre les mains des développeurs.
La collaboration entre Hoskinson et Rosa est la seule information fournie sur les personnes qui le développent.
Centre : cours de Cardano, actualités et analyses
Hub: Cardano : prix, actualités et analyse
Questions Fréquentes
Que développe Charles Hoskinson pour Cardano ?
Hoskinson développe un nouveau langage de programmation avec Lucas Rosa, d’Input Output Global. Il est conçu pour prendre en charge les intentions de transaction, les données porteuses de preuves et les preuves Groth16.
Le nouveau langage de programmation de Cardano est-il sorti ?
Non. Aucun code public, aucune date de disponibilité pour les développeurs et aucun nom n’ont été communiqués à la suite de la publication de Hoskinson dimanche sur X.
