Bitcoin BitVM: Apa sebenarnya itu?

Penemuan Bitcoin tidak kerap berlaku. Tetapi apabila ia berlaku, ia sering kali rumit dan sukar difahami pada mulanya. BitVM tidak terkecuali.

Pembangunan baharu yang muncul pada Oktober 2023 ini membuka keupayaan Bitcoin untuk mengesahkan pengiraan kompleks dengan cara yang tidak melibatkan sebarang pengubahsuaian pada rangkaian. 

Lebih khusus lagi, BitVM menjadikan Bitcoin Turing-complete menggunakan komponen sedia ada bahasa pengaturcaraan Script-nya.

Dengan menjadi Turing-complete, blockchain Bitcoin secara teori boleh digunakan untuk memperluaskan fungsi Bitcoin jauh melangkaui visi “sistem tunai elektronik rakan ke rakan” yang pertama kali dinyatakan dalam kertas putih Bitcoin.

Walaupun Turing completeness mungkin kedengaran seperti sesuatu dari buku panduan Ikigai, ia digunakan untuk menerangkan bahasa pengaturcaraan yang boleh mengira fungsi arbitrari/menyelesaikan sebarang masalah.

Ahli matematik Amerika Alonzo Church pertama kali mencipta istilah itu pada tahun 1930-an, merujuk kepada karya pelajarnya, dan saintis komputer Inggeris terkenal, Alan Turing.

Sebelum BitVM, bahasa pengaturcaraan Script Bitcoin tidak dianggap Turing-complete. Walaupun pelbagai usaha, tiada siapa yang dapat mencari cara untuk menjadikan Bitcoin melakukan semua perkara yang boleh dilakukan oleh komputer moden.

Tetapi penting untuk diperhatikan bahawa ramai melihat kesederhanaan Bitcoin sebagai ciri penentu dan bukannya kekurangan atau pepijat.

Pencipta (atau pencipta) Bitcoin yang misteri, Satoshi Nakamoto, menghadkan kefungsian pengaturcaraan Bitcoin setahun selepas melancarkan protokol itu.

Anda mungkin tertanya-tanya mengapa? Semuanya bermuara kepada keselamatan. Semakin ringkas sesuatu sistem, semakin sedikit perkara yang boleh salah dengannya.

Sebagai contoh, mari bandingkan kereta mewah dengan semua ciri terkemuka dan terbaik dengan basikal biasa.

Sudah tentu, kereta mewah menawarkan banyak fungsi yang tidak dapat anda temui pada basikal itu, tetapi anda lebih cenderung menghadapi masalah teknikal. Basikal tradisional, sebaliknya, mempunyai sangat sedikit bahagian bergerak dan oleh itu, mempunyai lebih sedikit perkara yang berpotensi rosak. Anda tidak mungkin menghadapi masalah lampu papan pemuka, suspensi udara yang rosak atau masalah penukaran lorong automatik pada basikal — kerana ia tidak mempunyai ciri-ciri tersebut pada mulanya.

Dalam contoh ini, Bitcoin adalah seperti basikal. Kesederhanaannya akhirnya mengurangkan bilangan cara ejen berniat jahat boleh mengganggu rangkaiannya. Serangan Distributed Denial of Service (DDoS), sebagai contoh, tidak mempunyai kesan pada rangkaian Bitcoin semasa, tetapi ia adalah masalah besar bagi projek lain yang menawarkan kefungsian yang lebih kompleks.

BitVM memperkenalkan sistem yang menjadikan sebarang pengiraan dapat disahkan pada blockchain Bitcoin, dengan cara yang tidak menjejaskan keselamatannya atau mengubah rangkaian. Pembangunan ini membuka pintu kepada pengiraan kompleks seperti kontrak pintar lengkap Turing, semuanya diproses di luar rantai untuk mengurangkan kesesakan pada blockchain Bitcoin.

Secara ringkasnya, ia seperti mengetahui kalkulator poket anda boleh menyokong permainan video MMORPG menggunakan komponen sedia ada dengan cara yang tidak menjejaskan prestasinya.

Untuk memahami bagaimana BitVM mencapai semua ini, mari kita mulakan dari awal. 

Komputer menggunakan sesuatu yang dipanggil gerbang logik untuk melaksanakan program.

Ia kedengaran rumit, tetapi gerbang logik hanya mengambil satu atau lebih input binari (0's dan 1's), menjalankan pengiraan kecil berdasarkan jenis gerbang logik tersebut dan mengeluarkan satu output.

Telefon pintar, tablet atau komputer riba anda kemungkinan besar akan mengandungi ratusan ribu, jika tidak berjuta-juta, jenis gerbang logik yang berbeza.

Kini, terdapat satu jenis gerbang logik khas yang dipanggil gerbang "NAND". Gerbang NAND dikenali sebagai gerbang logik universal kerana ia boleh digunakan untuk mencipta sebarang jenis fungsi gerbang logik lain. Ia seperti Ditto Pokémon dalam dunia gerbang logik.

Sekarang, inilah di mana semua ini berkaitan dengan BitVM. Orang di sebalik BitVM menemui cara untuk mewakili gerbang logik NAND pada Bitcoin menggunakan bahasa Script sedia ada.

