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

Simplicity - это новый язык криптовалюты, который обещает дальнейшее совершенствование существующих языков криптовалюты, улучшить безопасность и помочь с созданием смарт-контрактов.

Рассел О'Коннор из Blockstream представил свой доклад о Simplicity: «[Simplicity] направлена ​​на улучшение существующих криптовалютных языков, таких как биткойн-скрипт и EVM Ethereum, избегая при этом некоторых проблем, с которыми они сталкиваются. Simplicity поставляется с формальной денотационной семантикой, определенной в Coq, популярном помощнике по защите программного обеспечения общего назначения».

Этот язык также привносит оперативную семантику, определенную с помощью абстрактной машины, называемой Bit Machine. Этот инструмент используется для измерения вычислительных ресурсов, необходимых для запуска программ на Simplicity.

Как отметил О'Коннор, основными целями проекта Simplicity являются:

1) Создание языка, который предоставляет пользователям инструменты, необходимые для создания новых программ и интеллектуальных контрактов.

2) Включение статистического анализа, который предоставляет полезные верхние границы для требуемого количества вычислений.

3) Минимизирование требования к пропускной способности и хранилищу и улучшение конфиденциальности.

4) Предоставление формальной семантики, которая облегчит разработку программ.

Язык не имеет структуры и именных переменных. Он не имеет типов функций (что означает отсутствие функций более высокого порядка), как и неограниченных циклов или рекурсий. Simplicity разработан как язык низкого уровня, интерпретируемый программным обеспечением блокчейн.