Вирішення проблеми газу Bitcoin (без форку) | Думка

Кожна платформа для розумних контрактів має вбудований актив для зборів. Наприклад, Ethereum (ETH) має ETH, Solana (SOL) — SOL, але з Bitcoin (BTC) ситуація ускладнюється. Якщо ви хочете створювати виразні додатки, зазвичай доводиться використовувати економіку другого мережевого рівня.

Підсумки

• Bitcoin не оцінює обчислення, лише блоковий простір. На відміну від Ethereum або Solana, ринок зборів BTC базується на sat/vB для включення транзакцій, а не на вимірюванні виконання смарт-контрактів.
• Виконання може відбуватися поза ланцюгом, тоді як розрахунки залишаються у Bitcoin. Системи на кшталт OpNet виконують логіку контрактів у Wasm VM, при цьому фіксуючи платежі та кінцеві зміни стану через звичайні транзакції BTC.
• BTC може функціонувати як актив для газу без створення нового токена. Вартість виконання вираховується у сатоші, а взаємодії фіксуються через транзакції Bitcoin, що дозволяє уникнути створення другої економіки зборів.

Наприклад, на Stacks ви платите збори в STX. На рівнях EVM-стилю для Bitcoin можливо, що BTC вважається газовим токеном, але зазвичай це представлення, яке є нативним для другого рівня з конвенціями, схожими на EVM (включаючи 18 десяткових знаків), і ви все ще працюєте у цьому середовищі другого рівня. Сам Bitcoin вже має чистий ринок зборів, де користувачі роблять ставки за блоковий простір у sat/vB, а майнери пріоритетизують транзакції з вищими ставками.

З цим урахуванням, що якщо б взаємодія з розумним контрактом могла ініціюватися і оплачуватися як звичайна транзакція Bitcoin, з оплатою у BTC (без додаткового газового токена або форку), а розумна частина працювала б у іншому місці і залишалася доказово прив’язаною до Bitcoin? OpNet прагне надати відповідь.

Bitcoin не вимірює обчислення (це проблема)

Ринок зборів Bitcoin чудово справляється з однією задачею: ціноутворенням блокового простору. Ви змагаєтеся у sat/vB, майнери обирають найвищі ставки, а мережа залишається простою та стійкою до атак. Що Bitcoin не робить — це запуск універсального середовища виконання, яке може вимірювати і стягувати плату за будь-яке обчислення. Скрипт Bitcoin навмисно позбавлений стану і не є Тьюріновою повною мовою, зокрема, у ньому відсутні цикли або goto, щоб кожен вузол міг прогнозовано валідовувати скрипти без відкриття дверей для необмеженого обчислення.

Тому більшість підходів до розумних контрактів у Bitcoin зводяться до розміщення виконання на окремій системі, яка може вимірювати обчислення і мати власний ринок зборів. Коли з’являється цей окремий рівень виконання, він зазвичай має свій актив зборів (наприклад, Stacks стягує збори в STX).

Це не ідеально, і бажано мати систему, де платежі залишаються у нативному ринку зборів Bitcoin, а виконання відбувається в іншому місці.

Виконання — не те, що потрібно Bitcoin

Якщо ви приймете, що скрипт Bitcoin навмисно обмежений (без стану і не призначений для необмеженого обчислення), тоді починаєте думати, як зробити так, щоб Bitcoin фіксував результати і платежі.

Насправді, виконання може відбуватися у спеціальній віртуальній машині, створеній для детермінованого запуску логіки розумних контрактів, тоді як Bitcoin залишається базовим рівнем, що ставить часові мітки, впорядковує і ціноутворює взаємодії через існуючий ринок зборів. У дизайні OpNet логіка контрактів оцінюється за допомогою VM, орієнтованої на Wasm (OP-VM), тоді як широка стекова архітектура явно побудована для управління і виконання розумних контрактів із використанням існуючих механізмів транзакцій і UTXO Bitcoin.

