A
Alex077
Модератор
- Регистрация
- 11 Ноя 2018
- Сообщения
- 9,089
Компания Blockstream, специализирующаяся на блокчейн- и биткойн-разработках, опубликовала исходный код Simplicity — нового языка программирования для создания смарт-контрактов. Цель разработки заключается в создании эффективной альтернативы существующим языкам для работы с блокчейном. Simplicity предлагает более продвинутые комплексные решения, по сравнению с Bitcoin Script и большую гибкость, чем Solidity Эфириума.
Одними из основных преимуществ Simplicity, по заявлению создателей, является его простота и возможность создавать безопасный, эффективный и функциональный код «умных контрактов».
Simplicity значительно превосходит по функционалу скриптовый язык Биткойна и по возможностям больше напоминает Java или Python. Simplicity также предоставляет возможность изменять код смарт-контракта, после его активации. Это серьезный прорыв, так как основная проблема существующих смарт-контрактов на Solidity заключается в их неизменяемости, даже в случае обнаружения ошибки. С новой архитектурой у разработчиков появится возможность изменять контракты при условии достижения консенсуса.
Среди других важных особенностей Simplicity можно отметить:
Одними из основных преимуществ Simplicity, по заявлению создателей, является его простота и возможность создавать безопасный, эффективный и функциональный код «умных контрактов».
Simplicity значительно превосходит по функционалу скриптовый язык Биткойна и по возможностям больше напоминает Java или Python. Simplicity также предоставляет возможность изменять код смарт-контракта, после его активации. Это серьезный прорыв, так как основная проблема существующих смарт-контрактов на Solidity заключается в их неизменяемости, даже в случае обнаружения ошибки. С новой архитектурой у разработчиков появится возможность изменять контракты при условии достижения консенсуса.
Среди других важных особенностей Simplicity можно отметить:
- Simplicity является Тьюринг-неполным языком;
- Возможность реализации конечных автоматов;
- Органичение рекурсии, защита от бесконечных циклов;
- Возможность статического анализа кода;
- Поддержка формальной семантики, формальной верификации;
- Интеграция мерклизованных абстрактных синтаксических деревьев (MAST), Simplicity имеет встроенную поддержку MAST;