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...
Cегодня
- 13:15 Инвесторы распродают Ethereum, тормозя восстановление
- 12:15 Notcoin начинают сжигать – что будет дальше? Самый честный обзор
- 12:05 Цены на популярные криптовалюты на 16 июня
- 10:17 Трейдер получил 385-кратную прибыль на мем-токене DADDY
- 09:00 Майнеры отчитались о сокращении добычи биткоина в мае
- 08:10 Белый дом собирает участников крипторынка для обсуждения изменений законодательства
- 07:24 Курсы криптовалют к доллару на 16 июня 2024 года
- 06:22 Турция планирует обложить криптовалютные операции налогом в 0,03%
В мире за неделю
-
16 Июн, 05:25+5 В сообществе XRP с нетерпением ждут решения суда по делу SEC против Ripple
-
15 Июн, 13:31+5 Криптовалютному банку Evolve Bank угрожает проверка: Выдан приказ о прекращении деятельности
-
15 Июн, 11:24+6 Роберт Кийосаки призвал не быть неудачниками и покупать биткоин
-
14 Июн, 14:17+4 Дональд Трамп предлагает отмену налога на доходы в США, введение тарифов
-
14 Июн, 04:03+4 ICBC: Цифровая экономика будет использовать мощности эфириума
-
13 Июн, 07:01+5 Цена мемной криптовалюты Brett выросла на 300% за месяц – стоит ли покупать?
-
11 Июн, 13:31+4 Бум мем-коинов поднимает эмиссию токенов Solana на новую высоту
-
10 Июн, 12:31+4 Студент арестован на 10 суток за продажу Notcoin: его смартфон уничтожили
-
9 Июн, 16:27+4 Notcoin сжигание, стейкинг и launchpad. Все твои токены сгорят? / Криптовалюты, NFT и финансы