Sebuah kertas putih berjudul "BitVM: Compute Anything On Bitcoin" telah memicu diskusi panas di antara para pengembang, yang tampaknya berarti bahwa jaringan Bitcoin mengimplementasikan kontrak Turing-complete yang dapat mengeksekusi fungsi komputasi apa pun?
Ini berarti bahwa jaringan Bitcoin dapat mereplikasi semua narasi Ethereum dan ekosistem lainnya? Dan tidak perlu mengubah konsensus Bitcoin yang ada, atau bahkan peningkatan apa pun, hanya mengandalkan basis Bitcoin saat ini op_code dapat memberikan programabilitas "kompleks" jaringan Bitcoin, sehingga jaringan Bitcoin dapat Turing-menyelesaikan perhitungan semuanya?
Tunggu, mari kita berhenti bermimpi dan menjelajahi jalur ide BitVM. Bagaimana ruang skrip melakukan pemrograman yang kompleks? Apa yang dimaksud dengan ide Optimism Rollup? Fraud ProofApa itu Prinsip Fraud Proof? Apa hambatan untuk implementasi BitVM? ** Selanjutnya, mari kita bawa Anda untuk menganalisis kerangka logis umum langkah demi langkah, sehingga semua orang dapat memahaminya secara umum. (Tapi saya tidak memikirkan detail implementasi teknis tertentu)
Bagaimana cara menerapkan fitur kompleks yang dapat diprogram?
Karena kemampuan pemrograman Bitcoin sangat terbatas, hanya mendukung logika sederhana dan opcode terbatas pada skrip skrip, tidak mungkin untuk mengembangkan kontrak pintar yang kompleks di jaringan Bitcoin. Poin inti dari proposal BitVM adalah bahwa berbagai instruksi program yang mirip dengan sirkuit biner diimplementasikan melalui matriks alamat taproot atau taptree, yang setara dengan menyelesaikan eksekusi kontrak. **
Secara khusus, kita dapat memperlakukan UTXO menghabiskan instruksi kondisional di setiap skrip skrip sebagai unit terkecil dari program, eksekusi skrip tidak lebih dari dua hasil benar dan salah, jika Anda memasukkan kode tertentu di alamat taproot bisa mendapatkan deterministik 0 atau 1, jika sejumlah besar alamat taproot ke dalam matriks dapat membentuk taptree yang dipesan, dan hasil eksekusi memiliki sejumlah besar efek teks sirkuit biner seperti 011001, Ini dapat dianggap sebagai program biner yang dapat dieksekusi. Kompleksitas program tergantung pada jumlah alamat taproot gabungan, semakin banyak alamat, semakin kaya instruksi preset untuk setiap skrip di bawah lingkup kerangka Bitcoin, semakin kompleks program yang dapat dijalankan oleh seluruh taptree. Maker Sense, bukan?
Itu cukup besar. Namun, menurut logika ini, instruksi unit terkecil memang diselesaikan oleh simpul penuh Bitcoin, dan alamat akar tunggang ditumpangkan tanpa batas, dan kemungkinan kombinasi tak terbatas dapat melapiskan banyak perhitungan rumit. Di satu sisi, tidak berlebihan untuk mengatakan bahwa itu adalah mesin Turing-complete. Tetapi hamparan alamat akar tunggang yang tak terbatas hanya akan meningkatkan konsumsi biaya, dan secara teoritis semuanya dapat dicapai di Turing, tetapi itu tidak praktis.
Oleh karena itu, kelengkapan Turing yang disebutkan dalam buku putih hanyalah pernyataan yang sangat ideal, sedikit "konsep mencuri", bahkan apa yang disebut superkomputer Ethereum tidak dapat sepenuhnya mencapai Turing-complete, apalagi jaringan Bitcoin yang hanya mengandalkan skrip?
Analisis beberapa konsep kompleks
Berdasarkan pemahaman kerangka inti di atas, lihat Optimism Rollup dan Fraud Proof dan Bit Commitment yang disebutkan dalam buku putih, apa itu Logic Gate? Karena satu ruang akar tunggang dan logika kode yang dapat dieksekusi terbatas, bukankah itu ide rollup untuk menjalankan program kompleks di luar rantai dan hanya menempatkan tautan verifikasi kunci pada rantai?
Dan Bukti Penipuan dapat dipahami dengan cara ini, Prover dan verifier pertama-tama mengkompilasi sirkuit biner besar, jaringan Bitcoin saat mengeksekusi sirkuit, ada premis bahwa Prover untuk menandatangani dan menjaminkan aset Bitcoin tertentu, jika Verifier memverifikasi bahwa Prover jahat, ia dapat mengirim transaksi ke rantai untuk memicu kondisi buka kunci UTXO dari "program" taptree on-chain, jika berhasil, verifier Aset yang dijamin Prover dapat disita, yang setara dengan proses bukti penipuan.
Dalam logika ini, tidak sulit untuk memahami mengapa BitVM hanya cocok untuk dua pihak dengan konsensus yang disepakati, yaitu, diagram sirkuit umum harus dibagikan sebelum eksekusi, prosedur sertifikasi penipu harus dijalankan dalam masa berlaku, dan aset tertentu harus dijaminkan dan ditandatangani sebelumnya. **Jika kedua pihak tidak bekerja sama dalam serangkaian konsensus off-chain yang disepakati, sulit untuk mempromosikan eksekusi "kontrak" nyata dengan hanya mengandalkan lingkungan eksekusi on-chain terbatas dari jaringan Bitcoin. **
**Apa hambatan pendaratan BitVM? **
**1) BitVM saat ini hanya cocok untuk mengimplementasikan operasi on-chain antara dua pihak yang menyetujui konsensus, dan lingkungan on-chain hanyalah proses pelaksanaan kontrak yang terbuka dan transparan. Saat ini, hanya dapat diimplementasikan antara dua badan kontrak, dan implementasi N-N membutuhkan desain logika teknis yang lebih kompleks.
**2) BitVM bagaimana menerapkan skrip alamat akar tunggang tunggal untuk mengimplementasikan unit pemrograman minimum, tidak dapat melebihi kerangka logika eksekusi Bitcoin ** seperti hashlock, timelock, tidak dapat melebihi kondisi penyimpanan terbatas, kasus optimis Alamat akar tunggang dapat memprogram ratusan gerbang logika, lebih banyak lagi harus menggabungkan sejumlah besar alamat untuk konstruksi pohon tunggang. Masalahnya adalah bahwa eksekusi kondisi buka kunci preset dari alamat taproot memerlukan biaya penambang, dan semakin banyak kombinasi alamat, semakin besar biayanya. Di masa depan, teknologi saluran dua arah dari Jaringan Petir dapat mengurangi biaya, tetapi secara umum, mengandalkan jaringan Bitcoin untuk menjalankan sirkuit gerbang logika tidak hanya lambat, tetapi juga mahal untuk dipikirkan.
**3) BitVM idealnya mendukung skenario terbatas, yang lebih cocok untuk komputasi off-chain berat, dan hanya beberapa konsensus dan transfer aset yang perlu bergantung pada skenario on-chain, seperti pembuangan aset game;
Secara umum, BitVM adalah ide yang membuka otak dan sangat kreatif, tetapi menurut kerangka teknis implementasi pendaratannya, diketahui bahwa itu akan terbatas pada tahap konsepsi kertas putih dalam jangka pendek, dan eksplorasi skenario aplikasi jangka panjang dan aplikasi pendaratan masih menghadapi tantangan besar. Untuk mengilustrasikan dengan contoh yang sangat populer: **BitVM seperti membangun komputer raksasa yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan terminal seluler. **
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Bisakah jaringan Bitcoin mencapai Turing-complete? Apa hambatan untuk implementasi BitVM?
Awalnya ditulis oleh Haotian
Sebuah kertas putih berjudul "BitVM: Compute Anything On Bitcoin" telah memicu diskusi panas di antara para pengembang, yang tampaknya berarti bahwa jaringan Bitcoin mengimplementasikan kontrak Turing-complete yang dapat mengeksekusi fungsi komputasi apa pun?
Ini berarti bahwa jaringan Bitcoin dapat mereplikasi semua narasi Ethereum dan ekosistem lainnya? Dan tidak perlu mengubah konsensus Bitcoin yang ada, atau bahkan peningkatan apa pun, hanya mengandalkan basis Bitcoin saat ini op_code dapat memberikan programabilitas "kompleks" jaringan Bitcoin, sehingga jaringan Bitcoin dapat Turing-menyelesaikan perhitungan semuanya?
Tunggu, mari kita berhenti bermimpi dan menjelajahi jalur ide BitVM. Bagaimana ruang skrip melakukan pemrograman yang kompleks? Apa yang dimaksud dengan ide Optimism Rollup? Fraud ProofApa itu Prinsip Fraud Proof? Apa hambatan untuk implementasi BitVM? ** Selanjutnya, mari kita bawa Anda untuk menganalisis kerangka logis umum langkah demi langkah, sehingga semua orang dapat memahaminya secara umum. (Tapi saya tidak memikirkan detail implementasi teknis tertentu)
Bagaimana cara menerapkan fitur kompleks yang dapat diprogram?
Karena kemampuan pemrograman Bitcoin sangat terbatas, hanya mendukung logika sederhana dan opcode terbatas pada skrip skrip, tidak mungkin untuk mengembangkan kontrak pintar yang kompleks di jaringan Bitcoin. Poin inti dari proposal BitVM adalah bahwa berbagai instruksi program yang mirip dengan sirkuit biner diimplementasikan melalui matriks alamat taproot atau taptree, yang setara dengan menyelesaikan eksekusi kontrak. **
Secara khusus, kita dapat memperlakukan UTXO menghabiskan instruksi kondisional di setiap skrip skrip sebagai unit terkecil dari program, eksekusi skrip tidak lebih dari dua hasil benar dan salah, jika Anda memasukkan kode tertentu di alamat taproot bisa mendapatkan deterministik 0 atau 1, jika sejumlah besar alamat taproot ke dalam matriks dapat membentuk taptree yang dipesan, dan hasil eksekusi memiliki sejumlah besar efek teks sirkuit biner seperti 011001, Ini dapat dianggap sebagai program biner yang dapat dieksekusi. Kompleksitas program tergantung pada jumlah alamat taproot gabungan, semakin banyak alamat, semakin kaya instruksi preset untuk setiap skrip di bawah lingkup kerangka Bitcoin, semakin kompleks program yang dapat dijalankan oleh seluruh taptree. Maker Sense, bukan?
Itu cukup besar. Namun, menurut logika ini, instruksi unit terkecil memang diselesaikan oleh simpul penuh Bitcoin, dan alamat akar tunggang ditumpangkan tanpa batas, dan kemungkinan kombinasi tak terbatas dapat melapiskan banyak perhitungan rumit. Di satu sisi, tidak berlebihan untuk mengatakan bahwa itu adalah mesin Turing-complete. Tetapi hamparan alamat akar tunggang yang tak terbatas hanya akan meningkatkan konsumsi biaya, dan secara teoritis semuanya dapat dicapai di Turing, tetapi itu tidak praktis.
Oleh karena itu, kelengkapan Turing yang disebutkan dalam buku putih hanyalah pernyataan yang sangat ideal, sedikit "konsep mencuri", bahkan apa yang disebut superkomputer Ethereum tidak dapat sepenuhnya mencapai Turing-complete, apalagi jaringan Bitcoin yang hanya mengandalkan skrip?
Analisis beberapa konsep kompleks
Berdasarkan pemahaman kerangka inti di atas, lihat Optimism Rollup dan Fraud Proof dan Bit Commitment yang disebutkan dalam buku putih, apa itu Logic Gate? Karena satu ruang akar tunggang dan logika kode yang dapat dieksekusi terbatas, bukankah itu ide rollup untuk menjalankan program kompleks di luar rantai dan hanya menempatkan tautan verifikasi kunci pada rantai?
Dan Bukti Penipuan dapat dipahami dengan cara ini, Prover dan verifier pertama-tama mengkompilasi sirkuit biner besar, jaringan Bitcoin saat mengeksekusi sirkuit, ada premis bahwa Prover untuk menandatangani dan menjaminkan aset Bitcoin tertentu, jika Verifier memverifikasi bahwa Prover jahat, ia dapat mengirim transaksi ke rantai untuk memicu kondisi buka kunci UTXO dari "program" taptree on-chain, jika berhasil, verifier Aset yang dijamin Prover dapat disita, yang setara dengan proses bukti penipuan.
Dalam logika ini, tidak sulit untuk memahami mengapa BitVM hanya cocok untuk dua pihak dengan konsensus yang disepakati, yaitu, diagram sirkuit umum harus dibagikan sebelum eksekusi, prosedur sertifikasi penipu harus dijalankan dalam masa berlaku, dan aset tertentu harus dijaminkan dan ditandatangani sebelumnya. **Jika kedua pihak tidak bekerja sama dalam serangkaian konsensus off-chain yang disepakati, sulit untuk mempromosikan eksekusi "kontrak" nyata dengan hanya mengandalkan lingkungan eksekusi on-chain terbatas dari jaringan Bitcoin. **
**Apa hambatan pendaratan BitVM? **
**1) BitVM saat ini hanya cocok untuk mengimplementasikan operasi on-chain antara dua pihak yang menyetujui konsensus, dan lingkungan on-chain hanyalah proses pelaksanaan kontrak yang terbuka dan transparan. Saat ini, hanya dapat diimplementasikan antara dua badan kontrak, dan implementasi N-N membutuhkan desain logika teknis yang lebih kompleks.
**2) BitVM bagaimana menerapkan skrip alamat akar tunggang tunggal untuk mengimplementasikan unit pemrograman minimum, tidak dapat melebihi kerangka logika eksekusi Bitcoin ** seperti hashlock, timelock, tidak dapat melebihi kondisi penyimpanan terbatas, kasus optimis Alamat akar tunggang dapat memprogram ratusan gerbang logika, lebih banyak lagi harus menggabungkan sejumlah besar alamat untuk konstruksi pohon tunggang. Masalahnya adalah bahwa eksekusi kondisi buka kunci preset dari alamat taproot memerlukan biaya penambang, dan semakin banyak kombinasi alamat, semakin besar biayanya. Di masa depan, teknologi saluran dua arah dari Jaringan Petir dapat mengurangi biaya, tetapi secara umum, mengandalkan jaringan Bitcoin untuk menjalankan sirkuit gerbang logika tidak hanya lambat, tetapi juga mahal untuk dipikirkan.
**3) BitVM idealnya mendukung skenario terbatas, yang lebih cocok untuk komputasi off-chain berat, dan hanya beberapa konsensus dan transfer aset yang perlu bergantung pada skenario on-chain, seperti pembuangan aset game;
Secara umum, BitVM adalah ide yang membuka otak dan sangat kreatif, tetapi menurut kerangka teknis implementasi pendaratannya, diketahui bahwa itu akan terbatas pada tahap konsepsi kertas putih dalam jangka pendek, dan eksplorasi skenario aplikasi jangka panjang dan aplikasi pendaratan masih menghadapi tantangan besar. Untuk mengilustrasikan dengan contoh yang sangat populer: **BitVM seperti membangun komputer raksasa yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan terminal seluler. **