неточностями - Свежие новости | |
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
|
Картину робота-художника перенесли на блокчейн
Современные технологии стремительно проникают во все сферы человеческой жизни, в том числе, и в искусство. Блокчейн и крпитография набирают все больше популярности у художников всего мира. Однако работа «Криптограф» уникальна еще и тем, что нарисовал ее робот. дальше »
2018-12-30 18:26 | |
|
|