Simplicity: новый язык для криптовалют и блокчейнов
1 ноября 2017 г.

Simplicity - это новый язык криптовалюты, который обещает дальнейшее совершенствование существующих языков криптовалюты, улучшить безопасность и помочь с созданием смарт-контрактов.
Рассел О'Коннор из Blockstream представил свой доклад о Simplicity: «[Simplicity] направлена на улучшение существующих криптовалютных языков, таких как биткойн-скрипт и EVM Ethereum, избегая при этом некоторых проблем, с которыми они сталкиваются. Simplicity поставляется с формальной денотационной семантикой, определенной в Coq, популярном помощнике по защите программного обеспечения общего назначения».
Этот язык также привносит оперативную семантику, определенную с помощью абстрактной машины, называемой Bit Machine. Этот инструмент используется для измерения вычислительных ресурсов, необходимых для запуска программ на Simplicity.
Как отметил О'Коннор, основными целями проекта Simplicity являются:
1) Создание языка, который предоставляет пользователям инструменты, необходимые для создания новых программ и интеллектуальных контрактов.
2) Включение статистического анализа, который предоставляет полезные верхние границы для требуемого количества вычислений.
3) Минимизирование требования к пропускной способности и хранилищу и улучшение конфиденциальности.
4) Предоставление формальной семантики, которая облегчит разработку программ.
Язык не имеет структуры и именных переменных. Он не имеет типов функций (что означает отсутствие функций более высокого порядка), как и неограниченных циклов или рекурсий. Simplicity разработан как язык низкого уровня, интерпретируемый программным обеспечением блокчейн.
Комментарии
Никто ещё не оставил комментариев. Желаете быть первым?