Компания Microsoft представила инструмент для проверки смарт-контрактов

Корпорация Microsoft, в подтверждение своих намерений оказывать помощь индустрии блокчейна, выпустила новый инструмент под названием VeriSol.

Он проверяет и анализирует смарт-контракты, разработанные на языке программирования Solidity.

Об этом свидетельствуют сообщения, опубликованные в блоге компании Microsoft Azure Blockchain 3 июня.

Сообщается, что команда служб разработки блокчейнов в Azure серьезно отнеслась к потенциальным проблемам безопасности смарт-контрактов и разработала контролирующий инструмент, который проверяет правильность программ.

«Разработчики могут начать отслеживать поведение смарт-контрактов, созданных на языке Solidity, а затем использовать математическую логику для строгой проверки этих спецификаций на соответствие реализации».

Главный исследователь Microsoft, Шувенду Лахири, сказал, что инструмент поможет устранить затраты ресурсов, связанные с проверками.

Команда заявляет, что этот инструмент уже был успешно применен к смарт-контрактам в Azure. Например, инструмент использовался для формализации и проверки спецификаций контрактов, которые управляют консорциумом Ethereum в Azure и службе Azure Blockchain .

Компания указала, что VeriSol не является окончанием ее работы на благо сферы блокчейна.

Как сообщил Лахири:

«Мы планируем расширить возможности не только разработчиков и клиентов Azure Blockchain, но и внести вклад в создание более полной экосистемы блокчейнов, которая поможет людям полностью реализовать потенциал технологии, не подвергаясь дорогостоящим ошибкам в смарт-контрактах».