Простота дебютирует как ответ Биткоин на прочность Эфириума
Blockstream, разработчик протокола Bitcoin Layer-2 и возглавляемый Bitcoin Cypherpunk Adam Back, запустил Simplicity, новый язык интеллектуального контракта, предназначенный для Биткоин.
Согласно объявлению в четверг, в котором сообщалось с Cointelegraph, Simplicity Smart Contracts будут интегрированы в Liquid. Компания заявила, что этот шаг отмечает шаг вперед в преобразовании Биткоин (BTC) из безопасного хранилища стоимости в программируемую основу для децентрализованных финансов.
Компания также представила SimplicityHL, более высокого уровня реализации языка, которая облегчает более легкую разработку с увеличением абстракции.
Представитель Blockstream сказал Cointelegraph, что эта версия языка «здесь и используется сегодня», а также доступна интегрированная среда разработки в Интернете.
Содержание:
Другой подход для другой архитектуры
Простота отличается от языка прочности Ethereum, в основном из -за различных базовых архитектур двух блокчейн.
Связанный: Исследователи Starkware предлагают интеллектуальные контракты на биткоин с Collidervm
Это связано с разными подходами и различными архитектурами сетей Ethereum и Bitcoin, с прочностью, разработанной для виртуальной машины Ethereum. Состояние является согласованным снимком сети всех балансов учетных записей и сохраненных данных в данном блоке.
Биткоин использует архитектуру неосновной вывод транзакции (UTXO), тогда как сеть Ethereum использует состояние по всей сети. Эта разница проявляется в том, как работают умные контракты с простоты, и представитель блока, который говорит, что «не полагаться на глобальное состояние, является большим сдвигом». «Каждое государство, которое потребности вашего контракта должны путешествовать с транзакцией».
Исследователи Blockstream сказали, что разработчикам солидности необходимо будет нарушить свою привычку чтения из глобально доступных переменных и вместо этого предоставлять всю необходимую информацию на каждом шаге. В такой системе два смарт -контракта не могут обмениваться состоянием или ссылкой на одни и те же переменные;Все должно быть четко передано в рамках транзакций. Тем не менее, представители фирмы объяснили, что этот подход также оказывает положительное влияние:
«Даже если что -то пойдет не так, затронута только конкретная часть вашего контракта в графике транзакций. Это другое мышление по сравнению с глобальным состоянием, но в конечном итоге это приводит к более безопасным и более содержащим контрактам по дизайну».
Разработчики также не смогут использовать рекурсию или неограниченные петли, которые претензии Blockstream не нужны для логики Onchain.
Связанный: глубокое погружение в пять популярных платформ разработки смарт -контрактов и их сравнение
Рост домена, специфичные для смарт-контрактного программирования.
Simplicity присоединяется к растущему списку языков программирования интеллектуального контракта, специфичных для домена.
Нуар, язык программирования, выпущенный в 2022 году для написания и проверки доказательств с нулевым знанием (ZK-защитниками), был принят в 2023 году разработчиками предстоящего конфиденциальности Athereum Layer-2 Aztec.
Noir стал интеллектуальным языком программирования контракта, специально созданным для приложений, сохраняющих конфиденциальность, которые глубоко интегрируют ZK-защиты в их архитектуру.
Другим примером является Leo, умный язык программирования контракта, который также создает ZK-защищенные системы с учетом тесно связанного синтаксиса и конфиденциальности.
Vyper’s Ethereum-это EVM-совместимый язык, предназначенный для уменьшения поверхности атаки, который в настоящее время используется некоторыми ведущими протоколами Decentralize Finance (DEFI) Ethereum.