3 июня команда исследователей Microsoft объявила о новом инструменте проверки безопасности смарт-контрактов, написанных на Solidity, языке программирования сети Ethereum.
Инструмент, получивший название VeriSol, был создан в результате совместной работы подразделения инновационных технологий Microsoft Research и подразделения облачных вычислений компании Microsoft Azure Blockchain. Его назначение – помочь предприятиям и учреждениям создавать собственные блокчейн-приложения.
Примечательно, что этот инструмент не просто добровольный вклад в криптоэкономику (это открытый ресурс), блокчейн Azure будет использовать анализатор Solidity, чтобы помогать продуктам своих институциональных клиентов.
«VeriSol позволяет нам выполнять итерации быстрее благодаря автоматической и непрерывной проверке, а также позволяет быстро обнаруживать ошибки, не беспокоясь о возможном влиянии на клиентов», – рассказал старший инженер-программист команды Коди Борн.
После появления смарт-контракты нельзя редактировать, поэтому перед их активацией в сети Ethereum крайне важно тщательно просмотреть код. В противном случае ошибки могут привести к катастрофе с ощутимыми экономическими последствиями.
Идея VeriSol состоит в том, чтобы быстро и эффективно выявлять несоответствия Solidity до, а не после возникновения проблем.
Таким образом, инфраструктура технологии смарт-контрактов, особенно Ethereum, продолжает планомерно развиваться.
Редактор. Переводчик. Криптоинвестор.