Implikasi ini adalah mendalam atas dua sebab:

• Ia membolehkan kontrak pintar Bitcoin lengkap Turing.
• Tidak ada keperluan untuk melaksanakan perubahan perisian yang boleh mengganggu rangkaian Bitcoin. Orang ramai boleh mula menggunakan model BitVM serta-merta.

Tambahan pula, blockchain Bitcoin hanya mengesahkan jenis pengiraan kompleks ini pada rantai. Pelaksanaan berlaku di luar rantai. 

Dalam erti kata lain, sebahagian besar kerja dilakukan di tempat lain, bukan pada blockchain Bitcoin itu sendiri. Ini mengelakkan tekanan yang tidak perlu pada rangkaian Bitcoin yang boleh mengakibatkan yuran tinggi atau masa pemprosesan yang lebih perlahan.

BitVM pada masa ini terhad kepada dua pihak sahaja: seorang "prover" dan seorang "verifier."

Katakan dua pihak ingin berurus niaga bersama melalui kontrak pintar menggunakan blockchain Bitcoin.

Satu pihak (prover) menegaskan bahawa kontrak pintar berfungsi seperti yang diiklankan tanpa perlu menjalankannya secara langsung pada blockchain Bitcoin.

Pihak kedua (verifier) perlu mempunyai jaminan tertentu bahawa kontrak pintar berfungsi seperti yang didakwa. Kedua-dua mereka menandatangani bersama beberapa transaksi yang memberikan hak kepada verifier untuk mencabar sebahagian daripada kontrak pintar, dan prover untuk bertindak balas.

Jika mana-mana pihak cuba menipu pihak lain, atau gagal bekerjasama, pihak yang jujur berhak menerima sebarang dana yang disimpan dalam kontrak pintar setelah ia diaktifkan.

Sekiranya berlaku pertikaian, syarat-syarat tertentu program kontrak pintar boleh dilaksanakan pada rantai untuk membuktikan sama ada aktiviti penipuan telah berlaku.

Robin Linus, penyumbang utama ZeroSync, menerbitkan kertas putih BitVM pada 9 Oktober 2023.

ZeroSync ialah sebuah pertubuhan bukan untung yang berpangkalan di Zug, Switzerland. Ia terutamanya memberi tumpuan kepada peningkatan kebolehskalaan dan privasi Bitcoin dengan membangunkan penyelesaian bukti sifar pengetahuan (ZKP).

BitVM memperkenalkan sistem untuk melaksanakan pengiraan kompleks di luar rantaian, menyediakan sistem akauntabiliti yang teguh untuk kedua-dua pihak yang terlibat dan boleh dilaksanakan tanpa memerlukan naik taraf perisian.

Pembangunan ini juga menjadi asas kepada rollup gaya Optimistic pada Bitcoin. Proses ini akan melibatkan pengumpulan dan pemprosesan transaksi BTC di luar rantaian dan penyerahan bukti di dalam rantaian. Semua transaksi luar rantaian akan dianggap sah, sebagai sebahagian daripada pendekatan optimistik. Hanya apabila terdapat pertikaian, transaksi akan dilaksanakan di dalam rantaian untuk mengesahkan kesahihannya.

Rollup seperti ini boleh meningkatkan daya pemprosesan transaksi Bitcoin dengan ketara, sama seperti rollup Optimistic yang digunakan oleh protokol seperti Optimism (OP), meningkatkan keupayaan pemprosesan Ethereum.

BitVM mewakili satu kejayaan penting untuk Bitcoin atas pelbagai sebab.

Dari sudut teknikal, ia membuka potensi rangkaian untuk mengesahkan sebarang jenis pengiraan kompleks, walaupun dalam tetapan dua pihak yang terhad buat masa ini.

Kemajuan ini juga boleh membawa kepada aplikasi baharu dan faedah skalabiliti untuk Bitcoin pada masa hadapan.

Tetapi mungkin yang paling penting, BitVM menyerlahkan bahawa fungsi Bitcoin tidak pernah dihadkan oleh protokolnya, tetapi oleh imaginasi penggunanya.

Penting untuk ambil perhatian bahawa walaupun BitVM menawarkan banyak manfaat yang menjanjikan, ia tidak datang tanpa kekurangan.

Linus dan penyumbang lain yang terlibat telah menerima bahawa model ini masih di peringkat awal, dan jauh daripada penyelesaian yang lengkap. 

Berikut adalah beberapa batasan BitVM yang masih diusahakan oleh pasukan untuk diatasi:

• Dalam keadaannya sekarang, BitVM hanya model dua orang. Batasan ini bermakna ia tidak dapat menyokong aplikasi terdesentralisasi berskala besar dengan pelbagai pihak yang bertransaksi.
• Pengesahan dalam rantaian masih boleh menyekat blockchain Bitcoin.
• Pengiraan luar rantaian kemungkinan besar akan melibatkan sejumlah besar data.

Adakah anda rasa BitVM akan mengubah masa depan protokol Bitcoin?

Semak panduan Pusat Pembelajaran Kraken kami untuk maklumat lanjut tentang Cara membeli Bitcoin (BTC) dan daftar untuk akaun dengan Kraken hari ini.