Blockstream представляет язык программирования Simplicity для смарт-контрактов

[Tomcat_MkII]

 

Сегодня, 30 октября 2017 года, доктор Рассел О'Коннор из компании Blockstream, в ходе семинара PLAS 2017 в Далласе, США, обнародовал свой труд “Simplicity: A New Language for Blockchains”, в котором описал новый язык программирования под названием Simplicity.

 

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

 

Одним из основных отличий Simplicity от Bitcoin Script - простого скриптового языка, на котором можно исполнять простые сценарии (прообраз смарт-контрактов) в блокчейне Биткоина , является отсутствие проблемы с нехваткой некоторых опкодов. Например, в Bitcoin Script можно лишь складывать числа, но нельзя перемножать. В данном случае Simplicity предоставляет большую гибкость за счёт расширения возможностей языка.

 

Среди других важных особенностей стоит отметить:

• Simplicity является Тьюринг-неполным языком;
• Возможность реализации конечных автоматов;
• Органичение рекурсии, защита от бесконечных циклов;
• Возможность статического анализа кода;
• Поддержка формальной семантики, формальной верификации;
• Интеграция мерклизованных абстрактных синтаксических деревьв (MAST), Simplicity имеет встроенную поддержку MAST;
•  

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

 

Читать полностью