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

Мировой технологический гигант уже давно исследует пространство блокчейнов и сейчас он представил новый инструмент под названием VeriSol.

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