Blockstream розробив нову мову програмування смарт-контрактів – Simplicity
Компанія Blockstream, що спеціалізується на блокчейн- і біткойн-розробках, опублікувала початковий код Simplicity – нової мови програмування для створення смарт-контрактів. Мета розробки полягає в створенні ефективної альтернативи існуючим мовам для роботи з блокчейном. Simplicity пропонує більш просунуті комплексні рішення, у порівнянні з Bitcoin Script і велику гнучкість, ніж Solidity Ефіріума.
Одними з основних переваг Simplicity, за заявою творців, є його простота і можливість створювати безпечний, ефективний і функціональний код смарт-контрактів.
Simplicity значно перевершує по функціоналу скриптову мову біткойнов і за можливостями більше нагадує Java або Python. Simplicity також надає можливість змінювати код смарт-контракту, після його активації. Це серйозний прорив, так як основна проблема існуючих смарт-контрактів на Solidity полягає в їх незмінності, навіть в разі виявлення помилки. З новою архітектурою у розробників з’явиться можливість змінювати контракти за умови досягнення консенсусу.
Серед інших важливих особливостей Simplicity можна відзначити:
- Simplicity є Тьюринг-неповною мовою;
- Можливість реалізації кінцевих автоматів;
- Органиченно рекурсії, захист від нескінченних циклів;
- Можливість статичного аналізу коду;
- Підтримка формальної семантики, формальної верифікації;
- Інтеграція мерклізованних абстрактних синтаксичних дерев (MAST), Simplicity має вбудовану підтримку MAST;