Перейти к публикации
Tomcat_MkII

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

Рекомендованные сообщения

Blockstream

 

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

 

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

 

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

 

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

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

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

 

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

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на других сайтах

Создайте аккаунт или войдите в него для комментирования

Вы должны быть пользователем, чтобы оставить комментарий

Создать аккаунт

Зарегистрируйтесь для получения аккаунта. Это просто!

Зарегистрировать аккаунт

Войти

Уже зарегистрированы? Войдите здесь.

Войти сейчас

  • Сейчас на странице   0 пользователей

    Нет пользователей, просматривающих эту страницу.

×