Le fondateur de Cardano, Charles Hoskinson, a déclaré qu’il développait personnellement un nouveau langage de programmation pour le réseau avec Lucas Rosa, ingénieur chez Input Output Global et co-créateur d’Aiken. Ce langage combinerait les intentions de transaction, les données porteuses de preuves et les preuves Groth16. Hoskinson n’en a pas révélé le nom, n’a publié aucun code public et n’a pas fixé de date de sortie pour les développeurs.
Pourquoi c’est important
Les intentions de transaction permettent aux utilisateurs de décrire le résultat souhaité sans préciser chaque étape de l’exécution. Par exemple, un trader pourrait demander un échange de tokens uniquement si le prix final respecte certaines conditions définies. Les données porteuses de preuves joindraient des éléments cryptographiques montrant que les informations suivent les règles requises, afin qu’une autre application puisse les vérifier sans répéter le calcul sous-jacent.
Groth16 produit des preuves compactes qui peuvent être vérifiées rapidement et démontrer qu’une condition a été remplie sans révéler les données privées qui se trouvent derrière. Ensemble, ces trois composants pourraient aider les applications Cardano à coordonner des échanges, vérifier des conditions complexes et transmettre des informations validées entre différents services.
Les développeurs Cardano utilisent actuellement Plutus, basé sur Haskell, ainsi qu’Aiken pour les contrats intelligents. L’entreprise de Hoskinson a également développé Compact pour les applications confidentielles sur la blockchain Midnight, ce qui inscrit ce nouveau projet dans un contexte plus large de langages et de confidentialité au sein de l’écosystème.
Impact sur le marché
L’impact immédiat concerne la feuille de route de développement de Cardano plutôt qu’un lancement de produit confirmé. Un langage opérationnel pourrait réduire la complexité de la création d’applications nécessitant une exécution conditionnelle et une vérification à divulgation nulle de connaissance, mais son effet dépendra de sa mise en œuvre, de sa documentation et de son adoption par les développeurs.
Tant que Hoskinson n’aura pas publié de spécifications, de code ou de calendrier, le projet restera un effort de développement annoncé. Les développeurs et les investisseurs en ADA surveilleront ces étapes, ainsi que les signes montrant que la conception proposée fonctionne avec les outils Cardano existants.
Questions fréquemment posées
-
Que développe Hoskinson pour Cardano ?
Il développe personnellement un nouveau langage de programmation pour Cardano avec Lucas Rosa, ingénieur chez Input Output Global. Ce langage est conçu pour les intentions de transaction, les données porteuses de preuves et les preuves Groth16.
-
Comment fonctionneraient les intentions de transaction dans le langage proposé ?
Elles permettraient aux utilisateurs d’indiquer le résultat souhaité sans préciser chaque étape de l’exécution. Une application pourrait ensuite exécuter un échange de tokens uniquement si les conditions de prix définies sont remplies.
-
Quel rôle les preuves Groth16 joueraient-elles ?
Les preuves Groth16 peuvent fournir des éléments cryptographiques compacts attestant qu’une condition a été remplie. Elles peuvent être vérifiées rapidement sans révéler les données privées utilisées pour satisfaire cette condition.
-
Quel pourrait être l’effet de ce langage sur les applications Cardano ?
Il pourrait aider les développeurs à coordonner des échanges, vérifier des conditions complexes et transmettre des informations validées entre services. L’effet concret dépendra de sa mise en œuvre, de sa documentation et de son adoption.
-
Quand les développeurs Cardano pourront-ils utiliser ce nouveau langage ?
Aucune date de sortie n’a été annoncée. Hoskinson n’a pas encore communiqué le nom du langage, son code public ni le calendrier de sa disponibilité pour les développeurs.
WuBlockchain
CoinTelegraph
CZ Binance
CryptoSlate
TheBlock