Mengatasi masalah gas Bitcoin (tanpa fork) | Opini

Setiap platform kontrak pintar memiliki aset biaya bawaan. Misalnya, Ethereum (ETH) memiliki ETH, Solana (SOL) memiliki SOL, tetapi dengan Bitcoin (BTC), bagaimanapun, menjadi agak rumit. Jika Anda menginginkan aplikasi yang ekspresif, biasanya Anda harus mengadopsi ekonomi jaringan kedua.

Ringkasan

• Bitcoin tidak menentukan harga komputasi, hanya ruang blok. Berbeda dengan Ethereum atau Solana, pasar biaya BTC dibangun di sekitar sat/vB untuk penyisipan transaksi, bukan pengukuran eksekusi kontrak pintar.
• Eksekusi dapat dilakukan di luar rantai sementara penyelesaian tetap di Bitcoin. Sistem seperti OpNet menjalankan logika kontrak dalam VM Wasm sambil mengamankan pembayaran dan perubahan status akhir melalui transaksi BTC biasa.
• BTC dapat berfungsi sebagai aset gas tanpa token baru. Dengan menentukan biaya eksekusi dalam satoshi dan menyelesaikan interaksi melalui transaksi Bitcoin, aplikasi menghindari penciptaan ekonomi biaya kedua.

Di Stacks, misalnya, Anda membayar biaya dalam STX. Di lapisan Bitcoin berbasis EVM, Anda mungkin diberitahu bahwa BTC adalah token gas, tetapi biasanya itu adalah representasi asli L2 dengan konvensi seperti EVM (termasuk 18 desimal), dan Anda masih beroperasi di dalam lingkungan L2 tersebut. Sementara itu, Bitcoin sendiri sudah memiliki pasar biaya yang bersih, di mana pengguna menawar ruang blok dalam sat/vB, dan penambang memprioritaskan tarif biaya yang lebih tinggi.

Dengan pemikiran ini, bagaimana jika interaksi kontrak pintar dapat dimulai dan dibayar sebagai transaksi Bitcoin biasa, dengan biaya dalam istilah BTC (tanpa token gas tambahan atau fork) sementara bagian pintar berjalan di tempat lain dan tetap terbukti terkait kembali ke Bitcoin? OpNet berusaha memberikan jawaban

Bitcoin tidak mengukur komputasi (itu masalah)

Pasar biaya Bitcoin sangat baik dalam satu hal: menentukan harga ruang blok. Anda bersaing dalam sat/vB, penambang memilih tarif biaya tertinggi, dan jaringan tetap sederhana serta tahan terhadap serangan. Apa yang tidak dilakukan Bitcoin adalah menjalankan lingkungan eksekusi umum di mana rantai dapat mengukur dan mengenakan biaya untuk komputasi sembarangan. Script Bitcoin sengaja tidak bersifat stateless dan tidak lengkap Turing, secara khusus tidak memiliki loop atau goto, sehingga setiap node dapat memvalidasi script secara prediktif tanpa membuka pintu ke komputasi tak terbatas.

Itulah sebabnya sebagian besar pendekatan kontrak pintar Bitcoin berakhir menempatkan eksekusi di sistem terpisah yang dapat mengukur komputasi dan menjalankan pasar biaya sendiri. Setelah Anda memiliki lapisan eksekusi terpisah itu, biasanya disertai aset biaya terpisah (misalnya, Stacks mengenakan biaya dalam STX).

Ini bukan solusi ideal, dan sistem di mana Anda dapat menjaga pembayaran dalam pasar biaya asli Bitcoin sambil memindahkan eksekusi ke tempat lain akan lebih diinginkan.

Eksekusi bukanlah apa yang dibutuhkan Bitcoin

Setelah Anda menerima bahwa Script Bitcoin sengaja dibatasi (tidak bersifat stateless dan tidak dirancang untuk komputasi tak terbatas), Anda mulai memikirkan bagaimana Bitcoin menyelesaikan hasil dan pembayaran.

Memang, eksekusi dapat dilakukan di mesin virtual khusus yang dibangun untuk menjalankan logika kontrak pintar secara deterministik, sementara Bitcoin tetap menjadi lapisan dasar yang memberi cap waktu, mengurutkan, dan menentukan harga interaksi melalui pasar biaya yang ada. Dalam desain OpNet, logika kontrak dievaluasi oleh VM berbasis Wasm (OP-VM), sementara tumpukan node yang lebih luas secara eksplisit dibangun untuk mengelola dan menjalankan kontrak pintar menggunakan mekanisme transaksi dan UTXO Bitcoin yang ada.

