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

[Alex077]

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

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

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

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

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

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