Blockstream представляет Simplicity как ответ Биткойна на Solidity от Ethereum

Blockstream, разработчик протокола второго уровня Bitcoin Liquid и возглавляемый биткойн-шифропанком Адамом Баком, запустил Simplicity, новый язык смарт-контрактов, разработанный для Биткойна.

Согласно объявлению в четверг, распространенному среди Cointelegraph, смарт-контракты Simplicity будут интегрированы в Liquid. Компания заявила, что этот шаг знаменует собой шаг вперед в преобразовании Биткойна из безопасного хранилища стоимости в программируемую основу для децентрализованных финансов.

Компания также представила SimplicityHL, более высокоуровневую реализацию языка, которая облегчает разработку с повышенной абстракцией.

Представитель Blockstream сообщил Cointelegraph, что эта версия языка "уже здесь и готова к использованию сегодня", с веб-интегрированной средой разработки также доступной.

Simplicity отличается от языка Solidity Ethereum, во многом из-за различных базовых архитектур двух блокчейнов.

Это проистекает из разных подходов и разных архитектур сетей Ethereum и Bitcoin, с Solidity, разработанным для виртуальной машины Ethereum. Состояние — это согласованный сетью снимок всех балансов счетов и хранимых данных в данном блоке.

Bitcoin использует архитектуру неиспользованных выходов транзакций (UTXO), тогда как сеть Ethereum использует общесетевое состояние. Это различие проявляется в том, как работают смарт-контракты Simplicity, с представителем Blockstream, говорящим, что "не полагаться на глобальное состояние — это большой сдвиг". "Каждый бит состояния, который нужен вашему контракту, должен путешествовать с транзакцией."

Разработчики также не смогут использовать рекурсию или неограниченные циклы, которые, по утверждению Blockstream, не необходимы для ончейн-логики.

Simplicity присоединяется к растущему списку предметно-ориентированных языков программирования смарт-контрактов.

Noir, язык программирования, выпущенный в 2022 году для написания и проверки доказательств с нулевым разглашением (ZK-proofs), был принят в 2023 году разработчиками предстоящего Ethereum второго уровня с приоритетом конфиденциальности Aztec.

Noir стал языком программирования смарт-контрактов, специально созданным для приложений, сохраняющих конфиденциальность, которые глубоко интегрируют ZK-proofs в свою архитектуру.

Другой пример — Leo, язык программирования смарт-контрактов, который также создает системы ZK-proofs с учетом тесно связанного синтаксиса и конфиденциальности.

Vyper от Ethereum — это совместимый с EVM язык, разработанный для уменьшения поверхности атаки, который теперь используется некоторыми ведущими децентрализованными финансовыми (DeFi) протоколами Ethereum.