skip to Main Content
Оксана Автор:

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

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

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

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

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

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

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

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

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

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

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

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

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

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Back To Top
×Close search
Поиск
Поиск
Generic filters
Exact matches only
Filter by Custom Post Type