BTC
9031.8
ETH
265.45
BCH
411.82
LTC
133.54
EOS
6.8680
REQ
0.0230
XMR
95.985
XRP
0.4317
https://yobitex.net
bestchange.ru
https://yobitex.net/
hashflare.io
https://blender.io/

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

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

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

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

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

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

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

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

Работа О'Коннора даёт лишь первое представление о новом языке программирования для криптовалют, который по факту является проектом отдела разработок и исследований компании Blockstream, но потенциал для применения этого языка в будущих проектах компании можно увидеть уже сейчас. А пока остаётся только ждать официального релиза средств разработки для программистов Simplicity SDK.

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

Интересующиеся уже могут ознакомиться с описанием языка на сайте разработчика.

Показать комментарии Обсудить на форуме

Подписывайтесь на новости и их анализ в нашем Telegram канале!

Калькулятор Bitcoin
Скорость, GH/s:
Сложность:
Курс BTC/USD:
Курс BTC/RUB:
в день в неделю в месяц
BTC
0.000034
0.000238
0.00102
USD
0.30652
2.1456
9.1955
RUB
19.715
138.00
591.44
Расширенный калькулятор
yobit.net
https://blender.io/
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 7409399249090
Следующая сложность: 7578723612307 (2.29%)
Блоков до пересчета: 1341
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 54250616.77
Блоков в сети: 581283
Блоков в час: 6.14
Блоков за последний час: 8
До 6.25 BTC/блок: 330.6 дней
(48717 блоков)
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс