Технологии

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

3 июня команда исследователей Microsoft объявила о новом инструменте проверки безопасности смарт-контрактов, написанных на Solidity, языке программирования сети Ethereum.

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

Примечательно, что этот инструмент не просто добровольный вклад в криптоэкономику (это открытый ресурс), блокчейн Azure будет использовать анализатор Solidity, чтобы помогать продуктам своих институциональных клиентов.

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

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

Идея VeriSol состоит в том, чтобы быстро и эффективно выявлять несоответствия Solidity до, а не после возникновения проблем.

Таким образом, инфраструктура технологии смарт-контрактов, особенно Ethereum, продолжает планомерно развиваться.

ICO telegram

Звёзд: 1Звёзд: 2Звёзд: 3Звёзд: 4Звёзд: 5 (1 оценок, среднее: 4,00 из 5)
Загрузка...
Светлана Сухарева

Редактор. Переводчик. Криптоинвестор.