litecoin
Litecoin (LTC) $ 87.89 0.44%
monero
Monero (XMR) $ 321.59 2.08%
zcash
Zcash (ZEC) $ 39.84 1.49%
dash
Dash (DASH) $ 20.24 1.84%
ethereum
Ethereum (ETH) $ 2,589.03 2.72%
bitcoin-cash
Bitcoin Cash (BCH) $ 495.31 1.47%
bitcoin
Bitcoin (BTC) $ 109,395.20 1.07%
xrp
XRP (XRP) $ 2.28 2.74%
ethereum-classic
Ethereum Classic (ETC) $ 16.80 3.01%
eos
EOS (EOS) $ 0.546642 0.11%
cardano
Cardano (ADA) $ 0.590252 2.66%
stellar
Stellar (XLM) $ 0.250716 5.48%
neo
Neo (NEO) $ 5.50 1.92%
iota
IOTA (IOTA) $ 0.160866 3.26%
nem
NEM (XEM) $ 0.001724 4.32%
tron
TRON (TRX) $ 0.286508 1.03%
vechain
VeChain (VET) $ 0.021063 1.82%
qtum
Qtum (QTUM) $ 2.00 2.62%
omg
OMG Network (OMG) $ 0.181473 0.10%
icon
ICON (ICX) $ 0.122034 0.89%
lisk
Lisk (LSK) $ 0.381329 2.06%
ontology
Ontology (ONT) $ 0.123025 4.37%
verge
Verge (XVG) $ 0.005222 1.98%
bitcoin-gold
Bitcoin Gold (BTG) $ 0.782819 3.91%
nano
Nano (XNO) $ 0.871851 2.22%
bytecoin-bcn
Bytecoin (BCN) $ 0.00002 0.00%
siacoin
Siacoin (SC) $ 0.003 2.38%
dogecoin
Dogecoin (DOGE) $ 0.172909 5.20%
zilliqa
Zilliqa (ZIL) $ 0.010563 1.57%
0x
0x Protocol (ZRX) $ 0.22107 2.73%
decred
Decred (DCR) $ 15.84 1.45%
basic-attention-token
Basic Attention Token (BAT) $ 0.127742 3.19%
golem-network-tokens
Golem (GLM) $ 0.228599 1.23%
digibyte
DigiByte (DGB) $ 0.007559 3.52%
acoin
Acoin (ACOIN) $ 0.005122 0.00%
amsterdamcoin
AmsterdamCoin (AMS) $ 0.002877 2.98%
maker
Maker (MKR) $ 1,918.99 3.84%
adx-net
AdEx (ADX) $ 0.078884 3.98%
adshares
Adshares (ADS) $ 0.458266 0.53%
airswap
AirSwap (AST) $ 0.041938 1.56%
bitcoin-diamond
Bitcoin Diamond (BCD) $ 0.003732 2.75%
multi-collateral-dai
Dai (DAI) $ 1.00 0.01%
tezos
Tezos (XTZ) $ 0.534621 1.48%
aeternity
Æternity (AE) $ 0.006512 0.96%
ardor
Ardor (ARDR) $ 0.07921 0.51%
bitshares
BitShares (BTS) $ 0.001125 0.14%
electroneum
Electroneum (ETN) $ 0.001407 0.35%
komodo
Komodo (KMD) $ 0.01634 27.33%
chainlink
Chainlink (LINK) $ 13.62 2.88%
pundix-new
Pundi X (New) (PUNDIX) $ 0.288555 0.39%
augur
Augur (REP) $ 0.674968 0.09%
status
Status (SNT) $ 0.026331 0.77%
steem
Steem (STEEM) $ 0.12929 1.60%
waves
Waves (WAVES) $ 1.01 0.13%
wax
WAX (WAXP) $ 0.019783 0.08%
Автор:
5 июня, 2019 11:27

Компания Microsoft представила инструмент для проверки смарт-контрактов

Корпорация Microsoft, в подтверждение своих намерений оказывать помощь индустрии блокчейна, выпустила новый инструмент под названием VeriSol

Корпорация Microsoft, в подтверждение своих намерений оказывать помощь индустрии блокчейна, выпустила новый инструмент под названием VeriSol.

Он проверяет и анализирует смарт-контракты, разработанные на языке программирования Solidity.

Об этом свидетельствуют сообщения, опубликованные в блоге компании Microsoft Azure Blockchain 3 июня.

Сообщается, что команда служб разработки блокчейнов в Azure серьезно отнеслась к потенциальным проблемам безопасности смарт-контрактов и разработала контролирующий инструмент, который проверяет правильность программ.

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

Главный исследователь Microsoft, Шувенду Лахири, сказал, что инструмент поможет устранить затраты ресурсов, связанные с проверками.

Команда заявляет, что этот инструмент уже был успешно применен к смарт-контрактам в Azure. Например, инструмент использовался для формализации и проверки спецификаций контрактов, которые управляют консорциумом Ethereum в Azure и службе Azure Blockchain .

Компания указала, что VeriSol не является окончанием ее работы на благо сферы блокчейна.

Как сообщил Лахири:

«Мы планируем расширить возможности не только разработчиков и клиентов Azure Blockchain, но и внести вклад в создание более полной экосистемы блокчейнов, которая поможет людям полностью реализовать потенциал технологии, не подвергаясь дорогостоящим ошибкам в смарт-контрактах».

Комментарии:

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *