Microsoft представила новый инструмент для аудита смарт-контрактов Ethereum
Подробности Категория: Новости Опубликовано: 05 Июнь 2019 Просмотров: 28 IT-гигант Microsoft выпустил новый инструмент с открытым исходным кодом для верификации и аудита смарт-контрактов, написанных на языке программирования Solidity, который часто используется в блокчейне Ethereum. Новый инструмент Microsoft для аудита смарт-контрактов…




