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

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

04.06.2019
Поделиться:
Время чтения: 1 минутy
166
Ночной режим

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

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

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

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

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

04.06.2019
Поделиться:
Время чтения: 1 минутy
166
Ночной режим

Курсы криптовалют

Топ обменников криптовалют

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

Ваше имя
Введите код *
code