Penulis: Haotian, Pengamat Crypto Sumber: X (Twitter) @tmel0211
Buku putih "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 menjalankan 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_code dapat memberikan programabilitas "kompleks" jaringan Bitcoin, sehingga jaringan Bitcoin dapat menghitung semuanya secara Turing-complete?
Tunggu, mari kita berhenti bermimpi dan menjelajahi jalur ide BitVM. Bagaimana ruang skrip melakukan pemrograman yang kompleks? Apa yang dimaksud dengan ide Optimism Rollup? Bukti PenipuanApa itu Metode Pembuktian? Apa hambatan untuk implementasi BitVM? Selanjutnya, mari kita bawa Anda untuk menganalisis kerangka logis umumnya selangkah demi selangkah, sehingga semua orang dapat memahaminya secara umum.
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 instruksi kondisional biaya UTXO 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 akar tunggang 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 minimum 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 superposisi alamat taproot yang tidak terbatas hanya akan meningkatkan konsumsi biaya, secara teoritis dimungkinkan untuk mencapai semuanya 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 komitmen Bit yang disebutkan dalam buku putih, apa itu Logic Gate? Karena satu ruang akar tunggang dan logika kode yang dapat dieksekusi terbatas, bukankah ide Rollup untuk menjalankan program kompleks di luar rantai dan hanya menempatkan tautan verifikasi kunci pada rantai?
Bukti Penipuan dapat dipahami dengan cara ini, Prover dan verifier keduanya pertama-tama mengkompilasi sirkuit biner besar, jaringan Bitcoin mengeksekusi sirkuit, ada premis bahwa Prover harus menandatangani dan menjaminkan aset Bitcoin tertentu, jika Verifier memverifikasi bahwa Prover jahat, ia dapat mengirim transaksi ke rantai dengan cara yang sama untuk memicu kondisi buka kunci UTXO dari "program" taptree on-chain, jika berhasil. Verifier dapat kehilangan jaminan Prover, yang merupakan proses bukti penipuan.
Dalam logika ini, tidak sulit untuk memahami mengapa BitVM hanya cocok untuk dua pihak dengan konsensus yang disepakati, yaitu, diagram sirkuit total harus dibagikan sebelum eksekusi, prosedur bukti penipu harus dijalankan dalam masa berlaku, dan aset tertentu harus dijaminkan dan ditandatangani sebelumnya. Jika kedua pihak tidak bekerja sama untuk terlibat 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 untuk implementasi BitVM? **
BitVM saat ini hanya cocok untuk 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 subjek kontrak, dan implementasi N-N membutuhkan desain logika teknis yang lebih kompleks.
BitVM bagaimana menerapkan skrip alamat taproot 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 taproot dapat memprogram ratusan gerbang logika, lebih banyak untuk dikelompokkan
Sejumlah besar alamat digunakan untuk membangun taptree. 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.
BitVM idealnya mendukung skenario terbatas, yang lebih cocok untuk komputasi rantai 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 implementasinya, diketahui bahwa itu akan terbatas pada tahap konsepsi kertas putih dalam jangka pendek, dan aplikasi eksplorasi dan pendaratan skenario aplikasi jangka panjang masih menghadapi tantangan besar. Untuk mengilustrasikan dengan contoh yang sangat populer: BitVM seperti membangun superkomputer yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan terminal seluler.
Catatan: Interpretasi di atas hanya berlaku untuk memahami kerangka teknis umum BitVM, sehingga setiap orang dapat memahami logika teknis di baliknya, metode praktik khusus mungkin bias, jika ada master teknis yang memiliki penelitian detail teknis yang mendalam.
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.
Akankah BitVM dapat merevolusi kemampuan kontrak pintar Bitcoin?
Penulis: Haotian, Pengamat Crypto Sumber: X (Twitter) @tmel0211
Buku putih "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 menjalankan 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_code dapat memberikan programabilitas "kompleks" jaringan Bitcoin, sehingga jaringan Bitcoin dapat menghitung semuanya secara Turing-complete?
Tunggu, mari kita berhenti bermimpi dan menjelajahi jalur ide BitVM. Bagaimana ruang skrip melakukan pemrograman yang kompleks? Apa yang dimaksud dengan ide Optimism Rollup? Bukti PenipuanApa itu Metode Pembuktian? Apa hambatan untuk implementasi BitVM? Selanjutnya, mari kita bawa Anda untuk menganalisis kerangka logis umumnya selangkah demi selangkah, sehingga semua orang dapat memahaminya secara umum.
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 instruksi kondisional biaya UTXO 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 akar tunggang 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 minimum 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 superposisi alamat taproot yang tidak terbatas hanya akan meningkatkan konsumsi biaya, secara teoritis dimungkinkan untuk mencapai semuanya 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 komitmen Bit yang disebutkan dalam buku putih, apa itu Logic Gate? Karena satu ruang akar tunggang dan logika kode yang dapat dieksekusi terbatas, bukankah ide Rollup untuk menjalankan program kompleks di luar rantai dan hanya menempatkan tautan verifikasi kunci pada rantai?
Bukti Penipuan dapat dipahami dengan cara ini, Prover dan verifier keduanya pertama-tama mengkompilasi sirkuit biner besar, jaringan Bitcoin mengeksekusi sirkuit, ada premis bahwa Prover harus menandatangani dan menjaminkan aset Bitcoin tertentu, jika Verifier memverifikasi bahwa Prover jahat, ia dapat mengirim transaksi ke rantai dengan cara yang sama untuk memicu kondisi buka kunci UTXO dari "program" taptree on-chain, jika berhasil. Verifier dapat kehilangan jaminan Prover, yang merupakan proses bukti penipuan.
Dalam logika ini, tidak sulit untuk memahami mengapa BitVM hanya cocok untuk dua pihak dengan konsensus yang disepakati, yaitu, diagram sirkuit total harus dibagikan sebelum eksekusi, prosedur bukti penipu harus dijalankan dalam masa berlaku, dan aset tertentu harus dijaminkan dan ditandatangani sebelumnya. Jika kedua pihak tidak bekerja sama untuk terlibat 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 untuk implementasi BitVM? **
BitVM saat ini hanya cocok untuk 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 subjek kontrak, dan implementasi N-N membutuhkan desain logika teknis yang lebih kompleks.
BitVM bagaimana menerapkan skrip alamat taproot 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 taproot dapat memprogram ratusan gerbang logika, lebih banyak untuk dikelompokkan
Sejumlah besar alamat digunakan untuk membangun taptree. 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.
Secara umum, BitVM adalah ide yang membuka otak dan sangat kreatif, tetapi menurut kerangka teknis implementasinya, diketahui bahwa itu akan terbatas pada tahap konsepsi kertas putih dalam jangka pendek, dan aplikasi eksplorasi dan pendaratan skenario aplikasi jangka panjang masih menghadapi tantangan besar. Untuk mengilustrasikan dengan contoh yang sangat populer: BitVM seperti membangun superkomputer yang lebih besar dari ruangan di era ketika semua orang dapat menggunakan terminal seluler.
Catatan: Interpretasi di atas hanya berlaku untuk memahami kerangka teknis umum BitVM, sehingga setiap orang dapat memahami logika teknis di baliknya, metode praktik khusus mungkin bias, jika ada master teknis yang memiliki penelitian detail teknis yang mendalam.