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

2019-6-6 17:31

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

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

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

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

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

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

Аналог Notcoin - TapSwap Получай Бесплатные Монеты

источник »

Bitcoin (BTC) на Currencies.ru

$ 68475.73 (+0.14%)
Объем 24H $31.309b
Изменеия 24h: -0.25 %, 7d: -2.46 %
Cегодня L: $68289.6 - H: $68590.71
Капитализация $1349.406b Rank 1
Доступно / Всего 19.705m BTC / 21m BTC

microsoft формальной verisol смарт solidity контрактов анонсировала

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

Партнеры Currencies.ru

Реклама на Currencies.ru

Самое свежее на Currencies.ru

Аналитики QCP Capital сомневаются, что эфир прорвется выше $4000

За сутки стоимость эфира (ETH) увеличилась более чем на 20%. Многие трейдеры рассчитывают на прыжок криптовалюты до $4000 к концу этой недели. Однако аналитики фонда QCP Capital сомневаются, что альткоин сможет прорваться выше $4000.

Эфир за сутки взлетел почти на 20%

За последние 24 часа эфир (ETH) укрепился на 19,5% до $3746. Среднесуточный объем торгов вырос до $40,171 млрд, а капитализация альткоина приближается к $450 млрд. Эфир на этой неделе демонстрирует самый сильный рост с ноября 2022 года.

Coinbase: Эфириум сохранит лидирующие позиции на рынке DeFi

По мнению аналитиков биржи Coinbase, сеть эфириума сохранит первое место по объему цифровых активов, размещенных на рынке децентрализованного финансирования DeFi. Сейчас на блокчейне ETH заблокированы виртуальные активы на сумму $54,74 млрд, об этом говорят данные платформы DeFiLlama.

Эфир не смог преодолеть сопротивление на уровне $3250

Крупнейший альткоин эфир (ETH) в ночь на среду, 8 мая, снизился до $3055. В понедельник он достигал $3209, однако уже на следующий день медведям удалось спровоцировать отступление ETH. Ближайшие зоны сопротивления для цифровой валюты сформировались на уровнях $3250 и $3355.

Новый airdrop от 99Bitcoins с возможностью получить бесплатные BTC

Спонсорский материал Airdrop – это способ выиграть бесплатные цифровые активы. Разработчики криптовалютных проектов проводят их, как правило, в двух случаях. Во-первых, чтобы продвинуть свой продукт в сети, поскольку аирдропы часто вызывают шумиху.

Эфир за неделю упал более чем на 16%

Эфир (ETH) за последние семь дней упал на 16,6%. В выходные крупнейший альткоин обвалился до $2896, последний раз на таком уровне он торговался в конце февраля. В понедельник, 15 апреля, курс ETH укрепился до $3251, но уже в ночь на вторник он снизился до $3085.