Важливо, що це не поєднано з новим активом зборів. Bitcoin не потребує вимірювання обчислень, щоб бути газовою валютою. Його потрібно лише як фінальну розрахункову платформу, яка все зрештою оплачує і до якої прив’язується.

Як виглядає виклик контракту, оплачений у BTC

Модель нашої взаємодії базується на симуляції перед витратою, а не на звичайному виконанні розумних контрактів, з кінцевим кроком у вигляді реальної транзакції Bitcoin. Спочатку додаток викликає метод контракту у режимі симуляції. Запит проходить через провайдера до вузла OPNet, який виконує контракт у VM і повертає CallResult (з оцінками газу/зборів), не транслюючи нічого у Bitcoin.

Якщо виклик змінює стан, ви берете цей CallResult і виконуєте його як транзакцію. На цьому етапі бібліотека створює транзакцію Bitcoin, підписує її і транслює у мережу Bitcoin. Варто пам’ятати про два моменти:

• Майнерські збори — нативні для Bitcoin. Ви обираєте ставку feeRate у sat/vB, можливо додаєте пріоритетний збір у сатах і встановлюєте жорсткий ліміт витрат через maximumAllowedSatToSpend (цей параметр буквально названий maximumAllowedSatToSpend).
• Ціль контракту виражена у форматі P2OP. Інстанція контракту має свій формат адреси p2op, і транзакції посилаються на “p2op контрактну адресу” як ціль контракту.

Між тим, власний вимір обчислень OpNet все ще існує. Але він оцінюється у сатошах (оцінка SATS Gas, повернення у SATS тощо), тому одиниця ніколи не переходить у окрему токенову економіку.

Менше тертя, чистіші стимули

Користувачам більше не потрібно приймати другу економіку зборів для взаємодії з додатками. У Bitcoin збори вже є аукціоном за блоковий простір, ціноутворення за байт і оплата майнерам. Коли виклики контрактів — це просто транзакції Bitcoin, ви повертаєтеся до знайомого середовища (з зборами у sat/vB, навантаженням мемпулу і стимулом майнерів), без необхідності вивчати окремий ринок газових токенів.

Крім того, інструментарій орієнтований на стандартні робочі процеси Bitcoin, такі як обробка UTXO, підключення провайдерів і навіть офлайн/холодне підписання. Контракти живуть у середовищі Wasm і написані на AssemblyScript, прагнучи до виразності, схожої на Solidity, без імітації того, що Bitcoin Script раптом став VM.

Bitcoin як газ, без другого токена

Заява, що BTC не може функціонувати як газ, зазвичай базується на припущенні, що базовий рівень має вимірювати обчислення для ціноутворення. Bitcoin не вимірює обчислення; він вимірює блоковий простір і фіксує цінність.

Рішення полягає у тому, щоб дозволити віртуальній машині обробляти виконання детерміновано, а кожну змінюючу стан взаємодію маршрутизувати через стандартну транзакцію Bitcoin, де збори виражаються у знайомих термінах, таких як sat/vB, і обмежуються у сатошах. У нашому випадку це реалізовано на клієнтському рівні через параметри feeRate і maximumAllowedSatToSpend.

Можливо, BTC як газ справді цілком реалістично. Збори залишаються нативними для BTC від початку до кінця, а середовище виконання контрактів залишається на основі WebAssembly (AssemblyScript → Wasm), що зберігає виразність логіки без зміни валюти зборів.

Фредерік Фоско

Фредерік Фоско, також відомий як Danny Plainview, — співзасновник OP_NET і з 2013 року залучений у Bitcoin. Він запустив OP_NET, щоб зробити Bitcoin нативно програмованим, відкривши розумні контракти та DeFi-пр primitives безпосередньо на рівні-1. Його мета — створювати реальну функціональність у мережі без мостів, кастодіанів, обгортань або синтетичного Bitcoin, зберігаючи самостійне зберігання і децентралізацію як незмінні цінності.