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

HashFlare

ComputerUniverse Введи промокод FW7FRUX при покупке и получи скидку 5 евро

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


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

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

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

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

Напомним, в начале ноября компания Blockstream запустил обозреватель блоков Биткойна, совместимый с сайдчейном Liquid, смысл которого заключается в оптимизации и ускорении процесса передачи большего количества BTC между биржами и крупными трейдерами.

Подписывайтесь на Bitnovosti в telegram!

Делитесь вашим мнением об этой новости в комментариях ниже.

Источник

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