формальной - Свежие новости [ Фото в новостях ] | |
Виталик Бутерин рассказал о пользе искусственного интеллекта с точки зрения Ethereum
Технология искусственного интеллекта может быть полезна для сети первого альткоина Ethereum. Об этом написал соучредитель Ethereum Виталик Бутерин в своем твиттере. По мнению Бутерина, искусственный интеллект мог бы помочь с формальной проверкой кода. дальше »
2024-2-19 18:46 | |
|
Криптопроект Facebook представил совет правления и первый состав Libra Association
Команда криптопроекта Facebook представила документ, в котором говорится о переходе Libra Association к формальной структуре управления. Согласно публикации, устав ассоциации Libra подписала 21 компания. дальше »
2019-10-15 08:20 | |
|
|
Новости криптовалют сегодня, 23 сентября 2019
Тут новости криптовалют сегодня, статья обновляется в течение дня. CoinDesk Вот карта которая показывает, где мы сейчас находимся на этом бычьем рынке. Похоже завершается фаза бычьего рынка и ожидается начало рынка среднего быка. дальше »
2019-9-24 08:59 | |
|
|
Конгресс США готов запретить венесуэльскую криптовалюту Petro. Вашингтон защитит доллар США
Верхняя палата Конгресса США, Сенат, намерена принять в ближайшее время законопроект, который введет полный запрет на хождение венесуэльской криптовалюты Petro на территории США. Данный законопроект может сыграть важную роль в судьбе криптовалют в целом, и Bitcoin — в частности. дальше »
2019-9-17 14:58 | |
|
|
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 | |
|
|