Bagaimana memahami AVM: Mesin virtual Turing-lengkap yang memungkinkan BTC mengimplementasikan mesin keadaan dinamis?

Penulis asli: Haotian

Bagaimana cara memahami white paper mesin virtual AVM yang baru-baru ini dirilis oleh @atomicalsxyz? Secara sederhana: Ini adalah cara untuk mensimulasikan mesin virtual Bitcoin, sehingga jaringan utama Bitcoin yang awalnya tanpa status dapat mewujudkan kemampuan untuk menjalankan sistem kontrak pintar, dan kemudian melengkapi kemampuan perekaman dan pemrosesan status aset yang lebih kompleks selain aset BTC, mirip dengan kontrak pintar lengkap Turing. Berikut ini, bagikan pemahaman saya:

1) Bitcoin awalnya dirancang sebagai sistem uang elektronik peer-to-peer dengan kemampuan penyimpanan data skrip tertentu, beberapa Kode OP dasar, dan serangkaian logika verifikasi aset berdasarkan kunci waktu UTXO dan kondisi pengeluaran.

Oleh karena itu, jaringan Bitcoin dapat mencapai manajemen aset tanpa status saat merekam dan mengirimkan aset BTC. Karena keterbatasan model minimalis UTXO dan aturan konversi status yang telah ditetapkan sebelumnya, model tanpa status ini hanya dapat menangani manajemen terbatas dari satu aset BTC.

Jika Anda mencoba menambahkan aset baru ke jaringan Bitcoin, seperti BRC 20, ARC 20, Rune, dll., Anda akan memerlukan model state machine dinamis yang lebih kompleks untuk mencatat penyimpanan, transaksi, perubahan state, dll. dari aset-aset ini. Bagaimana cara mencapainya?

Salah satu caranya adalah dengan menggunakan protokol eksternal dan solusi lapisan 2 untuk membangun model state machine di luar rantai untuk memperluas pemrosesan. Solusi ekstensi lapisan 2 yang sangat baik saat ini seperti @NervosNetwork @RoochNetwork, dan bahkan solusi Native seperti RGB dan Lightning Network termasuk dalam kategori ini.

Cara lain adalah dengan memperluas fungsionalitas Script secara langsung untuk menambahkan operasi atau ruang penyimpanan baru guna menangani pembuatan dan pemindahan aset yang kompleks. Solusi seperti Covenant dan OP_CAT yang mengandalkan standar proposal BIP untuk dapat disahkan termasuk dalam kategori ini.

Kedua metode di atas terlalu aktif dan sulit mencapai konsensus dalam waktu singkat, atau terlalu pasif dan memiliki ketidakpastian yang besar. Mesin virtual AVM menyediakan solusi pemrosesan khusus yang berada di antara keduanya dan secara langsung membangun lingkungan eksekusi mesin virtual di mainnet Bitcoin.

2) Bagaimana cara melakukannya? Prinsip kerja utama AVM mencakup tiga bagian:

1. Simulasi skrip Bitcoin sebenarnya adalah rangkaian instruksi Bitcoin, yang mencapai kelengkapan Turing melalui PDA (Pushable Storage Automaton) tumpukan ganda;

2. Lingkungan operasi sandbox: seluruh simulator berada dalam lingkungan yang terkendali dan terisolasi, sehingga eksekusi di sandbox tidak mengganggu eksekusi di luar sandbox;

3. Hashing status memungkinkan peserta memverifikasi apakah status pengindeks mereka disinkronkan dengan benar, mencegah serangan potensial karena status yang tidak konsisten.

Sederhananya: AVM secara langsung memanfaatkan ruang penyimpanan BTC yang terbatas saat ini dan kerangka kerja pemrosesan Kode OP dengan memperkenalkan metode penyandian dan dekode khusus (lingkungan kotak pasir) dalam setiap transaksi mainnet BTC.

Sandbox ini dilengkapi dengan pengindeks, parser sandbox (set instruksi), basis data global, dll., dan dapat secara independen menyelesaikan penyimpanan set aset yang lengkap, catatan status transaksi, dan manajemen lainnya. Ini setara dengan membangun mesin status dinamis ke dalam jaringan utama BTC, yang kemudian dapat mewujudkan pemrosesan kontrak pintar yang kompleks serta sinkronisasi dan verifikasi status.

