Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума
Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. В блоге Microsoft говорится, что команда VeriSol будет использовать верификатор для формальной проверки спецификаций смарт-контрактов, которыми руководствуются члены консорциума эфириума в Azure и Azure Blockchain Service.
- 18 Июн, 10:00
Польский банк использует эфириум для верификации документов
Теперь, когда клиент Alior получает документ, он может проверить его подлинность через блокчейн эфириума. Петр Адамчик, ведущий блокчейн-разработчик в Alior, объясняет: «Мы точно знаем, в каком блоке эфируима был опубликован документ с данным хешем. ...
- 11 Июн, 09:22
Ритейлер Target разработал блокчейн-решение для сертификации поставщиков
По словам Крэбба, в Target уверены, что инициативы с открытым исходным кодом для корпоративного блокчейна имеют наибольший потенциал. Однако он признал, что внедрение блокчейна в нескольких компаниях оказалось непростой задачей, поскольку разным орга...
- 7 Июн, 06:45
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solid...
