Microsoft lance un outil de vérification des smart contracts

Microsoft lance un outil de vérification des smart contracts

 

Microsoft Research a annoncé dans un communiqué du 3 mai 2019 le lancement d’un outil de vérification des smarts contracts. Il permettra de sécuriser les contrats écrits avec Solidity, un langage de programmation très utilisé sur le réseau Ethereum (ETH). L’initiative a été développée grâce à Microsoft Azure Blockchain.

 

Des smart contracts vérifiés grâce à Microsoft Azure

Microsoft avait lancé sa plateforme de développement de smart contracts sur la blockchain Ethereum, grâce à Microsoft Azure blockchain service. Cette division a pour but d’aider les entreprises à développer des applications sur la blockchain. Le kit de développement permet d’utiliser la plateforme BaaS (Blockchain as a service) grâce à une extension de l’éditeur de code Visual Studio Code. Ce sont les smart contracts lancés via ce service qui sont visés par le nouvel outil développé par Microsoft.

Intitulé « Verisol », le programme servira à faire passer des tests de sécurité automatiques aux contrats intelligents. Microsoft rappelle que l’intérêt des smart contracts peut aussi être leur tendon d’Achille : « À 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. » Les smart contracts ne peuvent en effet pas être modifiés une fois lancé. Verisol permettra donc d’assurer au mieux leur phase de pré-lancement. « Verisol nous permet d’itérer plus rapidement grâce aux vérifications automatiques en continu, cela nous permet également de déceler des bugs plus vite, sans que cela affecte potentiellement les clients. »

 

Microsoft mise sur la blockchain

Après de timides premiers pas, le géant de l’informatique semble miser gros sur les technologies de la blockchain. En avril 2019, une campagne de Ripple (XRP) avait proposé l’intégration du service de paiement à Skype. En mai, Microsoft avait officiellement annoncé le lancement d’un outil de vérification d’identité basé sur la blockchain : l’Identity Overlay Network. Il semblerait donc que Microsoft ait pour projet d’occuper plusieurs terrains.

L’entreprise confirme en tout cas avoir pris conscience de l’ampleur de ces nouvelles technologies : « Malgré son lancement récent, la technologie inaltérable des registres distribués et de la blockchain a déjà généré beaucoup d’engouement. […] Dire qu’elle a un avenir prometteur serait un euphémisme. » Le géant de la Tech a les moyens de se tailler une part de choix dans la nébuleuse des producteurs de smart contracts. Reste à voir ce qu’il fera de cette influence.

? Pourquoi faut-il vérifier la sécurité des contrats autonomes ?

 

Subscribe
Me notifier des
guest
0 Commentaires
Inline Feedbacks
View all comments

Cryptoast

Le site qui explique tout de A à Z sur le Bitcoin, la blockchain et les crypto-monnaies. Des actualités et des articles explicatifs pour découvrir et progresser dans ces secteurs !


Les articles les plus lus

Un membre de la communauté crypto réussit à convaincre une IA de lui offrir 47 000 dollars en cryptomonnaies

Un membre de la communauté crypto réussit à convaincre une IA de lui offrir 47 000 dollars en cryptomonnaies

Quelles sont les 5 cryptomonnaies qui profitent le plus de ce début de bull run ?

Quelles sont les 5 cryptomonnaies qui profitent le plus de ce début de bull run ?

Ripple serait sur le point d’obtenir l’accord pour son stablecoin RLUSD : le XRP dépasse 100 milliards de $ de capitalisation

Ripple serait sur le point d’obtenir l’accord pour son stablecoin RLUSD : le XRP dépasse 100 milliards de $ de capitalisation

Une ancienne cadre de Binance porte plainte contre l'exchange crypto

Une ancienne cadre de Binance porte plainte contre l'exchange crypto