Карданоская хитрость: смарт-контракты Биткоина без единого изменения!

В неожиданном повороте вечное обсуждение ограничений Биткойна возобновилось, когда компания Input Output, стоящая за Cardano, представила конвейер, который исполняет смарт-контракты Cardano на Bitcoin без изменения ни одной строки кода Bitcoin! 🤯💥

🌟 Готов к космическому приключению с дозой сарказма?
CryptoMoon покажет, как Луна превращается в арену для крипто-комедии!

Присоединиться в Telegram

Биткойн получает смарт-контракты Кардано

В данной теме описывается процесс трансляции представлений от высокоуровневого исходного кода до Bitcoin Script. Сначала инструментарий Cardano преобразует контракт в нетипизированный Plutus Core (UPLC), упрощённый функциональный байткод. UPLC затем сериализуется и передаётся на миниатюрную интерпретирующую машину, известную как машина Control–Environment–Continuation (CEK). Вместо того чтобы просить Bitcoin напрямую интерпретировать UPLC, IO компилирует саму CEK-машину в RIISC-V – это реальный, простой набор инструкций для CPU. Получившееся программу на языке RIISC-V становится полезной нагрузкой, которую верифицирует Bitcoin, при этом сериализованный UPLC передаётся ей во время выполнения.

Блогпост компаньона, подписанный программным инженером Райли Килгором, описывает дизайн одним предложением: «Объединяя сериализованный формат смарт-контрактов (Untyped Plutus Core – UPLC), интеллектуальную архитектуру интерпретатора (CEK машина) и широко поддерживаемую архитектуру набора команд с сокращенным набором инструкций (RISC-V), IO воплощает эту идею в жизнь». Поскольку код RISC-V детерминирован и его выполнение можно проверить — или оспорить — внутри Bitcoin Script, не требуется софтфорка. Биткойн остается неизменным; выразительность перемещается на вспомогательный виртуальный CPU, поведение которого может быть проверено шаг за шагом.

Анкор безопасности для этих вызовов — это BitVMX, потомок предложения Robin Linus о «спорных вычислениях» на Bitcoin от 2023 года. Пресс-служба IO назвала BitVMX «инновационным протоколом с минимизированным доверием», который работает по модели честного оператора «один из n» и позволяет разработчикам напрямую оплачивать комиссии за транзакции в BTC из предпочитаемого ими кошелька.

Обещание состоит в том, чтобы внедрить экосистему смарт-контрактов Cardano на базе eUTxO — Marlowe, Aiken и других — в обширный пул ликвидности Биткойна. На практике это может означать кредитование, обмен и даже кредиты под залог NFT, обеспеченные залогом BTC, без предоставления контроля над активами сайдчейну.

Для пуристов Биткойна это решение кажется знакомым, но спорным. Taproot в 2021 году расширил Script с использованием подписей Шнорра и расходов на основе ключей, дав сети первый опыт сложной логики смарт-контрактов, тогда как BitVM в 2023 году показал возможность проверки произвольных вычислений без их выполнения узлами Биткойна. Трубопровод IO продвигает эти идеи дальше, однако делает это таким образом, что базовый слой остается неизменным — критерий дизайна, который авторы BitVM назвали непреложным для социального контракта Биткойн. ️

Процесс компиляции всё ещё находится в активной разработке; IO не объявила дату запуска основной сети и не опубликовала бенчмарки затрат на газ для типичных контрактов. Однако, было продемонстрировано теоретически полное мостовое соединение между двумя принципиально различными блокчейнами. Если инженерные проблемы — размеры транзакций, задержка споров и трения с пользовательским опытом — могут быть преодолены, программный стек Cardano вскоре может стать полноправным гражданином Bitcoin.

На момент публикации статьи ADA торговалась по цене в $0.87.

Смотрите также

2025-07-23 19:18