Charles Hoskinson développe un nouveau langage de programmation pour $ADA. Le fondateur de Cardano, Charles Hoskinson, a révélé qu’il développe personnellement un nouveau langage de programmation pour la blockchain avec Lucas Rosa, ingénieur chez Input Output Global et co-créateur d’Aiken, l’un des principaux langages de contrats intelligents de Cardano. Ce nouveau langage vise à combiner les intentions de transaction et les preuves cryptographiques, afin de permettre aux utilisateurs d’exprimer ce qu’ils souhaitent accomplir avec une transaction, tout en fournissant la preuve que les règles requises ont été respectées. Le projet prendra en charge trois technologies clés : les intentions de transaction, les données accompagnées de preuves et les preuves Groth16. Cette évolution pourrait ouvrir de nouvelles possibilités aux développeurs pour créer et vérifier des applications sur $ADA, en mettant l’accent sur l’expression des exigences liées aux transactions et la vérification de leur conformité au moyen de méthodes cryptographiques. $BTC