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





