Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума

172 8 Время чтения: 2 мин. Саша Косован

В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity.

Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. В блоге Microsoft говорится, что команда VeriSol будет использовать верификатор для формальной проверки спецификаций смарт-контрактов, которыми руководствуются члены консорциума эфириума в Azure и Azure Blockchain Service.

Формальная проверка смарт-контракта эфириума должна обеспечить их безопасность, которая долгое время была проблемой для смарт-контрактов, о чем свидетельствуют несколько крупных взломов. Проверка предоставляет разработчикам протокол для проверки безопасности критических компонентов смарт-контракта.

Шувенду Лахири, ведущий научный сотрудник Microsoft, говорит, что сейчас процесс проверки занимает много времени, но смарт-контракты имеют определенные свойства, которые позволяют реализовать их формальную проверку: «Скромный размер кода и семантика последовательного выполнения смарт-контракта делают его пригодным для масштабируемой проверки, а открытая операционная среда существенно снижает потребность вручную моделировать среду, в которой работает смарт-контракт», — сказал он.

VeriSol будет дополнять набор инструментов разработки Microsoft Azure Blockchain.

Напомним, что недавно Microsoft заявила о том, что будет использовать блокчейн биткоина для создания системы надежной цифровой идентификации, а в Microsoft Excel была добавлена опция с символом биткоина.

  • https://cryptocoin4you.ru/novosti/microsoft-anonsirovala-razrabotku-shemy-verifikatsii-smart-kontraktov-efiriuma/ Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума

    […] Источник […]

  • http://news-btc.ru/trade/microsoft-anonsirovala-razrabotky-shemy-verifikacii-smart-kontraktov-efiriyma.html ᐉ Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума | ???? News-BTC.ru

    […] Источник: coinspot.io […]

  • https://mygreed.info/microsoft-anonsirovala-razrabotku-shemy-verifikatsii-smart-kontraktov-efiriuma/ Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума — Крипто Новости

    […] Источник: https://coinspot.io […]

  • https://ee-money.ru/microsoft-anonsirovala-razrabotku-shemy-verifikatsii-smart-kontraktov-efiriuma/ Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума — E-Money

    […] Источник: coinspot.io Метки: #Blockchain#блокчейн Share76Tweet47 […]

  • я111

    А у нас есть роскомпозор, который разрабатывает новые более дефективные меры по блокировке гребаного мессенджера. Страна идиотов, блядь.

  • https://cryptoriz.ru/microsoft-anonsirovala-razrabotku-shemy-verifikatsii-smart-kontraktov-efiriuma/ Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума — Сайт о криптовалюте

    […] Источник: coinspot.io Метки: #Blockchain#блокчейн Share76Tweet47 […]

  • https://24-biznes.ru/market/microsoft-anonsirovala-razrabotky-shemy-verifikacii-smart-kontraktov-efiriyma.html Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума — Крипто

    […] Источник: coinspot.io […]

  • https://mygreed.info/kriptomir-za-nedelyu-bitkoiny-germana-grefa-i-shtrafy-za-majning/ Криптомир за неделю: Биткоины Германа Грефа и штрафы за майнинг — Крипто Новости

    […] своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации […]

Новости о цифровых валютах, финтех-трендах и финансовых инновациях

CoinSpot.io - крупнейший в рунете ресурс о цифровых валютах, финтех-трендах и финансовых инновациях. Мы рассказываем о технологиях, стартапах и предпринимателях, формирующих облик финансового мира. Венчурные инвестиции, p2p и цифровые технологии, криптовалюты, аналитика и обзоры - все, что нужно знать, чтобы быть в тренде и зарабатывать.

Полное или частичное использование материалов сайта разрешается только с письменного разрешения редакции, при этом ссылка на источник обязательна!

Подпишитесь на Email рассылку о новые статьях и важных новостях от Coinspot.io