BTC
6416.0
ETH
290.17
BCH
547.67
LTC
55.717
CFI
0.0215
EOS
5.0898
REQ
0.0391
XRP
0.3330
rocket-miner.ru
http://arahnidapool.com
migoff.net
YoBit.Net
bitferma.ru

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.000039
0.000275
0.00118
USD
0.25276
1.7693
7.5829
RUB
16.904
118.33
507.11
Расширенный калькулятор
rahakott.io
YoBit.Net
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 6389316883512
Следующая сложность: 6779215560555 (6.1%)
Блоков до пересчета: 636
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 48527515.21
Блоков в сети: 537636
Блоков в час: 6.37
Блоков за последний час: 8
До 6.25 BTC/блок: 604.16 дней
(92364 блоков)
konvert.im
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс