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

Разработчик Blockstream Рассел О’Коннор опубликовал white paper Simplicity – нового языка программирования, созданного в качестве альтернативы уже существующим языкам. Предполагается, что Simplicity в будущем может быть имплементирован в протокол биткоина через механизм софтфорка.

Согласно информации в блоге компании, Simplicity создан на алгоритме последовательного вычисления и предлагает несколько важных улучшений. Главное такое улучшение —  расширение возможностей языка.

«Одной из проблем Bitcoin Script – языка программирования биткоина – является то, что еще на самом раннем этапе были отключены некоторые опкоды. Например, в Bitcoin Script можно лишь складывать числа, но нельзя их перемножать», — говорится в описании Simplicity.

Следующая особенность заключается в повышенном уровне безопасности — Simplicity является Тьюринг-неполным языком, что обеспечивает ограничение рекурсивного вызова, защиту от бесконечных циклов и позволяет проводить статический анализ кода. Также в Simplicity имеет встроенную поддержку мерклизованных абстрактных синтаксических деревьев (MAST).

Все это в совокупности позволяет создавать более безопасный, эффективный и функциональный код смарт-контрактов.

Более детальный анализ Simplicity ожидается в ближайшее время.