3) Dengan mesin virtual AVM, mainnet Bitcoin secara teoritis dapat memiliki fungsi operasi kontrak pintar dasar, yang memungkinkan Bitcoin untuk mengelola banyak aset yang kompleks dan kemungkinan mendapatkan DApps logika keadaan yang kompleks, yang setara dengan memberi jaringan Bitcoin fungsi ekologis tertentu yang dibangun sendiri.

Ini tentu saja merupakan kemajuan yang luar biasa, setidaknya pada tingkat inovasi perluasan BTC yang sama dengan RGB, Lightning Network, dan berbagai solusi pemrosesan protokol lapis kedua yang luar biasa. Bahkan lebih baik daripada solusi lain dalam hal Native.

Namun, AVM bergantung pada Bitcoin Script untuk penyimpanan kode dan Kode OP untuk eksekusi transaksi, sehingga umumnya dibatasi oleh kinerja jaringan utama BTC, seperti ukuran ruang penyimpanan blok, kecepatan keluaran, dll.

Bayangkan sebuah proyek DeFi yang dibangun di AVM yang hanya dapat memproses 7 transaksi per menit dan perlu menunggu sepuluh menit di antara dua transisi status. Bahkan jika kontrak pintar tersebut secara teoritis lengkap, kontrak tersebut masih terbatas. Selain itu, mengandalkan set instruksi skrip Bitcoin Script untuk mengembangkan fungsi kontrak yang kompleks lebih rumit dan sulit daripada mengembangkan kontrak pintar dalam bahasa seperti Ethereum Solidity.

Selain itu, white paper AVM hanya menjelaskan cara menjalankan mesin virtual bawaan Make Senses. Bagaimana cara penerapannya secara daring di lingkungan aplikasi dan bagaimana cara menjalankannya secara stabil masih belum diketahui.

di atas

Secara umum, saya cenderung melihat pengembangan dan implementasi AVM sebagai eksplorasi yang bermanfaat dan proaktif berdasarkan perluasan skrip mainnet BTC. Skrip ini memang dapat mendorong implementasi beberapa kontrak pintar yang lebih sederhana pada mainnet BTC. Pada saat yang sama, mainnet Bitcoin dapat memainkan peran dan nilai yang lebih besar dalam pembangunan ekosistem lapis kedua dan ekosistem gabungan on-chain dan off-chain seperti BitVM.

Namun, seperti solusi ekspansi BTC lainnya, AVM juga memiliki kelebihan dan kekurangan. AVM juga bergantung pada konstruksi ekologis setelah pendaratan untuk memperluas daya tarik ortodoksinya. Disarankan untuk mempertahankan sikap rasional, hati-hati, dan optimis.

Artikel ini bersumber dari internet: Bagaimana memahami AVM: Mesin virtual Turing-lengkap yang memungkinkan BTC mengimplementasikan mesin keadaan dinamis?

Terkait: Insiden pencurian koin sering terjadi. Apa yang perlu kita ketahui tentang perlindungan aset kripto?

  Bagaimana cara mengidentifikasi alamat dompet palsu? Mengapa dompet dingin masih berisiko diretas? Bagaimana serangan ini terjadi? Orang seperti apa yang menjadi target peretas? Bagaimana cara menghindari masalah seperti itu? Baru-baru ini, Web3 sering mengalami pencurian koin, terutama insiden pencurian 1.155 WBTC yang banyak ditonton, yang telah menarik perhatian publik yang luas. Perlindungan aset terenkripsi juga menjadi fokus perhatian semua orang. Menanggapi insiden ini, PoPP dan OneKey bersama-sama mengadakan Space untuk berbagi dengan komunitas tentang masalah keamanan on-chain, yang penuh dengan informasi praktis dan memberikan pelajaran sains populer bagi pendatang baru yang kurang menyadari pencegahan. Tamu: CTO PoPP: Neo Kepala Eco OneKey: Cavin Host: JY Space ini terutama membahas masalah-masalah berikut: 1. Cara mengidentifikasi…