Новости о Смарт-контрактов Microsoft [ Фото новости ] [ Свежие новости ] | |
Компания Stratis Group запустила первые смарт-контракты в архитектуре Microsoft.NET
Компания Stratis Group сообщила о запуске первых смарт-контрактов на базе архитектуры Microsoft . NET. При помощи мастернод сайдчейна Cirrus специалистам удалось обеспечить проведение транзакций за рекордно короткие сроки. дальше »
2019-7-4 16:58 | |
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. дальше »
2019-6-6 17:31 | |
Разработчики Dash сокращают штат
Компания Dash Core Group, обслуживающая одноименную криптовалюту, уволит несколько сотрудников из разных отделов. Сокращение будет проведено ради сокращения расходов. Увольнения начнутся 7 марта. Тогда будет ликвидирован отдел по работе с персоналом, отдел стратегического планирования потеряет двух сотрудников, отдел по развитию одного. дальше »
2019-3-6 08:48 | |
Google добавил в свой облачный сервис блокчейн-платформу Ontology
Google интегрировал в свой облачный сервис Google Cloud блокчейн-платформу Ontology. Этот сервис служит для анализа блокчейна, проверки приложений, сервисов и смарт-контрактов. О сотрудничестве с Google компания рассказала на официальном сайте. дальше »
2019-2-25 15:19 | |
Смарт-контракты платформы Waves доступны в облаке Microsoft Azure
Глобальная блокчейн-платформа с открытым кодом Waves выпустила обновление, которое включает два вида собственных смарт-контрактов: смарт-аккаунты и смарт-активы. Waves размещена в облаке Microsoft Azure и новая функциональность уже доступна разработчикам на площадке Azure Marketplace. дальше »
2019-1-31 02:43 | |
Платформа Waves интегрировала смарт-аккаунты и смарт-активы в Microsoft Azure
Разработчики российской блокчейн-платформы Waves сообщили о добавлении смарт-аккаунтов (Smart Accounts) и смарт-активов (Smart Assets) на площадку Microsoft Azure через расширение для упрощения создания и обслуживания смарт-контрактов Visual Studio Code. дальше »
2019-1-30 11:37 | |
Waves растет на фоне запуска обновленных смарт-контрактов в облаке Microsoft Azure
Блокчейн-платформа Waves добавила свои смарт-аккаунты и смарт-активы на площадку Azure Marketplace. Два новых шаблона виртуальных машин в Azure позволят развернуть новые возможности как в публичном, так и в приватном блокчейне. дальше »
2019-1-29 14:03 | |