Blockstream анонсировала запуск Simplicity, нового языка смарт-контрактов для сети Liquid, сосредоточив внимание на формальной верификации и безопасности.
Запуск языка Simplicity
В пресс-релизе от 31 июля 2023 года компания Blockstream объявила о развертывании языка Simplicity на Liquid Network, своей федеративной сайдчейне для Bitcoin, в которой зафиксировано более 3.2 миллиарда долларов. Этот запуск завершает двенадцатилетние исследования, основанные на первых концепциях математика Blockstream, доктора Рассела О'Коннора.
Преимущества Simplicity по сравнению с другими системами
В отличие от смарт-контрактов Ethereum, контракты Simplicity подлежат математической верификации перед выполнением, что позволяет избежать уязвимостей, присущих гибким решениям. Blockstream подчеркивает, что использование структуры UTXO Bitcoin позволяет избежать атаки повторного входа и коррупции состояния.
Будущие возможности и стратегии развития
Blockstream планирует расширить доступность Simplicity через SimplicityHL, уровень абстракции более высокого уровня, который упростит создание приложений для разработчиков. Начальные случаи использования языков включают программируемые хранилища и децентрализованные биржи без состояний.
Запуск языка Simplicity представляет собой важный шаг в развитии смарт-контрактов на Bitcoin, обеспечивая варианты для надежного применения в институциональных рамках.
