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

Microsoft выпускает новый инструмент для проверки смарт-контрактов Ethereum. Microsoft выпустила новый инструмент с открытым исходным кодом, который позволит проверять и анализировать смарт-контракты, написанные на популярном языке программирования Solidity, который обычно используется на блок-цепочке Ethereum.
Новый инструмент называется VeriSol - короткий для Verifier for Solidity - и позволяет разработчикам выражать “желаемое поведение умных контрактов, написанных в подмножестве популярного языка Solidity”, а затем использовать “математическую логику” для проверки спецификации на заданную реализацию смарт-контракта.
VeriSol также был включен в конвейер непрерывной интеграции Azure Blockchain для разработки смарт-контрактов.
Старший инженер по программному обеспечению из команды Azure Blockchain Коди Борн сказал: “VeriSol позволяет нам быстрее перебирать из-за автоматической и непрерывной проверки, и это позволяет нам быстрее находить ошибки, не беспокоясь о потенциально влияющих на клиентов”.
Поощрение сотрудничества с открытыми исходными кодами
В то время как VeriSol по-прежнему является прототипом, главным образом управляемым интеллектуальными контрактами в Azure, у исследователей есть высокие цели для инструмента проверки, говоря, что они стремятся “поощрять открытое сотрудничество, чтобы помочь достичь прогресса в формальной проверке для основной разработки смарт-контрактов”.
Главный исследователь Microsoft Шювенду Лахири заключил: “Мы планируем расширить возможности не только разработчиков и клиентов Azure Blockchain, но и внести вклад в полную экосистему блокчейна, которая безопасна и помогает людям реализовать весь потенциал технологии, не подвергаясь дорогостоящим ошибкам в умных контрактов ".
Для получения дополнительных новостей, технического анализа и руководств по криптовалютам нажмите здесь.