zkMIPS sebagai zkVM pertama yang didasarkan pada set instruksi MIPS, dengan menggabungkan ekosistem matang MIPS dan infrastruktur ZKP dari ZKM, sangat mempercepat penerapan zkVM.
Menulis: Stephen D
Jaringan lapis kedua Bitcoin adalah solusi teknologi yang bertujuan untuk meningkatkan kecepatan transaksi Bitcoin. Dengan memindahkan sebagian transaksi dari rantai utama Bitcoin ke lapisan kedua untuk diproses di luar rantai utama, beban rantai utama dapat dikurangi, kecepatan pemrosesan transaksi ditingkatkan, dan biaya transaksi dikurangi. Teknologi jaringan lapis kedua yang umum meliputi Lightning Network, State Channels, dan BitVM2 Bridge yang sangat populer saat ini yang menggabungkan zkRollup.
Kesulitan yang Dihadapi oleh Solusi zkRollup Layer 2 untuk Bitcoin
Keamanan: Keamanan adalah faktor yang paling diperhatikan oleh pemegang Bitcoin. Keamanan memerlukan pertimbangan konsistensi jaringan, aktivitas, dan kemampuan pemulihan diri. Konsistensi, yaitu keamanan konsensus, menentukan ketidakbisaan dicurangi dari seluruh buku besar jaringan, aktivitas menentukan ketersediaan keseluruhan jaringan, kemampuan pemulihan diri menentukan jaringan dapat pulih dengan cepat dari serangan atau anomali. Sebagai zkRollup BTC, untuk mewarisi keamanan BTC, zkRollup perlu dapat sepenuhnya berkomitmen terhadap transaksi lapis kedua, dan komitmen tersebut dapat diverifikasi langsung oleh penambang Bitcoin. Namun, kendala saat ini adalah kesulitan dalam menerapkan Covenant pada skrip BTC. Baru-baru ini muncul beberapa solusi yang menjanjikan, termasuk BitVM2, enkripsi fungsi, dan solusi terbaru ColliderScript, dan seterusnya, pemeliharaan aktivitas dan kemampuan pemulihan diri jaringan lapis kedua itu sendiri. Saat ini, banyak zkRollup menghadapi masalah Sequencer yang terpusat, menyebabkan tingkat sentralisasi yang tinggi dalam rantai Rollup itu sendiri, kurangnya insentif yang cukup untuk melibatkan pemain lain, dan membentuk lingkaran setan.
Programmability: Programmability is the infrastructure of BTCFi. As the largest asset in the blockchain ecosystem by market value, Bitcoin has long been regarded as a store of value tool, but it appears relatively lacking in practical applications and revenue generation. This limitation mainly stems from the scalability of the Bitcoin network and the inherent restrictions of the script language, making it difficult to support complex decentralized finance (DeFi) applications. For Bitcoin holders, in order to generate income from their BTC holdings, traditionally they could only choose to deposit assets in centralized exchanges or use bridging services to convert them into wrapped tokens (such as WBTC). However, these methods introduce additional risks, such as trust risks brought by centralized platforms, which contradict the decentralized nature of Bitcoin. Drawing on the rich protocols and ecosystem of the ETH ecosystem in DeFi, the introduction of EVM becomes very important.
Jaringan GOAT: Jaringan Layer 2 Bitcoin yang kompatibel dengan EVM yang diimplementasikan dengan zkMIPS
GOAT Network adalah protokol tantangan optimis yang aman yang diimplementasikan di lapisan kedua Bitcoin berdasarkan zkMIPS, BitVM2, dan Sequencer terdesentralisasi, dengan 100% kompatibilitas EVM, hanya memerlukan 1-of-n asumsi untuk meningkatkan keamanan jaringan Bitcoin. GOAT Network memiliki beberapa poin penting berikut:
Benar-benar terdesentralisasi: Melalui protokol Sequencer terdesentralisasi tanpa izin yang inovatif, semua pesan lintas rantai — termasuk rollup status peg-in, peg-out, dan layer 2 — dapat mencapai konsensus tentang Bitcoin dan GOAT Network. Ini sepenuhnya menghilangkan ketergantungan pada satu entitas terpusat, memastikan desentralisasi sejati. Pada saat yang sama, inovasi ini secara signifikan menyederhanakan pengaturan kepercayaan protokol BitVM2 sambil memberikan tingkat keamanan yang sama.
Tanpa perlu hard fork, dapat mencapai verifikasi lengkap Bitcoin : Jaringan GOAT menggabungkan Sequencer desentralisasi dan protokol BitVM2, membuat protokol BitVM2 menjadi praktis, dengan langsung memverifikasi bukti melalui skrip Bitcoin, mewarisi keamanan asli Bitcoin. Sebagai infrastruktur peningkatan kapasitas GOAT, zkMIPS tidak hanya dapat mencapai 100% kompatibilitas EVM, tetapi juga dapat secara signifikan mempercepat proses pembuatan dan verifikasi bukti, memberikan kemampuan ekspansi ekosistem yang belum pernah terjadi sebelumnya bagi jaringan GOAT.
Mekanisme Hukuman Ganda untuk Keamanan：Jaringan GOAT menjadi yang pertama dalam jaringan Layer 2 Bitcoin yang memperkenalkan mekanisme "hukuman ganda". Mekanisme ini mengombinasikan mekanisme hukuman asli lapisan verifikasi Bitcoin dengan mekanisme hukuman lapisan konsensus GOAT, efektif mengurangi kemungkinan perilaku tidak jujur dalam protokol GOAT Rollup. Mekanisme ini khususnya ditujukan untuk risiko potensial seperti tanda tangan ganda, pemadaman node, dan serangan pengembalian biaya ilegal oleh node Sequencer, secara menyeluruh meningkatkan keamanan dan keandalan jaringan.
Inovasi teknologi ini menandai era baru desentralisasi untuk jaringan lapisan 2 Bitcoin, menetapkan tolok ukur industri baru untuk masa depan teknologi blockchain.
Dalam penggabungan zkMIPS dengan BitVM2, zkMIPS tidak hanya mengoptimalkan kecepatan bukti Groth16, tetapi juga melakukan banyak optimisasi pada tahap verifikasi, termasuk secara signifikan mengurangi kompleksitas perhitungan Miller Loop pada skrip Bitcoin dengan memanfaatkan teknik Hints, membagi sirkuit Verifier menjadi komitmen, komitmen input publik zkVM yang terkompresi, serta memastikan input publik dan superblock berada dalam cabang yang sama menggunakan Decentralized Sequencer, yang pada tingkat tertentu menyederhanakan kompleksitas proses tantangan optimis BitVM2.
zkMIPS: Mesin Virtual zkVM berbasis set instruksi MIPS pertama
zkMIPS adalah zkVM pertama yang didasarkan pada set instruksi MIPS, yang merupakan set instruksi yang matang, dengan keunggulan sebagai berikut:
Instruksi MIPS32R2 lebih kaya daripada RISCV32IM, di mana seri instruksi J/JAL, panjang lompatan dapat mencapai 256MiB, dalam skenario tautan statis, dapat dengan mudah mewujudkan lompatan. MIPS32r2 memiliki instruksi operasi bit yang kaya, instruksi-instruksi ini tidak ada dalam RISCV32IM, perlu menggunakan ekstensi B, MIPS32r2 memiliki instruksi pilihan kondisi seperti MOVN/MOVZ, dalam banyak skenario dapat menggantikan instruksi lompatan, dapat meningkatkan kinerja, mengurangi jumlah instruksi. MIPS32r2 memiliki instruksi perkalian dan penambahan bilangan bulat, dapat meningkatkan kinerja, mengurangi jumlah instruksi. MIPS32r2 memiliki instruksi ekstensi simbol SEH, SEB, dapat dengan mudah melakukan operasi perluasan simbol pada data tipe char dan short.
Semua arahan dalam MIPS32r2, secara keseluruhan, telah sangat matang dan banyak digunakan selama lebih dari 20 tahun, dan tidak akan ada masalah dengan keterkaitan masing-masing modul; Juga tidak akan ada gejolak yang dapat timbul sebagai akibat dari sengketa hak cipta. Sebagai implementasi ekstensi daripada set instruksi untuk implementasi monolitik, mungkin ada masalah dengan run-in antara ekstensi. Beberapa kombinasi ekstensi mungkin memiliki masalah yang tidak lengkap atau terlalu besar. Manual Instruksi MIPS juga memberikan deskripsi yang lebih jelas dan lebih rinci tentang perilaku perintah. Di blockchain, MIPS telah berhasil diterapkan pada Optimism's Fraud Prof, yang didasarkan pada MIPS VM.
zkMIPS telah dilengkapi dengan fitur lengkap. Pengembang dapat membuktikan penggunaan bahasa tingkat tinggi yang umum seperti Rust, Golang, dll untuk menulis program apa pun. zkMIPS menyediakan serangkaian alat pengembangan yang mudah digunakan, termasuk ZKM Playground, ZKM-Project-Template, dan Jaringan Bukti ZKM, untuk membantu proyek dan pengembang membangun produk ZKP mereka dengan biaya rendah.
zkMIPS membantu pengembang memastikan keamanan logika sirkuit. Pengembang dapat menggunakan bahasa yang paling dikenal untuk menerapkan aplikasi apa pun dan terbebas dari audit sirkuit bukti pengetahuan nol. Berbeda dengan pengembangan ZKP tradisional, zkMIPS mematuhi set instruksi MIPS32r2 dengan ketat, sehingga jika pengembang telah memeriksa logika bisnis aplikasi, tidak perlu lagi memeriksa sirkuit.
ZKM menyediakan jaringan bukti untuk membantu pengembang dan proyek menghasilkan bukti dengan cepat, mendukung perluasan secara horizontal, dan benar-benar dapat menghasilkan bukti secara real-time. Ini memungkinkan pengembang dan proyek untuk membangun aplikasi Web3 terdesentralisasi mereka dengan efisiensi yang sangat tinggi. Selain itu, zkMIPS juga mendukung berbagai skema akselerasi bukti ekstrim seperti Precompiles.
zkMIPS memiliki kasus penggunaan terkemuka dalam industri, mendukung beberapa kasus penggunaan inovatif yang didukung oleh zkVM, termasuk L2 Bitcoin dari Jaringan GOAT dan HybridRollup dari Metis. Dan mendorong adopsi teknologi zkVM secara luas dalam berbagai industri seperti zkLLM, zkIdentity, dan lainnya.
zkMIPS sebagai zkVM pertama yang didasarkan pada set instruksi MIPS, dikombinasikan dengan ekosistem MIPS yang matang, serta infrastruktur ZKP dari ZKM, secara signifikan mempercepat penggunaan zkVM.
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.
zkMIPS Bitcoin lapisan 2 GOAT Network diluncurkan
Menulis: Stephen D
Jaringan lapis kedua Bitcoin adalah solusi teknologi yang bertujuan untuk meningkatkan kecepatan transaksi Bitcoin. Dengan memindahkan sebagian transaksi dari rantai utama Bitcoin ke lapisan kedua untuk diproses di luar rantai utama, beban rantai utama dapat dikurangi, kecepatan pemrosesan transaksi ditingkatkan, dan biaya transaksi dikurangi. Teknologi jaringan lapis kedua yang umum meliputi Lightning Network, State Channels, dan BitVM2 Bridge yang sangat populer saat ini yang menggabungkan zkRollup.
Kesulitan yang Dihadapi oleh Solusi zkRollup Layer 2 untuk Bitcoin
Keamanan: Keamanan adalah faktor yang paling diperhatikan oleh pemegang Bitcoin. Keamanan memerlukan pertimbangan konsistensi jaringan, aktivitas, dan kemampuan pemulihan diri. Konsistensi, yaitu keamanan konsensus, menentukan ketidakbisaan dicurangi dari seluruh buku besar jaringan, aktivitas menentukan ketersediaan keseluruhan jaringan, kemampuan pemulihan diri menentukan jaringan dapat pulih dengan cepat dari serangan atau anomali. Sebagai zkRollup BTC, untuk mewarisi keamanan BTC, zkRollup perlu dapat sepenuhnya berkomitmen terhadap transaksi lapis kedua, dan komitmen tersebut dapat diverifikasi langsung oleh penambang Bitcoin. Namun, kendala saat ini adalah kesulitan dalam menerapkan Covenant pada skrip BTC. Baru-baru ini muncul beberapa solusi yang menjanjikan, termasuk BitVM2, enkripsi fungsi, dan solusi terbaru ColliderScript, dan seterusnya, pemeliharaan aktivitas dan kemampuan pemulihan diri jaringan lapis kedua itu sendiri. Saat ini, banyak zkRollup menghadapi masalah Sequencer yang terpusat, menyebabkan tingkat sentralisasi yang tinggi dalam rantai Rollup itu sendiri, kurangnya insentif yang cukup untuk melibatkan pemain lain, dan membentuk lingkaran setan.
Programmability: Programmability is the infrastructure of BTCFi. As the largest asset in the blockchain ecosystem by market value, Bitcoin has long been regarded as a store of value tool, but it appears relatively lacking in practical applications and revenue generation. This limitation mainly stems from the scalability of the Bitcoin network and the inherent restrictions of the script language, making it difficult to support complex decentralized finance (DeFi) applications. For Bitcoin holders, in order to generate income from their BTC holdings, traditionally they could only choose to deposit assets in centralized exchanges or use bridging services to convert them into wrapped tokens (such as WBTC). However, these methods introduce additional risks, such as trust risks brought by centralized platforms, which contradict the decentralized nature of Bitcoin. Drawing on the rich protocols and ecosystem of the ETH ecosystem in DeFi, the introduction of EVM becomes very important.
Jaringan GOAT: Jaringan Layer 2 Bitcoin yang kompatibel dengan EVM yang diimplementasikan dengan zkMIPS
GOAT Network adalah protokol tantangan optimis yang aman yang diimplementasikan di lapisan kedua Bitcoin berdasarkan zkMIPS, BitVM2, dan Sequencer terdesentralisasi, dengan 100% kompatibilitas EVM, hanya memerlukan 1-of-n asumsi untuk meningkatkan keamanan jaringan Bitcoin. GOAT Network memiliki beberapa poin penting berikut:
Benar-benar terdesentralisasi: Melalui protokol Sequencer terdesentralisasi tanpa izin yang inovatif, semua pesan lintas rantai — termasuk rollup status peg-in, peg-out, dan layer 2 — dapat mencapai konsensus tentang Bitcoin dan GOAT Network. Ini sepenuhnya menghilangkan ketergantungan pada satu entitas terpusat, memastikan desentralisasi sejati. Pada saat yang sama, inovasi ini secara signifikan menyederhanakan pengaturan kepercayaan protokol BitVM2 sambil memberikan tingkat keamanan yang sama.
Tanpa perlu hard fork, dapat mencapai verifikasi lengkap Bitcoin : Jaringan GOAT menggabungkan Sequencer desentralisasi dan protokol BitVM2, membuat protokol BitVM2 menjadi praktis, dengan langsung memverifikasi bukti melalui skrip Bitcoin, mewarisi keamanan asli Bitcoin. Sebagai infrastruktur peningkatan kapasitas GOAT, zkMIPS tidak hanya dapat mencapai 100% kompatibilitas EVM, tetapi juga dapat secara signifikan mempercepat proses pembuatan dan verifikasi bukti, memberikan kemampuan ekspansi ekosistem yang belum pernah terjadi sebelumnya bagi jaringan GOAT.
Mekanisme Hukuman Ganda untuk Keamanan：Jaringan GOAT menjadi yang pertama dalam jaringan Layer 2 Bitcoin yang memperkenalkan mekanisme "hukuman ganda". Mekanisme ini mengombinasikan mekanisme hukuman asli lapisan verifikasi Bitcoin dengan mekanisme hukuman lapisan konsensus GOAT, efektif mengurangi kemungkinan perilaku tidak jujur dalam protokol GOAT Rollup. Mekanisme ini khususnya ditujukan untuk risiko potensial seperti tanda tangan ganda, pemadaman node, dan serangan pengembalian biaya ilegal oleh node Sequencer, secara menyeluruh meningkatkan keamanan dan keandalan jaringan.
Inovasi teknologi ini menandai era baru desentralisasi untuk jaringan lapisan 2 Bitcoin, menetapkan tolok ukur industri baru untuk masa depan teknologi blockchain.
Dalam penggabungan zkMIPS dengan BitVM2, zkMIPS tidak hanya mengoptimalkan kecepatan bukti Groth16, tetapi juga melakukan banyak optimisasi pada tahap verifikasi, termasuk secara signifikan mengurangi kompleksitas perhitungan Miller Loop pada skrip Bitcoin dengan memanfaatkan teknik Hints, membagi sirkuit Verifier menjadi komitmen, komitmen input publik zkVM yang terkompresi, serta memastikan input publik dan superblock berada dalam cabang yang sama menggunakan Decentralized Sequencer, yang pada tingkat tertentu menyederhanakan kompleksitas proses tantangan optimis BitVM2.
zkMIPS: Mesin Virtual zkVM berbasis set instruksi MIPS pertama
zkMIPS adalah zkVM pertama yang didasarkan pada set instruksi MIPS, yang merupakan set instruksi yang matang, dengan keunggulan sebagai berikut:
zkMIPS telah dilengkapi dengan fitur lengkap. Pengembang dapat membuktikan penggunaan bahasa tingkat tinggi yang umum seperti Rust, Golang, dll untuk menulis program apa pun. zkMIPS menyediakan serangkaian alat pengembangan yang mudah digunakan, termasuk ZKM Playground, ZKM-Project-Template, dan Jaringan Bukti ZKM, untuk membantu proyek dan pengembang membangun produk ZKP mereka dengan biaya rendah.
zkMIPS membantu pengembang memastikan keamanan logika sirkuit. Pengembang dapat menggunakan bahasa yang paling dikenal untuk menerapkan aplikasi apa pun dan terbebas dari audit sirkuit bukti pengetahuan nol. Berbeda dengan pengembangan ZKP tradisional, zkMIPS mematuhi set instruksi MIPS32r2 dengan ketat, sehingga jika pengembang telah memeriksa logika bisnis aplikasi, tidak perlu lagi memeriksa sirkuit.
ZKM menyediakan jaringan bukti untuk membantu pengembang dan proyek menghasilkan bukti dengan cepat, mendukung perluasan secara horizontal, dan benar-benar dapat menghasilkan bukti secara real-time. Ini memungkinkan pengembang dan proyek untuk membangun aplikasi Web3 terdesentralisasi mereka dengan efisiensi yang sangat tinggi. Selain itu, zkMIPS juga mendukung berbagai skema akselerasi bukti ekstrim seperti Precompiles.
zkMIPS memiliki kasus penggunaan terkemuka dalam industri, mendukung beberapa kasus penggunaan inovatif yang didukung oleh zkVM, termasuk L2 Bitcoin dari Jaringan GOAT dan HybridRollup dari Metis. Dan mendorong adopsi teknologi zkVM secara luas dalam berbagai industri seperti zkLLM, zkIdentity, dan lainnya.
zkMIPS sebagai zkVM pertama yang didasarkan pada set instruksi MIPS, dikombinasikan dengan ekosistem MIPS yang matang, serta infrastruktur ZKP dari ZKM, secara signifikan mempercepat penggunaan zkVM.