Charles Hoskinson, fondateur de Cardano, prépare un nouveau langage de programmation

Charles Hoskinson, fondateur de Cardano, participe personnellement à la création d’un nouveau langage de programmation pour sa blockchain. Son objectif : permettre aux développeurs de concevoir plus facilement des applications crypto sécurisées et sophistiquées. Selon lui, ce langage doit réunir plusieurs techniques qui n’ont jusqu’ici jamais été combinées de cette manière.

Hoskinson participe au développement d’un nouveau langage pour Cardano

Hoskinson a annoncé dimanche sur X qu’il travaillait avec Lucas Rosa, développeur chez Input Output Global (IOG). Ce dernier a déjà contribué à Aiken, l’un des principaux langages de programmation de contrats intelligents sur Cardano (ADA).

La particularité de ce projet tient à l’implication directe de Hoskinson dans son développement. Bien qu’il dirige une entreprise comptant de nombreux programmeurs, il a choisi de contribuer lui-même au code de cette technologie, sur laquelle pourraient reposer de futures applications Cardano.

Le nouveau langage doit combiner trois techniques : les intentions de transaction, les données accompagnées de preuves et Groth16. Les développeurs pourront ainsi exécuter des transactions complexes tout en démontrant, par des preuves cryptographiques, que des conditions prédéfinies ont été respectées.

Qu’est-ce que cela change pour Cardano ?

La principale différence concerne la manière dont les utilisateurs peuvent effectuer leurs transactions. Avec les intentions de transaction, ils précisent le résultat souhaité, sans avoir à définir eux-mêmes toutes les étapes intermédiaires.

Un utilisateur peut, par exemple, demander à échanger une cryptomonnaie uniquement si le prix final respecte certaines conditions. L’application détermine ensuite comment exécuter cette opération.

Les deux autres techniques portent sur la sécurité et la vérification. Les données accompagnées de preuves permettent aux applications d’échanger des informations assorties de preuves cryptographiques. Groth16 permet, quant à lui, de démontrer à l’aide d’une preuve de petite taille que certaines conditions sont remplies, sans divulguer l’ensemble des données sous-jacentes.

Ensemble, ces techniques doivent permettre à Cardano de vérifier des transactions complexes sans avoir à refaire chaque calcul.

Cardano dispose déjà des langages de programmation Plutus et Aiken. De son côté, Midnight, le projet de blockchain d’IOG axé sur la confidentialité, utilise le langage Compact.

Aucune date de disponibilité n’a encore été annoncée pour ce nouveau langage. Hoskinson n’a pas non plus communiqué de nom, publié de code source ni présenté de calendrier précis.