Microsoft представила новый инструмент для аудита смарт-контрактов Ethereum
IT-гигант Microsoft выпустил новый инструмент с открытым исходным кодом для верификации и аудита смарт-контрактов, написанных на языке программирования Solidity, который ...