Yang penting, ini tidak dipasangkan dengan aset biaya baru. Bitcoin tidak perlu mengukur komputasi untuk menjadi mata uang gas. Ia perlu menjadi lapisan penyelesaian akhir yang akhirnya dibayar dan diikatkan ke semua.

Tampilan panggilan kontrak yang dibayar BTC

Model interaksi kami mengikuti alur simulasi- kemudian-bayar daripada pola eksekusi kontrak pintar konvensional, dengan langkah eksekusi terakhir dilakukan sebagai transaksi Bitcoin nyata. Pertama, aplikasi Anda memanggil metode kontrak dalam mode simulasi. Permintaan tersebut melalui penyedia ke node OPNet, yang menjalankan kontrak dalam VM-nya dan mengembalikan CallResult (termasuk perkiraan gas/biaya) tanpa menyiarkan apa pun ke Bitcoin.

Jika panggilan tersebut mengubah status, Anda mengambil CallResult tersebut dan mengirimkannya sebagai eksekusi. Pada titik ini, pustaka membangun transaksi Bitcoin, menandatanganinya, dan menyiarkannya ke jaringan Bitcoin. Dua poin penting untuk diingat:

• Biaya penambang bersifat asli Bitcoin. Anda memilih tarif biaya dalam sat/vB, menambahkan biaya prioritas dalam sats jika diinginkan, dan menetapkan batas keras pengeluaran biaya melalui maximumAllowedSatToSpend (parameter ini secara harfiah bernama maximumAllowedSatToSpend).
• Target kontrak diungkapkan sebagai alamat kontrak gaya P2OP. Instansi kontrak menampilkan format alamat p2op-nya, dan transaksi merujuk ke “alamat kontrak p2op” sebagai tujuan kontrak.

Sementara itu, pengukuran komputasi OpNet sendiri tetap ada. Tapi dihargai dalam satoshi (perkiraan GAS SATS, pengembalian dana dalam SATS, dll.), sehingga satuan tersebut tidak pernah bergeser ke ekonomi token terpisah.

Lebih sedikit gesekan, insentif yang lebih bersih

Pengguna tidak lagi harus mengadopsi ekonomi biaya kedua hanya untuk berinteraksi dengan aplikasi. Di Bitcoin, biaya sudah merupakan lelang untuk ruang blok, dihargai per byte dan dibayar ke penambang. Ketika panggilan kontrak hanyalah transaksi Bitcoin, Anda kembali ke dasar yang familiar (dengan biaya sat/vB, churn mempool, dan insentif penambang), tanpa harus mempelajari pasar token gas terpisah.

Selain itu, alatnya mengarah ke alur kerja Bitcoin standar seperti penanganan UTXO, koneksi penyedia, dan bahkan penandatanganan offline/dingin. Kontrak hidup dalam runtime Wasm dan ditulis dalam AssemblyScript, bertujuan untuk ekspresivitas seperti Solidity tanpa berpura-pura bahwa Bitcoin Script tiba-tiba menjadi VM.

Bitcoin sebagai gas, tanpa token kedua

Klaim bahwa BTC tidak dapat berfungsi sebagai gas biasanya didasarkan pada asumsi bahwa lapisan dasar harus mengukur komputasi untuk menentukan harganya. Bitcoin tidak mengukur komputasi; ia mengukur ruang blok dan menyelesaikan nilai.

Solusinya adalah membiarkan mesin virtual menangani eksekusi secara deterministik, lalu mengarahkan setiap interaksi yang mengubah status melalui transaksi Bitcoin standar, di mana biaya diungkapkan dalam istilah yang familiar seperti sat/vB dan dibatasi dalam satoshi. Dalam kasus kami, ini diimplementasikan di tingkat klien melalui parameter seperti feeRate dan maximumAllowedSatToSpend.

Jadi mungkin BTC sebagai gas benar-benar layak. Biaya tetap dalam bentuk BTC dari ujung ke ujung, sementara runtime kontrak tetap berbasis WebAssembly (AssemblyScript → Wasm), yang menjaga ekspresivitas logika tanpa mengubah mata uang biaya.

Frederic Fosco

Frederic Fosco, juga dikenal sebagai Danny Plainview, adalah salah satu pendiri OP_NET dan telah terlibat dalam Bitcoin sejak 2013. Ia meluncurkan OP_NET untuk membuat Bitcoin secara native dapat diprogram, membuka kontrak pintar dan primitif DeFi langsung di layer-1. Fokusnya adalah membangun fungsi on-chain nyata tanpa jembatan, kustodian, wrapping, atau Bitcoin sintetis, menjaga self-custody dan desentralisasi sebagai hal yang tidak bisa dinegosiasikan.