Les contrats intelligents limitent trop un nom, déclare le PDG de Blockstack

Les contrats intelligents limitent trop un nom, déclare le PDG de Blockstack

Btcc crypto

Les avantages potentiels et les applications des contrats intelligents vont bien au-delà de ce que leur nom l’indique, a déclaré le cofondateur et PDG de la société de logiciels blockchain Blockstack.

Dans une interview avec Crypto le 12 juin, le Dr Muneeb Ali, titulaire d’un doctorat en informatique de l’Université de Princeton, a déclaré:

«Tout comme le cloud computing a eu des implications pour un large éventail d’industries, et pas seulement pour la finance, il en va de même pour les contrats intelligents. Ils ne devraient même pas être appelés contrats intelligents car c’est un nom plutôt limitatif. Ce sont des programmes vérifiables qui n’existaient pas à l’ère du cloud computing. »

Les commentaires du Dr Ali font suite à la décision de Blockstack de collaborer avec le protocole de preuve blockchain Algorand sur la prise en charge et l’adoption d’un langage de contrat intelligent appelé «Clarity», qui vise à être plus sécurisé et «conçu à cet effet» pour les contrats intelligents que les langages de programmation existants .

«Notre industrie a besoin d’une alternative open source prévisible, sécurisée aux approches actuelles comme Solidity. Alors que nous prévoyons que la valeur enfermée dans les contrats intelligents pourrait éventuellement atteindre des milliers de milliards, notre industrie n’aurait pas été prête pour une telle croissance », a déclaré le Dr Ali.

Ce manque de préparation, à la fois pour Blockstack et Algorand, découle du fait que les développeurs ont jusqu’à présent «généralement utilisé un langage non sécurisé qui était à l’origine un fork de JavaScript, lui-même un langage à usage général pour la création de sites Web».

En revanche, les contrats intelligents – qui sont conçus pour surmonter les faiblesses des intermédiaires humains ou institutionnels en s’appuyant sur un code logiciel auto-exécutable – sont « très différents des programmes informatiques et des sites Web typiques », a déclaré le Dr Ali. Il a souligné:

«Ils doivent être des programmes vérifiables pour les opérations à haut enjeu. Les langues à usage général peuvent être dangereuses ici. »

Une «superpuissance» pour les développeurs

Pour que les parties prenantes sérieuses adoptent des contrats intelligents et réalisent leur potentiel, le Dr Ali a souligné la nécessité « d’un langage décidable, sûr et mathématiquement prévisible avant l’exécution d’un contrat intelligent ».

Il est peu probable qu’une industrie effectue des transactions de grande valeur grâce à des contrats intelligents rédigés dans un langage non sécurisé », a-t-il déclaré, notant que les implications de cela vont bien au-delà de l’industrie des services financiers:

«La capacité d’écrire du code vérifiable est comme une superpuissance pour les développeurs. Cela peut remodeler la façon dont les logiciels sont distribués et vérifiés sur Internet, comment les développeurs sont payés pour contribuer au code, comment le contrôle d’accès aux services Internet est mis en œuvre, etc. »

Avec un langage décidable, les développeurs peuvent savoir exactement comment un programme s’exécutera jusqu’à ses frais de gaz précis, ce qui peut automatiser les fonctionnalités sur une large gamme d’applications Internet.

Comme l’a rapporté Crypto, tous les chercheurs ne sont pas aussi optimistes quant au potentiel de la technologie des contrats intelligents que le Dr Ali.

Kevin Warbach, professeur d’études juridiques et d’éthique des affaires à la Wharton School de l’Université de Pennsylvanie, a récemment publié un article indiquant ce qu’il pense être le «côté obscur» implicite du virage vers une prise de décision automatisée et forcée par code dans l’espace blockchain.

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *