Microsoft publie un nouvel outil pour vérifier les contrats intelligents Ethereum

Microsoft publie un nouvel outil pour vérifier les contrats intelligents Ethereum. Microsoft a publié un nouvel outil open source qui permettra la vérification et l'analyse des contrats intelligents écrits dans le langage de programmation Solidity populaire qui est couramment utilisé sur la blockchain Ethereum.
Le nouvel outil s'appelle VeriSol - abréviation de Verifier for Solidity - et permet aux développeurs d'exprimer les « comportements souhaitables des contrats intelligents écrits dans un sous-ensemble du langage Solidity populaire », puis d'utiliser « machines logiques mathématiques » pour vérifier une spécification par rapport à une implémentation de contrat intelligent donnée.
VeriSol a également été intégré au pipeline d'intégration continue d'Azure Blockchain pour le développement de contrats intelligents.
Cody Born, ingénieur logiciel senior de l'équipe Azure Blockchain, a déclaré : « VeriSol nous permet d'itérer plus rapidement en raison de la vérification automatique et continue, et il nous permet d'attraper les bogues plus rapidement sans avoir à craindre d'affecter potentiellement les clients. »
Encourager la collaboration open source
Bien que VeriSol soit encore un prototype principalement piloté jusqu'à présent par des contrats intelligents dans Azure, les chercheurs ont de grands objectifs pour l'outil de vérification, disant qu'ils cherchent à « encourager la collaboration ouverte pour aider à apporter des progrès dans la vérification formelle à intégrer le développement de contrats intelligents ».
Shuvendu Lahiri, chercheur principal de Microsoft, a conclu : « Nous envisageons d'autonomiser non seulement les développeurs et les clients de Blockchain Azure, mais aussi de contribuer à un écosystème de blockchain complet qui soit plus sûr et d'aider les gens à réaliser pleinement le potentiel de la technologie sans être en proie aux erreurs coûteuses de contrats. »
Pour plus d'informations, d'analyses techniques et de guides de crypto-monnaie, cliquez ici.