Простота дебютирует как ответ Биткоин на прочность Эфириума

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.

Источник: cryptohamster.org