Компания Input Output (IO), занимающаяся исследованиями и разработками Cardano, представила конвейер компиляции, который выполняет смарт-контракты Cardano на Bitcoin без изменения кода консенсуса Bitcoin. Это заявление вновь разжигает давние дебаты о том, насколько далеко может — или должен — Bitcoin выйти за пределы своего первоначального назначения.
🔍 Как это работает?
Компания IO описывает процесс в шести постах технической ветки, прикреплённой к сообщению в X. Конвейер компиляции начинается с высокоуровневого исходного кода и заканчивается внутри Bitcoin Script.
1. Инструменты Cardano преобразуют контракт в Untyped Plutus Core (UPLC) — упрощённый функциональный байт-код.
2. UPLC затем сериализуется и передаётся миниатюрному интерпретатору, известному как машина Control–Environment–Continuation (CEK).
3. Вместо того чтобы просить Bitcoin интерпретировать UPLC напрямую, IO компилирует саму машину CEK в RISC-V — простой набор инструкций реального мира для центрального процессора.
4. Полученная программа RISC-V становится полезной нагрузкой, которую Bitcoin в конечном итоге проверяет, а сериализованный UPLC передаётся ей во время выполнения.
📜 Комментарий разработчика
В сопроводительном сообщении в блоге, подписанном инженером-программистом Райли Килгором, дизайн описывается одним предложением: «Сочетая сериализованный формат смарт-контрактов (Untyped Plutus Core — UPLC), продуманную архитектуру интерпретатора (машина CEK) и широко поддерживаемую архитектуру с сокращённым набором инструкций с открытым исходным кодом (RISC-V), IO воплощает эту идею в реальность».
Поскольку код RISC-V является детерминированным, а его трассировку выполнения можно доказать или оспорить внутри Bitcoin Script, мягкая вилка не требуется. Bitcoin остаётся неизменным; выразительность передаётся вспомогательному виртуальному процессору, поведение которого можно проверять шаг за шагом.
BitVMX: инновационный протокол
Anchor безопасности для этих задач — BitVMX, потомок предложения Робина Линуса о «спорных вычислениях» в Bitcoin в 2023 году. В заявлении пресс-службы IO BitVMX назван «инновационным протоколом с минимальными требованиями к доверию», который «работает по модели честного оператора 1 из n» и позволяет разработчикам «оплачивать комиссию за транзакции в BTC напрямую из предпочитаемого кошелька».
BitVMX наследует стиль оптимистического объединения BitVM — выполнение вне сети, доказательства мошенничества в сети — но заменяет специальные схемы BitVM полным ядром RISC-V, позволяя компилировать неизменённые двоичные файлы стандартными инструментами.
Перспектива заключается в том, чтобы включить экосистему смарт-контрактов Cardano на основе eUTxO — Marlowe, Aiken и другие — в обширный пул ликвидности Bitcoin. На практике это может означать кредитование, свопы и даже кредиты, обеспеченные NFT и залогом в BTC, без передачи кастодиального контроля сайдчейну.
Для пуристов Bitcoin этот шаг одновременно знаком и спорен. Taproot в 2021 году расширил Script подписями Шнорра и расходами по ключевым путям, дав сети первый опыт работы со сложной логикой смарт-контрактов, а BitVM в 2023 году показал, что произвольные вычисления могут быть проверены, а не выполнены узлами Bitcoin. Конвейер IO продвигает эти идеи дальше, но при этом сохраняет базовый уровень неизменным — критерий проектирования, который авторы BitVM назвали непреложным для социального контракта Bitcoin.
Конвейер компиляции всё ещё находится в стадии активной разработки; IO не назвала дату запуска в основной сети и не опубликовала контрольные показатели затрат на газ для типичных контрактов. Однако компания продемонстрировала теоретически полный мост между двумя философски расходящимися блокчейнами. Если инженерные препятствия — размеры транзакций, задержка споров и неудобства для пользователей — удастся преодолеть, программный стек Cardano может вскоре стать первоклассным на Bitcoin.
На момент публикации ADA торговалась по цене $0,87.
Не является инвестиционной рекомендацией.