Bitcoin BitVM: Apakah itu sebenarnya?

Pencapaian Bitcoin tidak sering berlaku. Tetapi apabila ia berlaku, ia selalunya kompleks dan sukar difahami pada mulanya. BitVM tidak terkecuali.

Pembangunan baharu yang muncul pada Oktober 2023 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 Scriptnya.

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

Walaupun kelengkapan Turing 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 hasil kerja pelajarnya, dan saintis komputer Inggeris yang 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 yang melihat kesederhanaan Bitcoin sebagai ciri penentu dan bukannya kekurangan atau pepijat.

Pencipta Bitcoin yang misteri, Satoshi Nakamoto, mengehadkan fungsi pengaturcaraan Bitcoin setahun selepas melancarkan protokol.

Anda mungkin tertanya-tanya mengapa? Semuanya berpunca daripada keselamatan. Semakin ringkas sesuatu sistem, semakin kurang perkara yang boleh berlaku salah dengannya.

Sebagai contoh, mari kita bandingkan kereta mewah dengan semua ciri-ciri canggih dengan basikal biasa.

Sudah tentu, kereta mewah menawarkan banyak fungsi yang tidak terdapat pada basikal, 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 gagal 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 memberi kesan kepada rangkaian Bitcoin semasa, tetapi ia adalah masalah besar bagi projek lain yang menawarkan fungsi yang lebih kompleks.

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

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

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

Komputer menggunakan sesuatu yang dipanggil get logik untuk melaksanakan program.

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

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

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

Kini, di sinilah semua ini berkaitan dengan BitVM. Orang di sebalik BitVM menemui cara untuk mewakili get logik NAND pada Bitcoin menggunakan bahasa Script sedia ada.

Implikasi ini adalah mendalam atas dua sebab:

• Ia membenarkan kontrak pintar Turing-complete Bitcoin.
• Tidak perlu melaksanakan perubahan perisian yang boleh mengganggu rangkaian Bitcoin. Orang ramai boleh mula menggunakan model BitVM dengan serta-merta.

Selain itu, blockchain Bitcoin hanya mengesahkan jenis pengiraan kompleks ini secara on-chain. Pelaksanaan berlaku secara off-chain. 

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: "prover" dan "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 pihak menandatangani 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 didepositkan ke dalam kontrak pintar setelah ia diaktifkan.

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

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

ZeroSync ialah organisasi bukan untung yang berpangkalan di Zug, Switzerland. Ia terutamanya menumpukan pada peningkatan skalabiliti dan privasi Bitcoin dengan membangunkan penyelesaian bukti sifar pengetahuan (ZKP).

BitVM memperkenalkan sistem untuk melaksanakan pengiraan kompleks secara off-chain, menyediakan sistem akauntabiliti yang teguh untuk kedua-dua pihak yang terlibat dan boleh dilaksanakan tanpa memerlukan peningkatan perisian.

Pembangunan ini juga meletakkan asas untuk rollup gaya Optimistic pada Bitcoin. Proses ini akan melibatkan pengumpulan dan pemprosesan transaksi BTC secara off-chain dan penyerahan bukti secara on-chain. Semua transaksi off-chain akan dianggap sah, sebagai sebahagian daripada pendekatan optimistik. Hanya apabila terdapat pertikaian, transaksi dilaksanakan secara on-chain 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 pencapaian 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 diperhatikan bahawa walaupun BitVM menawarkan banyak faedah yang menjanjikan, ia tidak tanpa kekurangannya.

Kedua-dua Linus dan penyumbang lain yang terlibat telah menerima model ini masih di peringkat awal, dan jauh daripada penyelesaian yang sempurna. 

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

• Dalam keadaan semasa, BitVM hanyalah model dua pihak. Batasan ini bermakna ia tidak dapat menyokong aplikasi terdesentralisasi berskala besar dengan pelbagai pihak yang berurus niaga.
• Pengesahan on-chain masih boleh menyumbat blockchain Bitcoin.
• Pengiraan off-chain kemungkinan besar akan melibatkan jumlah data yang besar.

Adakah anda rasa BitVM akan mengubah masa depan protokol Bitcoin?

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