Semua yang perlu Anda ketahui tentang BitVM

Ditulis oleh Bob Bodily; CEO Pasar Bioniq; Terjemahan: Golden Finance Cryptonaitive

BitVM adalah rollup optimis baru + bukti penipuan + paradigma komputasi Taproot Leaf + Bitcoin Script yang dirancang oleh Robin Linus dari ZeroSync. Pada pagi hari tanggal 9 Oktober, mereka menerbitkan kertas putih yang sangat bagus yang ditinjau oleh Super Testnet dan Sam Parker (artikel tersebut sekarang telah dilihat 1,5 juta kali).

Terlalu panjang untuk dibaca:

1. BitVM bukan obat mujarab untuk memecahkan masalah

2. BitVM tidak sebagus EVM, BitVM lebih lambat, lebih mahal, dan lebih kompleks

3. Manfaat inti BitVM adalah kami segera mendapatkan programabilitas tambahan pada Bitcoin tanpa perlu peningkatan. Tidak diperlukan opcode baru. Tidak diperlukan garpu lunak. Ini siap digunakan sekarang.

Kasus penggunaan potensial sederhana mencakup bagian dari aplikasi terdesentralisasi yang saat ini mengandalkan layanan terpusat (oracle untuk DLC, agregator kontrol kemacetan / coinjoin, peringkat sidechain)

5, BitVM tidak menyelesaikan masalah bridging sidechains yang tidak dapat dipercaya (kontrak mungkin diperlukan — Covenant)

6. Ya, BitVM jelas lebih baik daripada contoh pembayaran bersyarat ZKP 2016 Greg Maxwell

7. BitVM sangat kompleks dan sulit dipahami dan diterapkan. Meningkatkan Bitcoin dengan satu opcode dapat mencapai efek yang sama.

Penggalian teknis

Sekarang mari selami sisi teknisnya. Dalam diskusi saya, saya sebagian besar mengutip orang lain karena itu adalah cara paling aman untuk tetap setia pada apa yang mereka katakan dan menghindari kutipan palsu.

Tujuan BitVM adalah bahwa "setiap fungsi komputasi dapat diverifikasi pada Bitcoin." —Laporan resmi BitVM

Ini berarti bahwa "Bitcoin sekarang Turing-complete seperti rantai lainnya, dan ini tidak memerlukan perubahan apa pun pada Bitcoin." " ——Sam Parker

Ada beberapa batasan (yang akan kita bahas nanti), tetapi pada dasarnya ini berarti bahwa selama Anda:

(1) Ada dana yang cukup untuk membayar perhitungan / bukti off-chain,

(2) Ada bandwidth yang cukup untuk menerima dan mengirim data yang diperlukan (mungkin ratusan megabyte) juga

(3) dapat mengeksekusi jumlah transaksi bitcoin yang diperlukan,

Kemudian Anda dapat menghitung apa pun yang Anda inginkan.

"Satu-satunya hal yang BitVM lakukan adalah memungkinkan kita untuk membagi runtime logis tertentu dari ruang lingkup satu transaksi menjadi beberapa transaksi. Itu saja. " ——Sam Parker

Jadi mungkin butuh waktu lama. Itu bisa sangat mahal. Ini dapat mengambil ratusan transaksi. Tetapi Anda dapat melakukan apa pun yang Anda inginkan.

Sam sendiri menegaskan: "Jadi, ** secara teknis Bitcoin belum menjadi lebih Turing-complete dari sebelumnya, kita hanya bisa mengatakan bahwa itu adalah 'Turing-complete' cukup untuk program apa pun yang mungkin benar-benar ingin kita jalankan." **"

Salah satu manfaat utamanya adalah tidak diperlukan peningkatan. Anda dapat melakukan semua ini sekarang.

Dan jika Anda tidak ingin menggunakannya, Anda juga dapat memilih untuk tidak: "Ini opsional. Jika Anda tidak percaya mengunci bitcoin ke beberapa kontrak pintar Turing-complete (sangat masuk akal), jangan menguncinya ke kontrak pintar Turing-complete. "——Sam Parker

