!
Доверенное редакционное содержание, проверенное ведущими экспертами в отрасли и опытными редакторами. Раскрытие рекламы
В объявлении, которое возобновляет вечные споры о том, насколько далеко Биткойн может или должен выходить за пределы своего первоначального назначения, Input Output (IO), исследовательская и инженерная компания, стоящая за Cardano, представила компиляционный конвейер, который выполняет смарт-контракты Cardano на Биткойне, не затрагивая ни строчки кода консенсуса Биткойна.
«Новая компиляционная система, разрабатываемая Input | Output, берет смарт-контракт Cardano, написанный на современном языке, таком как Python, TypeScript или Scala, и запускает его на Bitcoin без изменения самого Bitcoin», — написала компания в X поздно во вторник, прикрепив шестипостовую техническую нить, в которой подробно описан процесс.
Биткойн получает смарт-контракты Cardano
Данный поток описывает реле представлений, которое начинается с высокоуровневого исходного кода и заканчивается внутри Bitcoin Script. Сначала инструментальная цепочка Cardano снижает контракт до Untyped Plutus Core (UPLC), упрощенного функционального байт-кода. UPLC затем сериализуется и передается миниатюрному интерпретатору, известному как машина Control–Environment–Continuation (CEK). Вместо того чтобы просить Bitcoin интерпретировать UPLC напрямую, IO компилирует саму машину CEK в RISC-V, "реальный, простой набор инструкций CPU". Полученная программа RISC-V становится полезной нагрузкой, которую в конечном итоге проверяет Bitcoin, с сериализованным UPLC, переданным ему во время выполнения.
Связанное чтение: Конфликт Cardano: Хоскинсон защищает IOG на фоне недовольства китовПост в блоге, подписанный инженером-программистом Райли Килгором, описывает дизайн в одном предложении: "Объединив сериализованный формат смарт-контрактов (Untyped Plutus Core – UPLC), умную архитектуру интерпретатора (CEK machine) и широко поддерживаемую архитектуру с уменьшенным набором команд с открытым исходным кодом (RISC-V), IO превращает эту идею в реальность." Поскольку код RISC-V детерминированный и его трассировку выполнения можно доказать — или оспорить — внутри Bitcoin Script, мягкий форк не требуется. Биткойн остается неизменным; выразительность переносится на вспомогательный виртуальный ЦП, поведение которого можно оспаривать шаг за шагом.
Безопасным якорем для этих вызовов является BitVMX, потомок предложения Робина Линуса 2023 года о «оспариваемых вычислениях» на Bitcoin. Заявление пресс-службы IO называет BitVMX «инновационным, минимизирующим доверие протоколом», который «работает по модели 1‑из‑n честных операторов» и позволяет разработчикам «оплачивать транзакционные сборы в BTC напрямую из своего предпочтительного кошелька». BitVMX унаследовал стиль оптимистичного сворачивания BitVM — выполнение вне цепи, доказательства мошенничества в цепи — но заменяет индивидуальные схемы BitVM на полный RISC‑V ядро, позволяя использовать немодифицированные бинарные файлы, скомпилированные стандартными инструментами.
Обещание заключается в том, чтобы перенести экосистему смарт-контрактов Cardano на основе eUTxO — Marlowe, Aiken и другие — в огромный ликвидный пул Bitcoin. На практике это может означать кредитование, свопы и даже кредиты, обеспеченные NFT и залогом BTC, при этом не передавая контроль за хранением на побочную цепочку.
Связанное чтение: Cardano под огнем: аудит IOG на $600 миллионов запланирован на август, говорит Хоскинсон. Для пуристов Биткойна этот шаг и знаком, и спорен. Taproot в 2021 году расширил Script с помощью подписей Шнорра и расходов по ключевым путям, предоставив сети первый опыт сложной логики смарт-контрактов, в то время как BitVM в 2023 году показал, что произвольные вычисления могут быть проверены, а не выполнены узлами Биткойна. Пipeline IO развивает эти идеи дальше, но делает это так, чтобы основной уровень оставался неизменным — критерий дизайна, который авторы BitVM назвали непреложным для социального контракта Биткойна.
Компиляционный процесс все еще находится в активной разработке; IO не объявила дату запуска основной сети и не опубликовала эталоны затрат на газ для типичных контрактов. Тем не менее, она продемонстрировала теоретически полный мост между двумя философски различными блокчейнами. Если инженерные трудности — размеры транзакций, задержка споров и трения в пользовательском опыте — могут быть преодолены, программный стек Cardano может вскоре стать полноценным участником на Bitcoin.
На момент публикации ADA торговался по цене $0.87.
ADA застревает ниже 0.236 Фиб, график за 1 неделю | Источник: ADAUSDT на TradingView.comИзображение, созданное с помощью DALL.E, график из TradingView.com
! Редакционный процесс для bitcoinist сосредоточен на предоставлении тщательно исследованного, точного и беспристрастного контента. Мы придерживаемся строгих стандартов источников, и каждая страница проходит тщательную проверку нашей команды ведущих технологических экспертов и опытных редакторов. Этот процесс обеспечивает целостность, актуальность и ценность нашего контента для наших читателей.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Cardano ломает Биткойн: Смарт-контракты без единого изменения
! Доверенное редакционное содержание, проверенное ведущими экспертами в отрасли и опытными редакторами. Раскрытие рекламы В объявлении, которое возобновляет вечные споры о том, насколько далеко Биткойн может или должен выходить за пределы своего первоначального назначения, Input Output (IO), исследовательская и инженерная компания, стоящая за Cardano, представила компиляционный конвейер, который выполняет смарт-контракты Cardano на Биткойне, не затрагивая ни строчки кода консенсуса Биткойна.
«Новая компиляционная система, разрабатываемая Input | Output, берет смарт-контракт Cardano, написанный на современном языке, таком как Python, TypeScript или Scala, и запускает его на Bitcoin без изменения самого Bitcoin», — написала компания в X поздно во вторник, прикрепив шестипостовую техническую нить, в которой подробно описан процесс.
Биткойн получает смарт-контракты Cardano
Данный поток описывает реле представлений, которое начинается с высокоуровневого исходного кода и заканчивается внутри Bitcoin Script. Сначала инструментальная цепочка Cardano снижает контракт до Untyped Plutus Core (UPLC), упрощенного функционального байт-кода. UPLC затем сериализуется и передается миниатюрному интерпретатору, известному как машина Control–Environment–Continuation (CEK). Вместо того чтобы просить Bitcoin интерпретировать UPLC напрямую, IO компилирует саму машину CEK в RISC-V, "реальный, простой набор инструкций CPU". Полученная программа RISC-V становится полезной нагрузкой, которую в конечном итоге проверяет Bitcoin, с сериализованным UPLC, переданным ему во время выполнения.
Связанное чтение: Конфликт Cardano: Хоскинсон защищает IOG на фоне недовольства китовПост в блоге, подписанный инженером-программистом Райли Килгором, описывает дизайн в одном предложении: "Объединив сериализованный формат смарт-контрактов (Untyped Plutus Core – UPLC), умную архитектуру интерпретатора (CEK machine) и широко поддерживаемую архитектуру с уменьшенным набором команд с открытым исходным кодом (RISC-V), IO превращает эту идею в реальность." Поскольку код RISC-V детерминированный и его трассировку выполнения можно доказать — или оспорить — внутри Bitcoin Script, мягкий форк не требуется. Биткойн остается неизменным; выразительность переносится на вспомогательный виртуальный ЦП, поведение которого можно оспаривать шаг за шагом.
Безопасным якорем для этих вызовов является BitVMX, потомок предложения Робина Линуса 2023 года о «оспариваемых вычислениях» на Bitcoin. Заявление пресс-службы IO называет BitVMX «инновационным, минимизирующим доверие протоколом», который «работает по модели 1‑из‑n честных операторов» и позволяет разработчикам «оплачивать транзакционные сборы в BTC напрямую из своего предпочтительного кошелька». BitVMX унаследовал стиль оптимистичного сворачивания BitVM — выполнение вне цепи, доказательства мошенничества в цепи — но заменяет индивидуальные схемы BitVM на полный RISC‑V ядро, позволяя использовать немодифицированные бинарные файлы, скомпилированные стандартными инструментами.
Обещание заключается в том, чтобы перенести экосистему смарт-контрактов Cardano на основе eUTxO — Marlowe, Aiken и другие — в огромный ликвидный пул Bitcoin. На практике это может означать кредитование, свопы и даже кредиты, обеспеченные NFT и залогом BTC, при этом не передавая контроль за хранением на побочную цепочку.
Связанное чтение: Cardano под огнем: аудит IOG на $600 миллионов запланирован на август, говорит Хоскинсон. Для пуристов Биткойна этот шаг и знаком, и спорен. Taproot в 2021 году расширил Script с помощью подписей Шнорра и расходов по ключевым путям, предоставив сети первый опыт сложной логики смарт-контрактов, в то время как BitVM в 2023 году показал, что произвольные вычисления могут быть проверены, а не выполнены узлами Биткойна. Пipeline IO развивает эти идеи дальше, но делает это так, чтобы основной уровень оставался неизменным — критерий дизайна, который авторы BitVM назвали непреложным для социального контракта Биткойна.
Компиляционный процесс все еще находится в активной разработке; IO не объявила дату запуска основной сети и не опубликовала эталоны затрат на газ для типичных контрактов. Тем не менее, она продемонстрировала теоретически полный мост между двумя философски различными блокчейнами. Если инженерные трудности — размеры транзакций, задержка споров и трения в пользовательском опыте — могут быть преодолены, программный стек Cardano может вскоре стать полноценным участником на Bitcoin.
На момент публикации ADA торговался по цене $0.87.