BitVM memindahkan komputasi terbatas ke luar rantai dan membawa bukti kecurangan yang telah disiapkan ke Bitcoin; ini bukan mesin virtual serbaguna yang berjalan langsung di Bitcoin Script.
BitVM awal menjelaskan hubungan dua pihak antara prover dan verifier. Prover menjalankan program di luar rantai dan berkomitmen pada jejak eksekusinya, sedangkan verifier hanya turun tangan ketika menyatakan hasilnya salah. [1]
BitVM2 memverifikasi SNARK dengan scripts yang dipecah menjadi subprogram lebih kecil. Jalur optimistis tidak menuliskan seluruh komputasi secara onchain; saat terjadi sengketa, siapa pun dapat menjadi challenger dan menggugat pernyataan tidak sah melalui protokol yang dipersingkat. [2]
BitVM Bridge bertujuan memindahkan BTC ke lapisan kedua dengan lebih aman: saat setup, asumsi mayoritas jujur dikurangi menjadi setidaknya satu peserta jujur, dan siapa pun, bukan hanya verifier yang ditetapkan sebelumnya, dapat menggugat bukti tidak sah. [2]
Permissionless challenge bukan berarti tanpa kepercayaan. Untuk liveness, jembatan masih memerlukan setidaknya satu operator rasional yang aktif; jika semuanya gagal, dana dapat terjebak, dan protokol konkret juga bergantung pada setup, ketersediaan data, insentif, serta graf transaksi yang benar. [3]
Implementasi resmi BitVM Bridge menyatakan dirinya bukan untuk produksi dan secara tegas memperingatkan agar tidak digunakan dalam produksi. Repositori tersebut adalah prototipe verifier SNARK dan jembatan, bukan jaminan teraudit atas transfer BTC yang aman. [4]
Permissionless challenge tidak menghapus biaya operasional. Protokol memakai scripts besar, bukti yang dipecah, agunan, tenggat, dan biaya; ketidakaktifan atau penyensoran dapat merusak liveness walaupun penyerang tidak mampu menghasilkan bukti yang sah. [3]
BitVM tidak mengubah Bitcoin Script menjadi mesin virtual biasa bagi program onchain sembarang. Konstruksi ini dirancang tanpa perubahan konsensus: sifat umumnya berasal dari komputasi offchain, komitmen, timelocks, dan sengketa yang ditandatangani sebelumnya serta dapat ditegakkan Bitcoin. [5]
Nama BitVM mencakup beberapa rancangan berbeda yang terus berkembang: BitVM1, BitVM2, dan protokol jembatan tertentu tidak memiliki peran maupun asumsi yang sama. Sebelum digunakan, periksa versi persis, graf transaksi, setup, jumlah operator, jalur challenge, dan jalan keluar darurat. [4]
Untuk gambaran yang lebih utuh, baca entri ini bersama Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01Apakah BitVM menjalankan program langsung di Bitcoin?+
Tidak. Program dihitung di luar rantai; Bitcoin menjadi hakim atas sengketa yang telah disiapkan mengenai komitmen kriptografis dan satu langkah kecil dalam bukti.
02Apakah BitVM merupakan trustless bridge yang sudah selesai?+
Tidak. BitVM2 mengurangi beberapa asumsi kepercayaan dan mengizinkan permissionless challenge, tetapi jembatan konkret tetap bergantung pada setup, operator, liveness, dan implementasi nonproduksi.