Karena Anda mungkin tunduk pada beberapa batasan komputasi, saya pikir hasil minimum untuk BitVM kemungkinan akan menggantikan layanan "Bitcoin Edge" terpusat yang saat ini digunakan banyak orang.

Misalnya, kita dapat "menyingkirkan semua layanan hosting tepercaya atau semi-tepercaya yang kita butuhkan saat ini." Kontrol kemacetan / agregator coinjoin, kuorum sidechain, dan jenis oracle DLC tertentu dapat berubah dari tepercaya / semi-tepercaya menjadi 100% tidak dapat dipercaya. Ketidakpercayaan Bitcoin hanya sekuat tautan terlemah dalam tautan yang berinteraksi dengan Anda. " - Sam Parker

Sekarang mari kita lihat apa yang Eric Wall katakan tentang ini:

"Saya baru saja membaca buku putih dan semua konsepnya benar untuk saya. Saya memiliki keengganan alami terhadap skenario yang memerlukan transaksi pra-penandatanganan yang sangat besar selama fase pendirian. Saya tidak tahu masalah apa yang mungkin timbul dengan skenario seperti itu. Overhead dan izin adalah dua masalah signifikan.

Untuk saat ini, saya sangat bersemangat untuk melihat hasil apa yang akan dihasilkan oleh eksperimen dunia nyata. Mungkin ada solusi elegan dan halus yang mengatasi kedua keterbatasan skema ini, atau tidak. Mungkin overhead dapat dikelola untuk jenis perhitungan tertentu, seperti bukti tanpa pengetahuan.

Akan menarik jika BitVM memverifikasi bahwa lapisan zkwasm bekerja dengan baik di dalamnya — BitVM akan memenuhi peran lapisan zkwasm yang saya bahas sebelumnya. "

Dia kemudian melanjutkan dengan mengatakan apa yang mungkin merupakan ringkasan BitVM yang paling ringkas:

"BitVM hanya menggambarkan cara validator dapat mencuri margin dari prover berdasarkan hasil perhitungan Turing-complete, tetapi tidak benar-benar menggambarkan arsitektur peg-in / out untuk peserta eksternal, yang mungkin benar."

Ya, BitVM hanya itu.

Adam Back bergabung dengan komentar yang lebih kritis (dengan banyak poin): "Ini keren untuk orang-orang yang menjadi (berlebihan) bersemangat, tetapi itu benar-benar hanya generalisasi dari permainan dua arah – secara eksplisit disebutkan dalam abstrak – jadi ini sedikit seperti contoh Greg Maxwell 2016 tentang implementasi pembayaran bersyarat ZKP. " "

Selain fakta bahwa Adam tidak memperhatikan bagian dari kertas putih, BitVM ini sebenarnya lebih baik daripada contoh ZKP 2016 Greg Maxwell. Mengutip Robin: "Ini benar-benar unggul dalam ZKCP [dibandingkan dengan contoh ZKP 2016 Greg Maxwell], karena dalam ZKCP, prover harus mengetahui solusinya terlebih dahulu." "

Super Testnet, salah satu pengulas untuk artikel tersebut, menawarkan pendapatnya: "Ini mungkin penemuan paling menarik dalam sejarah Bitcoin Script. Tampaknya memecahkan hampir semua masalah dan memberi kita akses ke Covenants, sidechains, dan fitur seperti Liquid atau EVM tanpa fork. Saya tidak sabar untuk merilis demo saya. "

Menanggapi pertanyaan Eric Wall tentang pengaturan skema 1-ke-N, Super Testnet memposting yang berikut: "Ini juga mendukung skema 1-N, mirip dengan rollup. Anda dapat meminta pihak pusat menerima biaya untuk melakukan perhitungan untuk grup. Semua orang dalam kelompok tahu bahwa pihak pusat tidak dapat berbohong, jika tidak, kelompok dapat memperoleh margin yang besar dan membaginya di antara anggota mereka. "

Kelemahan utama BitVM adalah kompleksitas. **Agar BitVM berfungsi, diperlukan banyak pra-penandatanganan.

