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