Новости о Microsoft решил | |
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
|
Компания Google работает над «поисковой системой для блокчейнов»
Поисковый гигант Google решил расширить свои возможности, создав поисковую систему для блокчейнов, и опережая будущий спрос на такой инструмент. Теперь компания Google тайно работает над новым проектом, а иначе у неё будет слишком большой пробел в этой технологии, особенно по сравнению с такими гигантами, как Microsoft и Amazon, у которых уже есть собственные блокчейн-системы. В […] дальше »
2019-2-7 08:30 | |
|
|