Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума

Теперь, когда клиент Alior получает документ, он может проверить его подлинность через блокчейн эфириума. Петр Адамчик, ведущий блокчейн-разработчик в Alior, объясняет: «Мы точно знаем, в каком блоке эфируима был опубликован документ с данным хешем. ...

По словам Крэбба, в Target уверены, что инициативы с открытым исходным кодом для корпоративного блокчейна имеют наибольший потенциал. Однако он признал, что внедрение блокчейна в нескольких компаниях оказалось непростой задачей, поскольку разным орга...

Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solid...