Crypto : Hoskinson développe un nouveau langage pour Cardano

Charles Hoskinson développe personnellement un nouveau langage de programmation pour Cardano avec Lucas Rosa, l’un des créateurs d’Aiken. Le projet doit combiner intentions de transaction, proof-carrying data et preuves Groth16. Pour cette nouvelle brique crypto, aucun nom, code public ni calendrier de lancement n’a encore été communiqué.

Hoskinson reprend lui-même le clavier sur Cardano

Charles Hoskinson ne se contente pas de superviser le projet. Il affirme participer directement au développement du langage. L’annonce arrive alors que Cardano accélère déjà son chantier technique. Quelques jours plus tôt, Hoskinson expliquait que la mise à niveau Leios devait compléter une grande partie de l’architecture du réseau, avec notamment un débit supérieur et de nouvelles capacités de mise à l’échelle.

Cette fois, le chantier concerne davantage les applications crypto construites au-dessus de Cardano. Hoskinson travaille avec Lucas Rosa, co-créateur d’Aiken, l’un des principaux langages utilisés pour développer des validateurs sur le réseau. Il décrit leur projet comme le premier de son genre à réunir intents, proof-carrying data et preuves Groth16.

Le langage n’a cependant toujours pas de nom public. Aucun dépôt de code n’a été présenté non plus. Hoskinson n’a pas indiqué de testnet, de date de sortie ou de première application utilisant cette technologie. Le projet reste donc à un stade précoce.

Des transactions crypto décrites par leur résultat

Le concept d’« intent » change la manière de demander une opération à une application blockchain. Aujourd’hui, une transaction peut nécessiter plusieurs étapes précises. Avec un système basé sur les intentions, l’utilisateur indique surtout le résultat qu’il souhaite obtenir.

Un trader pourrait par exemple demander : échanger un token contre un autre uniquement si le prix final respecte une limite donnée. Il n’aurait pas nécessairement à définir lui-même toutes les étapes intermédiaires.

Le proof-carrying data ajoute une autre couche. Une information peut voyager avec une preuve cryptographique attestant qu’un calcul ou une série de règles a bien été respecté. L’application qui reçoit le résultat vérifie alors la preuve au lieu de reproduire tout le calcul.

Groth16 doit servir à cette vérification. Ce système de preuve cryptographique produit des preuves compactes et rapides à contrôler. Cardano renforce déjà sa boîte à outils cryptographique. En mai, le réseau avait mis en test cinq nouvelles primitives Plutus, notamment pour améliorer les performances et les possibilités offertes aux développeurs.

Le nouveau langage pourrait aller plus loin en intégrant directement plusieurs de ces logiques dans la façon de construire les applications. Pour l’instant, Hoskinson n’a cependant pas expliqué comment cette technologie s’intégrera à l’architecture existante de Cardano.

Cardano possède déjà plusieurs langages

Le nouveau projet n’arrive pas sur un terrain vide. Cardano utilise depuis plusieurs années Plutus, son environnement historique pour les smart contracts. Aiken constitue une alternative plus récente, avec une syntaxe et des outils pensés pour simplifier le travail des développeurs.

Les contrats écrits dans plusieurs langages Cardano finissent généralement compilés vers UPLC, le format exécuté par les nœuds lors de la validation. Hoskinson n’a pas encore indiqué si son nouveau langage suivra exactement le même chemin.

Il n’a pas non plus expliqué s’il vise à remplacer Aiken ou Plutus. Rien dans son annonce ne permet pour l’instant de l’affirmer. L’écosystème dispose également de Compact, utilisé sur Midnight. Cette blockchain axée sur la confidentialité occupe déjà une place importante dans la stratégie de Hoskinson, notamment grâce aux preuves zero-knowledge et aux applications manipulant des données privées. Le nouveau langage partage donc certaines idées avec des technologies déjà présentes dans l’écosystème crypto de Cardano, tout en ajoutant une forte orientation vers les intentions et les preuves attachées aux données. Hoskinson promet une approche « première du genre ». Il reste maintenant à voir le code.