Наверх
Ночной режим

VeriSol от Microsoft: новый инструмент для проверки смарт-контрактов Ethereum

Время чтения: 1 минутy
11341
Ночной режим

3 июня команда исследователей технологического гиганта Microsoft анонсировала запуск инновационного инструмента защиты интеллектуальных контрактов, написанных на ведущем языке программирования в сети Ethereum — Solidity.

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

Как объясняет старший инженер-программист Коди Борн: «VeriSol позволяет нам выполнять итерации быстрее, благодаря автоматической и непрерывной проверке, а также позволяет мгновенно обнаруживать ошибки, предотвращая негативные последствия для клиентов».

Умные контракты нельзя редактировать «на лету», поэтому, перед тем, как активировать их в сети Ethereum, крайне важно тщательно проверить исходный код. В противном случае ошибки могут привести к катастрофе с ощутимыми экономическими последствиями.

Напомним команда Microsoft продолжает осваивать технологию блокчейн, о чем говорит ряд нововведений. Только в этом месяце компания добавила символ юникода Bitcoin в широко популярную систему электронных таблиц Microsoft Excel; раскрыла децентрализованный идентификационный проект, построенный с участием Bitcoin и объявила о поддержке Azure Blockchain для Quorum.

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

Ваше имя
*
code

04.06.2019
Поделиться:
Курсы криптовалют
Брокеры
Топ обменников криптовалют
Популярные статьи

Курсы валют

Доллар USD (ЦБ): 92.26 -0.33
Евро EUR (ЦБ): 99.71 -0.56
Доллар USD (MOEX): 92.49 +0.31
Евро EUR (MOEX): 99.93 +0.24