формальной - Свежие новости [ Фото в новостях ] | |
Виталик Бутерин рассказал о пользе искусственного интеллекта с точки зрения Ethereum
Технология искусственного интеллекта может быть полезна для сети первого альткоина Ethereum. Об этом написал соучредитель Ethereum Виталик Бутерин в своем твиттере. По мнению Бутерина, искусственный интеллект мог бы помочь с формальной проверкой кода. дальше »
2024-2-19 18:46 | |
|
Waves запустил язык программирования RIDE для создания смарт-контрактов в основной сети
Децентрализованная блокчейн-экосистема Waves Platform запустила в основной сети собственный язык программирования RIDE. С его помощью разработчики смогут создавать смарт-контракты и полноценные децентрализованные приложения, сообщили ForkLog представители площадки. дальше »
2019-6-26 17:10 | |
|
|
Waves запустил язык программирования для создания смарт-контрактов в основной сети
Децентрализованная блокчейн-экосистема Waves Platform запустила в основной сети собственный язык программирования RIDE. С его помощью разработчики смогут создавать смарт-контракты и полноценные децентрализованные приложения, сообщили ForkLog представители площадки. дальше »
2019-6-25 17:10 | |
|
|
Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. дальше »
2019-6-6 17:31 | |
|
|
ShapeShift разъяснили свое решение об обязательной идентификации пользователей
Решение биржи криптовалют ShapeShift о запуске членской программы, одним из обязательных элементов которой является сбор персональных данных пользователей, было встречено шквалом критики в сообществе, однако CEO компании Эрик Вурхис утверждает, что эта мера была «предупредительной». дальше »
2018-9-24 11:27 | |
|
|
88% криптобирж хотят регулирования: исследование
Литовская криптокомпания Mistertango выпустила исследование, в котором сообщается, что 88процентов криптовалютных бирж требуют отраслевого регулирования. Исследование было основано на ответах 24 криптобирж по всему миру с общим объемом ежедневной торговли более 100 миллионов долларов. дальше »
2018-8-1 13:07 | |
|
|