формальная - Свежие новости | |
Спецификация Lightning Network прошла первый формальный тест на безопасность
Первая формальная проверка спецификации сети Lightning Network (LN) на безопасность дала положительные результаты, пишет CoinDesk. В своей работе под названием A Composable Security Treatment of the Lightning Network, участие в которой также приняла компания IOHK, исследователи Эдинбургского университета Аггелос Кияиас и Орфеас Литос для оценки безопасности использовали математические методы. дальше »
2019-9-23 13:19 | |
|
Дмитрий Медведев определил срок принятия закона о криптовалютах
Госдуме и Минфину дано поручение от глава кабинета министров РФ. Глава кабинета министров РФ Дмитрий Медведев поручил Министерству финансов и Государственной Думе принять меры, чтобы закон «О цифровых финансовых активах» был согласован и прошел три чтения в нижней палате российского парламента в срок до 1 ноября текущего года. дальше »
2019-8-4 18:04 | |
|
|
Формальная декларацией G20 о криптовалютах скрывает механизм давления
Руководители стран G20 безоговорочно одобрили право FATF определять правила игры. Японская Japan Times опубликовала полный текст итоговой декларации глав государств «Большой двадцатки» (G20), в котором нашлось место и вопросу «крипто-активов». дальше »
2019-7-1 16:32 | |
|
|
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
|
|
В Британии исследуют возможность легализации смарт-контрактов
Независимая британская Комиссия по вопросам законодательства изучит возможность изменения нормативных актов для создания правового регулирования смарт-контрактов. Об этом сообщает CoinDesk. По информации издания, в начале года эта организация уже проводила предварительное исследование вопроса. дальше »
2018-7-20 14:01 | |
|
|