"ZK Lacak Berbagi Proyek Aktif". 🙌 Saya telah memikirkan apa yang harus ditulis untuk waktu yang lama, dan teman-teman saya yang mengenal saya tahu bahwa saya selalu tertarik pada zk. Mari kita lihat proyek ZK yang sangat aktif baru-baru ini (dengan kegiatan insentif yang sedang berlangsung) dan aktif secara bertahap (dengan kegiatan insentif yang akan datang). Makalah ini secara sistematis menganalisis lima proyek paling aktif dan terkenal di jalur ZK saat ini: @NexusLabs, @RiscZero @boundless_xyz, @SuccinctLabs, @zerobasezk, dan @Zypher_Network. Ini akan dibagikan dari perspektif pengenalan proyek, arsitektur teknis (produk fungsional utama), kegiatan dan insentif terbaru, dan berbagi penulis. Tabel di bawah ini memberikan ringkasan singkat tentang informasi utama untuk setiap proyek untuk perbandingan visual yang mudah, dan tweet berutas akan merinci setiap item. Mari kita lihat sekilas ZK, VM, dan zkVM zk (Zero-Knowledge): mengacu pada "zero-knowledge", yang merupakan konsep luas dalam kriptografi, yang berarti bahwa satu pihak (prover) dapat membuktikan kebenaran pernyataan kepada pihak lain (verifier) tanpa mengungkapkan informasi tambahan apa pun selama interaksi. Mesin virtual (VM) adalah sistem komputer yang disimulasikan oleh perangkat lunak dan mampu menjalankan sistem operasi dan aplikasi seperti komputer fisik sungguhan. Sederhananya, mesin virtual seperti membuat "komputer virtual" di komputer Anda, di mana Anda dapat menginstal sistem operasi yang berbeda (seperti Windows, Linux, dll.) dan menjalankan perangkat lunak tanpa memengaruhi sistem host Anda yang sebenarnya. Karakteristik inti mesin virtual adalah isolasi dan virtualisasi. Mengapa Anda membutuhkan mesin virtual (VM) untuk pengembangan blockchain? 1⃣️ Lingkungan eksekusi deterministik Blockchain adalah jaringan terdesentralisasi yang dikelola bersama oleh banyak node. Untuk memastikan konsistensi jaringan, semua node harus mencapai konsensus tentang hasil eksekusi kontrak pintar. Mesin virtual menyediakan lingkungan eksekusi standar yang menjamin bahwa kode dan input yang sama akan menghasilkan output yang persis sama pada simpul apa pun. "Kepastian" ini adalah dasar untuk pengoperasian blockchain. 2⃣️ Keamanan Kontrak pintar sering kali melibatkan aset berharga seperti mata uang kripto atau token, jadi keamanan adalah yang terpenting. Mesin virtual menggunakan teknologi sandboxing untuk mengisolasi kode kontrak guna mencegah kode berbahaya merusak node atau jaringan. Misalnya, mesin virtual di Ethereum menggunakan mekanisme "gas" untuk membatasi konsumsi sumber daya kontrak dan menghindari loop atau serangan tak terbatas. 3⃣️ Portabilitas Mesin virtual memungkinkan pengembang untuk menulis kode kontrak pintar sekali dan menjalankannya pada simpul apa pun yang mendukung mesin virtual, tanpa khawatir tentang perbedaan dalam perangkat keras atau sistem operasi yang mendasarinya. Ini sangat menyederhanakan proses pengembangan dan penerapan. 4⃣️ Standarisasi Mesin virtual menyediakan serangkaian set instruksi dan model eksekusi terpadu, memungkinkan pengembang mengandalkan platform standar untuk membuat kontrak pintar. Standarisasi ini mendorong kolaborasi dalam komunitas pengembang dan ekosistem yang berkembang. 5⃣️ Fleksibilitas dan skalabilitas Mesin virtual mendukung berbagai bahasa dan alat pemrograman, memungkinkan pengembang untuk menulis kode dengan cara yang mereka kenal. Pada saat yang sama, desain mesin virtual dapat ditingkatkan seiring kemajuan teknologi, menambahkan fitur baru, atau mengoptimalkan kinerja. Sederhananya, mesin virtual menyediakan lingkungan operasi yang aman, konsisten, dan portabel untuk blockchain, dan merupakan teknologi utama untuk eksekusi kontrak pintar. Misalnya, EVM adalah singkatan dari "Ethereum Virtual Machine", yang juga merupakan infrastruktur 90% rantai publik pada tahap ini. zkVM: Ini adalah kombinasi dari VM dan ZK: keduanya dapat menjalankan program (seperti mesin virtual) dan menghasilkan "bukti pengetahuan nol" yang membuktikan bahwa program berjalan dengan benar sambil melindungi privasi. zkVM sangat berguna di ruang blockchain, dan keuntungannya meliputi: · Perlindungan Privasi: Dalam transaksi keuangan, zkVM dapat membuktikan bahwa suatu transaksi valid (misalnya, saldo akun cukup), tetapi tidak mengungkapkan jumlah atau informasi akun tertentu. · Skalabilitas: Di Lapisan 2, zkVM dapat memverifikasi kebenaran ribuan transaksi dan kemudian hanya menyimpan bukti singkat di rantai utama, bukan detail setiap transaksi. Hal ini memungkinkan blockchain untuk memproses lebih banyak transaksi, mengurangi biaya dan beban. #Nexus, #RiscZero, dan #Succinct semuanya termasuk dalam trek zkVM. Langkah selanjutnya adalah menganalisis masing-masing.