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

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

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

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

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