Специалисты Microsoft рассказали, что работают над публичной системой верификации смарт-контрактов эфира. Производится это все на языке Solidity.

Новый инструмент уже получил название VeriSol. Его особенность в том, что разработчики могут создавать контракты, а потом полностью проверить их с использованием алгоритмов логики.

В общем, данные разработки призваны увеличить безопасность смарт-контрактов. Практика показывает, что он еще очень слабая, вследствие чего и происходят крупные взломы. Представленные алгоритмы смогут выявить уязвимости, а также критические ошибки.

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

Нужно сказать, что Microsoft активно работает над улучшением и созданием новых продуктов для крипто-индустрии. Более того, они связаны между собой, дополняя и расширяя возможности для непосредственных пользователей и разработчиков.

Если вы нашли ошибку, пожалуйста, выделите фрагмент текста и нажмите Ctrl+Enter.

Срочно подпишитесь на нашTelegramTelegram (перейти) или найти по логину @CryptoChain_News (вручную), взамен Вы получите: самые оперативные новости, аналитику криптовалют, актуальные прогнозы, информацию о стартующих ICO, сможете вместе с нами создать свой инвестиционный крипто-портфель.
ПОДПИСЫВАЙТЕСЬ НА НАШ YOUTUBE КАНАЛ
ЗАХОДИТЕ В НАШУ ГРУППУ VK
ПОДПИСЫВАЙТЕСЬ НА ГРУППУ В FACEBOOK
ПОДПИСЫВАЙТЕСЬ НА НАШ GOOGLE PLUS