Microsoft Research présente son nouvel outil de vérification de contrats intelligents Ethereum

Alors que la Blockchain était auparavant centrée sur les jeunes entrepreneurs et les nouvelles entreprises, les géants technologiques, financiers et politiques ont commencé à prendre au sérieux la technologie émergente ces dernières années. Microsoft est entrée dans le secteur des crypto-monnaies et du grand registre distribué assez rapidement. Il a récemment dévoilé son nouvel outil de vérification des contrats intelligents sur le réseau Ethereum baptisé VeriSol.

Microsoft Azure et Microsoft Research misent sur la Blockchain

Avec des premiers pas timides et des tâtonnements sur plusieurs années, le géant de l’informatique semble désormais s’avancer avec assurance dans l’industrie de la Blockchain.

Microsoft vient d’annoncer le lancement de nouveau schéma formel open source de vérification des contrats Ethereum dans le langage de programmation Solidity. Développé en collaboration avec Microsoft Research et l’aile de cloud computing et de Blockchain de Microsoft Azure Blockchain, VeriSol devrait aider les sociétés et institutions à créer leurs propres applications Blockchain.

« VeriSol nous permet d’itérer plus rapidement grâce à la vérification automatique et continue, et nous permet d’attraper les bogues plus rapidement sans avoir à nous soucier d’affecter potentiellement les clients », a expliqué Cody Born, l’ingénieur principal chez Microsoft Azure.

Cependant, il faut également prendre en compte la faiblesse des contrats intelligents. « À cause de la nature immuable et la transparence extrême qui sont inhérentes aux smart contracts, ils parviennent à créer de la confiance au sein d’environnements adverses. Mais cela veut aussi dire qu’ils sont plus difficiles à sécuriser que le code traditionnel. »

Une sécurité optimale avec la vérification formelle du contrat intelligent Ethereum

La question relative à la sécurité a toujours posé problème pour les contrats intelligents. Il s’agit de processus complexe qui nécessite des développeurs spécialisés.

Néanmoins, les contrats intelligents simplifient la vérification formelle. Shuvendu Lahiri, le chercheur principal chez Microsoft a déclaré :

« La taille modeste du code et la sémantique d’exécution séquentielle des contrats intelligents leur permettent d’être soumis à une vérification évolutive, et l’environnement d’exploitation ouvert réduit considérablement la nécessité de modéliser manuellement l’environnement dans lequel un contrat intelligent fonctionne. »

Par ailleurs, VeriSol permettra la vérification rapide et efficace du travail des développeurs et détectera les éventuels bogues. Solidity étant la méthode la plus connue pour la programmation de contrats intelligents sur Ethereum, l’outil de vérification formelle autorisée devrait faciliter l’amélioration de la sécurité des Dapps.

Que pensez-vous de l’outil de vérification de contrats intelligents basé sur Ethereum VeriSol ? Réagissez dans la section des commentaires ci-dessous.

La crypto-monnaie est un produit d'investissement hautement volatil. En investissant, votre capital est assujetti à un risque.
Antoine

Je suis jeune, je n'ai que 26 ans, mais mon projet c’est de faire découvrir la blockchain aux entreprises françaises. Pour faire un peu plus long, le monde de la crypto-monnaie à lui seul est très vaste. et je m’y spécialise. Je suis également rédacteur et c'est donc avec énormément d'entrain que je vous expose à chaque fois le résultat de mes recherches.

Nous aimerions avoir votre avis

      Laissez nous un commentaire