Blockstream разработала новый язык программирования смарт контрактов

  • Автор темы Alex077
  • Дата начала
A

Alex077

Модератор
11 Ноя 2018
7,685
64
48
Компания Blockstream, специализирующаяся на блокчейн- и биткойн-разработках, опубликовала исходный код Simplicity — нового языка программирования для создания смарт-контрактов. Цель разработки заключается в создании эффективной альтернативы существующим языкам для работы с блокчейном. Simplicity предлагает более продвинутые комплексные решения, по сравнению с Bitcoin Script и большую гибкость, чем Solidity Эфириума.

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

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

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

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