Charles Hoskinson développe lui-même un nouveau langage de programmation pour Cardano

Le fondateur de Cardano, Charles Hoskinson, a écrit dimanche sur X qu'il développait lui-même un nouveau langage de programmation pour Cardano. Hoskinson a déclaré travailler avec Lucas Rosa, ingénieur logiciel chez Input Output Global et co-créateur d'Aiken, l'un des principaux langages de contrats intelligents de Cardano. Selon Hoskinson, ce nouveau langage sera le premier à associer ce qu'un utilisateur souhaite qu'une transaction accomplisse à une preuve cryptographique que les règles de la transaction ont été respectées. Hoskinson n'a pas révélé le nom du langage, publié de code accessible au public ni annoncé quand les développeurs pourront l'utiliser.

Le langage prendrait en charge les intentions de transaction, les données accompagnées de preuves et les preuves Groth16. Une intention de transaction permet à un utilisateur de définir le résultat souhaité tout en laissant une application déterminer les étapes à suivre. Un trader pourrait demander un échange de jetons uniquement si le prix final respecte certaines conditions, sans préciser comment effectuer l'échange.

Les données accompagnées de preuves associent une preuve cryptographique à des informations afin de montrer qu'elles respectent certaines règles. Une autre application peut vérifier cette preuve sans refaire tous les calculs sous-jacents. Groth16 est un système de preuve largement utilisé qui produit des preuves de petite taille, vérifiables rapidement par les ordinateurs. Les preuves Groth16 peuvent montrer qu'une condition a été remplie sans révéler les données privées utilisées pour y parvenir.

Ces trois outils pourraient permettre aux développeurs de créer des applications qui coordonnent des transactions, vérifient des conditions complexes et transmettent des informations vérifiées entre services. Cardano pourrait vérifier une preuve de petite taille à la fin de ces opérations. Hoskinson dirige une entreprise qui compte de nombreux ingénieurs, mais choisit lui-même d'écrire un outil que les futures applications Cardano pourraient utiliser.

Les développeurs de Cardano écrivent déjà des contrats intelligents en Plutus, fondé sur Haskell, et en Aiken. Input Output Global a créé Midnight, une blockchain axée sur la confidentialité. Midnight dispose de son propre langage de programmation, Compact, pour les applications qui traitent des données confidentielles.