BTC
4079.3
ETH
141.42
BCH
162.54
LTC
60.703
EOS
3.8047
REQ
0.0272
XMR
53.369
XRP
0.3211
https://fairplay.io
hashflare.io
obmencrypto.com
bestchange.ru
https://yobitex.net/

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.000041
0.000290
0.00124
USD
0.16541
1.1579
4.9624
RUB
10.697
74.880
320.91
Расширенный калькулятор
yobit.net
go.dx.exchange
Курсы криптовалют
Обновить
Статистика сети
Текущая сложность: 6068891541677
Следующая сложность: 6210125812163 (2.33%)
Блоков до пересчета: 708
Цена шары (PPS): 0.0000000000
Мощность сети (Th/s): 44453812.11
Блоков в сети: 567804
Блоков в час: 6.14
Блоков за последний час: 6
До 6.25 BTC/блок: 422.07 дней
(62196 блоков)
konvert.im
rebit.live
Лучше взять и изобрести завтрашний день, чем переживать о том, что вчерашний был так себе
Стив Джобс