Cardano ламає Біткойн: Смарт-контракти без єдиної зміни

! Достовірний редакційний контент, перевірений провідними експертами галузі та досвідченими редакторами. Реклама. У оголошенні, яке знову піднімає вічну дискусію про те, наскільки далеко Bitcoin може — або повинен — виходити за межі свого первісного призначення, Input Output (IO), дослідницька та інженерна компанія, що стоїть за Cardano, представила компіляційний pipeline, який виконує смарт-контракти Cardano на Bitcoin, не торкаючись жодного рядка коду консенсусу Bitcoin.

«Новий компіляційний конвеєр, що розробляється в Input | Output, бере смарт-контракт Cardano, написаний за допомогою сучасної мови, такої як Python, TypeScript або Scala, і виконує його на Bitcoin, не модифікуючи сам Bitcoin», – написала компанія в X вночі у вівторок, прикріпивши шість постів технічного треду, що детально описували процес.

Bitcoin отримує смарт-контракти Cardano

Тема описує реле представлень, яке починається з високорівневого вихідного коду і закінчується всередині Bitcoin Script. Спочатку інструментальний набір Cardano знижує контракт до Untyped Plutus Core (UPLC), спрощеного функціонального байт-коду. UPLC потім серіалізується і передається мініатюрному інтерпретатору, відомому як машина Control–Environment–Continuation (CEK). Замість того, щоб просити Bitcoin інтерпретувати UPLC безпосередньо, IO компілює саму машину CEK у RISC-V, "реальний, простий набір інструкцій ЦПУ". Отримана програма RISC-V стає корисним навантаженням, яке в кінцевому підсумку перевіряє Bitcoin, з серіалізованим UPLC, переданим йому під час виконання.

Суміжне читання: Конфлікт Cardano: Хоскінсон захищає IOG на фоні невдоволення китів. Співпровідна стаття, підписана програмістом Рейлі Кілґором, описує дизайн в одному реченні: "Поєднуючи серіалізований формат смарт-контрактів (Untyped Plutus Core – UPLC), розумну архітектуру інтерпретатора (CEK machine) та широко підтримувану архітектуру зменшеного набору інструкцій (RISC‑V), IO втілює цю ідею в реальність." Оскільки код RISC‑V є детермінованим, а його трасу виконання можна довести або оскаржити в межах Bitcoin Script, м'яке оновлення не потрібне. Bitcoin залишається незмінним; виразність передається допоміжному віртуальному процесору, поведінка якого може бути оскаржена крок за кроком.

Безпековим якорем для цих викликів є BitVMX, нащадок пропозиції Робіна Лінуса 2023 року про "суперечливі обчислення" на Bitcoin. Заява прес-служби IO називає BitVMX "інноваційним, мінімізованим за довірою протоколом", який "працює за моделлю 1 з n чесних операторів" і дозволяє розробникам "платити комісії за транзакції в BTC безпосередньо зі свого улюбленого гаманця." BitVMX успадковує оптимістичний стиль roll-up BitVM — виконання поза ланцюгом, докази шахрайства в ланцюзі — але замінює спеціалізовані схеми BitVM на повноцінне ядро RISC-V, що дозволяє використовувати немодифіковані двійкові файли, скомпільовані стандартними інструментами.

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

Пов'язане читання: Cardano під вогнем: аудит IOG на 600 мільйонів доларів запланований на серпень, говорить Хоскінсон. Для пуристів Біткойна цей крок є і знайомим, і суперечливим. Taproot у 2021 році розширив Script за допомогою підписів Шнорра та витрат ключових шляхів, давши мережі перший смак складної логіки смарт-контрактів, тоді як BitVM у 2023 році показав, що довільні обчислення можуть бути перевірені, а не виконані вузлами Біткойна. Конвеєр IO просуває ці ідеї далі, але робить це так, що базовий рівень залишається незмінним — критерій дизайну, який автори BitVM назвали непереговорним для соціального контракту Біткойна.

Процес компіляції все ще активно розвивається; IO не зобов'язався до дати запуску основної мережі, а також не опублікував бенчмарки витрат на газ для типових контрактів. Те, що вони зробили, – це продемонструвати теоретично повний міст між двома філософськи різними блокчейнами. Якщо інженерні перешкоди — розміри транзакцій, затримка в спорах та проблеми з користувацьким досвідом — можуть бути подолані, програмний стек Cardano може незабаром стати першим класом на Bitcoin.

Станом на момент публікації, ADA торгувався за $0.87.

ADA зупинився нижче 0.236 Фіб, графік за 1 тиждень | Джерело: ADAUSDT на TradingView.comЗображення, створене за допомогою DALL.E, графік з TradingView.com ! Редакційний процес для bitcoinist зосереджений на наданні ретельно дослідженого, точного та неупередженого контенту. Ми дотримуємося суворих стандартів джерел, і кожна сторінка проходить ретельний перегляд нашою командою провідних технологічних експертів та досвідчених редакторів. Цей процес забезпечує цілісність, актуальність та цінність нашого контенту для наших читачів.