Blockstream представляет Simplicity: новый язык смарт-контрактов для Bitcoin с акцентом на безопасность и предсказуемость

Blockstream запускает Simplicity, облегченный язык смарт-контрактов для Bitcoin

Компания Blockstream, занимающаяся инфраструктурой Bitcoin, ставит перед собой цель сделать то, что не удалось другим: внедрить работающие смарт-контракты в сеть Bitcoin.

В четверг Blockstream, канадская компания, разрабатывающая технологии для децентрализованных финансов, представила Simplicity, язык программирования смарт-контрактов для своей сайдчейна Liquid. Цель заключается в том, чтобы привнести функциональность, подобную Ethereum, в Bitcoin, без избыточности и рисков для безопасности.

Смарт-контракты давно были недостающим элементом блокчейна Bitcoin. В то время как Ethereum и другие блокчейны предлагают программируемые функции, Bitcoin сопротивлялся аналогичному расширению как по техническим, так и по идеологическим причинам.

По словам Энди Пелстры, главы исследований в Blockstream, Simplicity — это попытка компании преодолеть этот разрыв. Поддерживая более сложные смарт-контракты на нативном уровне, Пелстра утверждает, что Simplicity позволит создавать различные финансовые инструменты, такие как хранилища, делегированное управление и пороговые подписи, прямо в протокол Bitcoin.

«Поскольку доминирование Bitcoin продолжает расти, становится все более очевидным, что он будет служить самым безопасным цифровым хранилищем ценности в мире», — сказал Пелстра в интервью Decrypt. «Этот подход расширяет полезность Bitcoin за рамки простого хранения ценности, позиционируя его как программируемую платформу для финансовой инфраструктуры.»

Согласно Бобу Бодили, соучредителю проекта Bitcoin Ordinals Odin.fun, хотя разработчики и пытались внедрить смарт-контракты и децентрализованные финансы в сеть Bitcoin, его базовый слой никогда не был создан для сложной логики, необходимой для смарт-контрактов, и именно здесь начинаются технические ограничения.

«Поскольку на Bitcoin L1 в терминах смарт-контрактов у вас есть только Bitcoin script, это очень ограничено. Это не язык программирования с полным покрытием Тьюринга», — сказал Бодили в интервью Decrypt. «У вас много недостающих команд (OP кодов) или других вещей, которые могут понадобиться в других, более выразительных системах. Из-за этого вы не можете сделать все, что хотите на Bitcoin L1.»

Blockstream заявила, что Simplicity избегает функций, которые привели к ошибкам и взломам на других платформах. Она нацелилась на Solidity — язык, на котором основаны смарт-контракты Ethereum, — за то, что позволяет такие вещи, как рекурсия, бесконечные циклы и глобальное состояние, которые делают код более мощным, но также более рискованным и трудным для предсказания.

Убирая эти факторы, Simplicity утверждает, что обеспечивает более безопасное, предсказуемое и ресурсосберегающее выполнение, предотвращая бесконечные вычисления и ограничивая контракты самодостаточной, поддающейся аудиту и явно определенной логикой.

Хотя это может ограничить возможности разработчиков, Blockstream утверждает, что это стоит того.

«Возможность математически доказать, как контракт будет вести себя до запуска в цепочке, устраняет целые классы ошибок, распространенных в децентрализованных финансах (DeFi), которые до настоящего времени удерживали крупные учреждения от значимого участия в экосистеме», — сказал Пелстра.

Симпlicity, предложение которой было сделано в 2012 году, построена для системы UTXO Bitcoin. UTXO (Unspent Transaction Output) — это способ, которым Bitcoin отслеживает, кто что владеет. В отличие от системы на основе аккаунтов Ethereum, Bitcoin рассматривает каждую транзакцию как использование старых монет и создание новых.

Simplicity пытается обойти эти ограничения, работая на сетевом протоколе второго уровня от Blockstream, который поддерживает более быстрые и приватные транзакции.

Simplicity не работает непосредственно на Bitcoin, а на федеративном сайдчейне, управляемом Liquid Federation. Это означает, что это не полностью открытая, безразрешительная сеть, как Bitcoin или Ethereum. Бодили отметил, что такая настройка может вызывать беспокойство по поводу цензуры, централизации и того, получит ли она широкое распространение со временем.

«Вы сталкиваетесь с проблемами централизации и цензуры, и миллион компромиссов — не только на техническом уровне, но и в юридических, программируемых, скоростных и управленческих аспектах», — сказал он. «Все пробуют разные подходы, делают компромиссы, ищут применение Bitcoin, которое подходит тому, что люди хотят делать.»

На данный момент Simplicity работает на Liquid, но ее долгосрочный потенциал заключается в том, как и если она в конечном итоге доберется до блокчейна первого уровня Bitcoin.

«Если будет принят в Bitcoin в будущем, Simplicity может позиционировать Bitcoin как программируемый слой расчетов для всех уровней институциональных финансов, не жертвуя основными принципами Bitcoin», — сказал Пелстра.