Blockstream розробив нову мову програмування смарт-контрактів – Simplicity

Simplicity

Компанія Blockstream, що спеціалізується на блокчейн- і біткойн-розробках, опублікувала початковий код Simplicity – нової мови програмування для створення смарт-контрактів. Мета розробки полягає в створенні ефективної альтернативи існуючим мовам для роботи з блокчейном. Simplicity пропонує більш просунуті комплексні рішення, у порівнянні з Bitcoin Script і велику гнучкість, ніж Solidity Ефіріума.

Одними з основних переваг Simplicity, за заявою творців, є його простота і можливість створювати безпечний, ефективний і функціональний код смарт-контрактів.

Simplicity значно перевершує по функціоналу скриптову мову біткойнов і за можливостями більше нагадує Java або Python. Simplicity також надає можливість змінювати код смарт-контракту, після його активації. Це серйозний прорив, так як основна проблема існуючих смарт-контрактів на Solidity полягає в їх незмінності, навіть в разі виявлення помилки. З новою архітектурою у розробників з’явиться можливість змінювати контракти за умови досягнення консенсусу.

Серед інших важливих особливостей Simplicity можна відзначити:

  • Simplicity є Тьюринг-неповною мовою;
  • Можливість реалізації кінцевих автоматів;
  • Органиченно рекурсії, захист від нескінченних циклів;
  • Можливість статичного аналізу коду;
  • Підтримка формальної семантики, формальної верифікації;
  • Інтеграція мерклізованних абстрактних синтаксичних дерев (MAST), Simplicity має вбудовану підтримку MAST;

Джерело