Введение в Simplicity
Blockstream, разработчик протокола второго уровня Bitcoin Liquid, возглавляемый Адамом Бэком, представил Simplicity — новый язык смарт-контрактов, предназначенный для Bitcoin. В четверг компания опубликовала объявление, в котором сообщила, что смарт-контракты на Simplicity будут интегрированы в Liquid. Этот шаг, по мнению Blockstream, является важным шагом в преобразовании Bitcoin из безопасного хранилища ценности в программируемую платформу для децентрализованных финансов.
Особенности Simplicity
Кроме того, Blockstream представила SimplicityHL — более высокоуровневую реализацию языка, которая упрощает разработку благодаря увеличенной абстракции. Представитель компании сообщил Cointelegraph, что эта версия языка «уже доступна и может быть использована сегодня», также доступна веб-ориентированная интегрированная среда разработки.
Сравнение с Solidity
Подход Simplicity отличается от языка Solidity, используемого в Ethereum, в значительной степени из-за различий в архитектуре двух блокчейнов. Solidity разработан для Ethereum Virtual Machine, в то время как Bitcoin использует архитектуру неиспользованных выходов транзакций (UTXO). Это различие влияет на работу смарт-контрактов Simplicity. Представитель Blockstream отметил, что «не полагаться на глобальное состояние — это значительный сдвиг». «Каждый бит состояния, необходимый вашему контракту, должен перемещаться вместе с транзакцией.»
Преимущества и недостатки
Исследователи Blockstream подчеркнули, что разработчики на Solidity должны будут отказаться от привычки считывать данные из глобально доступных переменных и вместо этого предоставлять всю необходимую информацию на каждом этапе. В такой системе два смарт-контракта не могут делить состояние или ссылаться на одни и те же переменные; все должно быть явно передано в транзакциях.
Однако представители компании объяснили, что этот подход также имеет свои преимущества: «Даже если что-то пойдет не так, только конкретная часть графа транзакций вашего контракта будет затронута. Это другой подход по сравнению с глобальным состоянием, но в конечном итоге он приводит к более безопасным и изолированным контрактам по своей сути.»
Ограничения языка
Разработчики также не смогут использовать рекурсию или неограниченные циклы, которые, по утверждению Blockstream, не нужны для логики на цепочке. Рост языков программирования смарт-контрактов, специфичных для домена, таких как Simplicity, присоединяется к растущему списку языков, созданных для этой цели.
Другие языки программирования смарт-контрактов
Noir, язык программирования, выпущенный в 2022 году для написания и проверки доказательств с нулевым разглашением (ZK-доказательства), был принят в 2023 году разработчиками слоя-2 Ethereum с акцентом на конфиденциальность Aztec. Noir стал языком программирования смарт-контрактов, специально созданным для приложений, сохраняющих конфиденциальность, которые глубоко интегрируют ZK-доказательства в свою архитектуру. Другим примером является Leo, язык программирования смарт-контрактов, который также создает системы ZK-доказательств с тесно связанным синтаксисом и учетом конфиденциальности. Vyper Ethereum — это язык, совместимый с EVM, разработанный для уменьшения поверхности атаки, который теперь используется некоторыми ведущими протоколами децентрализованных финансов (DeFi) Ethereum.