Rijndael berkomentar: "Tampaknya CTV akan mengurangi pra-tanda tangan. Ini akan menjadi solusi yang bagus untuk membangun dengan Bitcoin saat ini, dan kemudian mencari tahu berapa banyak interaktivitas yang dapat dikurangi dengan CTV, dan apakah ini hal yang baik atau kebutuhan. "

Jika Anda belum tahu, CTV = BIP-119 = Perjanjian Sederhana. Oleh karena itu, jika kita meningkatkan Bitcoin untuk mengaktifkan CTV, BitVM akan jauh lebih baik dan lebih efisien. **

Post Capone menambahkan perspektifnya sendiri ketika membahas kepositifan saat ini dalam ekosistem Bitcoin: "BitVM telah menghasilkan komentar positif bersih dari 8 faksi berbeda dalam Bitcoin, yang biasanya saling merendahkan satu sama lain sampai pada titik kehancuran. Hal besar, bung. Banyak analisis / umpan balik diteruskan dalam waktu singkat, yang sangat keren. Ordinal adalah momen ajaib. Rasanya seperti cukup termotivasi untuk bekerja ekstra. Kita semua berkumpul bersama untuk membuatnya operasional. "

BitVM sangat mirip dengan Lightning Network, dengan setidaknya satu persyaratan multisig 2: 2 di koran.

Dylan LeClair berkomentar: "Koreksi saya jika saya salah: meskipun secara teknis sangat berbeda, ini seperti LN karena ini adalah multisig 2: 2 di mana TX / aplikasi / kontrak dapat dibangun di Bitcoin, tetapi verifikasi dan penyelesaian berlangsung secara on-chain. Seperti yang saya pahami, ini akan memungkinkan peg-in BTC yang tidak dapat dipercaya (?) ）"。

Sam menjawab, "Itu bisa melakukan apa pun yang Anda inginkan, termasuk peg-in yang tidak dapat dipercaya." Dalam hal ini, sangat mirip dengan Jaringan Petir. Saya pikir menjalankan protokol ini di dalam Lightning Channel akan menjadi langkah strategis yang nyata. Saya menduga ada cara untuk menunggangi transaksi Lightning's Justice dengan cara yang sangat sinergis. "

Ada keraguan bahwa BitVM akan dapat mendukung negara global, karena deskripsi dalam artikel ini mirip dengan saluran negara, tetapi Super Testnet menjawab: "Ini mendukung negara global." Pihak A dapat membuktikan kepada Pihak B pernyataan tentang buku besar global (seperti Bitcoin atau sidechains atau bahkan rantai lainnya). "

Secara keseluruhan, BitVM "membuat kontrak Bitcoin lebih ekspresif." Secara khusus, ini memungkinkan fitur yang awalnya kami pikir membutuhkan garpu lunak. Ini mungkin menerapkan sidechains tanpa kepercayaan, tapi itu belum cukup terpecahkan. "——Super Testnet

Rijndale menjawab bahwa kita mungkin masih memerlukan perjanjian untuk menerapkan sidechains tanpa kepercayaan: "BitVM memungkinkan Anda untuk menghabiskan semua jumlah UTXO yang berisi kontrak pintar. Untuk sidechains yang tidak dapat dipercaya, kita harus dapat menghabiskan bagian UTXO yang berisi kontrak pintar. "

Pendapat saya

1. Buku putih lain, putaran podcast lainnya. BitVM sangat menarik, tetapi masih dalam tahap penelitian dan masih banyak pertanyaan yang harus dieksplorasi, jadi berapa banyak masalah yang dapat diselesaikan BitVM masih harus ditentukan.

2. Mungkin ada beberapa kasus penggunaan kunci sederhana untuk mulai memanfaatkan BitVM segera untuk mengurangi asumsi kepercayaan (misalnya oracle DLC).

3. Kami membutuhkan berbagai cara berbeda untuk menyediakan lebih banyak programabilitas untuk Bitcoin, jadi saya memuji siapa pun yang bekerja di ruang ini (termasuk BitVM). Saya harap ada banyak pengembang yang menggunakannya untuk membangun demo yang sangat keren yang memecahkan masalah penting orang.