Charles Hoskinson, fondateur de Cardano, annonce développer personnellement un nouveau langage de programmation en collaboration avec l’ingénieur Lucas Rosa d’Input Output Global. Ce langage combine trois concepts : les intents de transaction, les proof-carrying data et les preuves cryptographiques Groth16. L’objectif est de faciliter l’expression et la vérification d’actions complexes sur la blockchain sans nécessiter chaque calcul sous-jacent on-chain. Cependant, aucune spécification finale, aucun nom ni calendrier de mise à disposition publique n’a été annoncé. Le langage reste au stade d’annonce de travail en cours, sans garantie de disponibilité future.
Source: Lire l’article original


