Actuellement, Microsoft figure parmi les grandes organisations qui oeuvrent pour optimiser les opportunités du réseau décentralisé à l’image d’IBM. Je vous propose d’en savoir davantage sur l’outil Verisol.

Il se charge de la vérification des contrats intelligents du réseau Ethereum.

A propos de la solution Verisol

Oeuvrant dans le développement Blockchain, Microsoft a récemment fait le lancement du produit Verisol. Verisol est le fruit de Microsoft Research et de Microsoft Azure Blockchain.

En fait, Verisol autorise une itération expresse via la vérification automatique et continue. Cette action ouvre la voie à la détection des bogues.

Dans les faits, Verisol va permettre le renforcement de la sécurité des contrats intelligents via un protocole de contrôle des fonctionnements. Pour ce faire, Verisol va servir à la prévention des dysfonctionnements au niveau du réseau afin de se débarrasser des bogues et proposer une meilleure stabilité au blockchain.

Pour plus de détails, on peut consulter cette adresse.

L’enjeu de la sécurité des contrats intelligents

Les réseaux Blockchain rencontre souvent des soucis de sécurité auprès des contrats intelligents. La majorité des failles donnent l’opportunité aux hackers de pirater des monnaies virtuelles par les biais des bogues.

Pour contrecarrer ces fraudes, Microsoft a décidé de mettre l’accent sur la vérification des protocoles. Comme les contrats intelligents sont soumis à une vérification progressive, ils disposent d’un code à taille modeste et d’une sémantique d’exécution séquentielle.

Par ailleurs, l’environnement d’exploitation ouvert amoindrit le besoin de modélisation manuelle du contrat intelligent.

Les nécessités de la mise en place d’un bon écosystème Blockchain

Garantir l’exactitude des contrats intelligents permet de gagner la confiance dans les systèmes axés sur le Blockchain. Avec Verisol ou Verifier for Solidity, le projet cible la progression de la spécification et la vérification formelle des contrats intelligents blockchain.

L’objectif est de fournir davantage de technologie aux développeurs  de contrats intelligents.

Les composantes de Verisol

Verisol est un projet basé sur le prototypage de vérification et son développement provient du langage de programmation Solidity. Verisol repose sur la traduction de programmes en langage Solidity vers des programmes en langage de vérification intermédiaire Boogie.

Ensuite, l’opération se poursuit sur la chaîne de vérification pour les programmes Boogie. En outre, le projet Verisol admet le code de conduite Microsoft Open Source.

Le projet Verisol accepte les contributions ainsi que les suggestions. Pour ce faire, la majorité des contributions requièrent l’existence d’un contrat de licence de contributeur ou CLA. Pour en apprendre et découvrir plus sur Verisol, consultez cet article.

Crédit Photo : blockonomi.com

Laisser un commentaire

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

Ce site utilise Akismet pour réduire les indésirables. En savoir plus sur comment les données de vos commentaires sont utilisées.