Beberapa hari ini proyek Nexus @NexusLabs sangat populer, karena kemudahan interaksi airdrop 'satu klik langsung挖' dan prospek besar proyek ini, jadi saya khusus mencari informasi dan mempelajarinya, di sini saya juga berbagi kepada semua orang. #Nexus #NEX #zkVM

Nexus menyebut dirinya sebagai jaringan penambangan ZK (bukti nol pengetahuan) yang diparalelkan secara besar-besaran, didirikan oleh Daniel Marin, Jens Groth, dan lainnya, pendirinya memiliki latar belakang kuat di bidang komputer dan kriptografi.

Sejak proyek diluncurkan pada tahun 2022, total pendanaan proyek mencapai 27,2 juta dolar, dipimpin oleh VC terkenal seperti Pantera Capital, Dragonfly, dan lain-lain.

Untuk memahami kalimat 'jaringan penambangan zero-knowledge (ZK) yang diparalelkan secara besar-besaran', Anda harus tahu tentang ZK, berikut adalah ringkasan pengetahuan ZK dan mengapa blockchain membutuhkan ZK.

📌Proyek Nexus dapat dibagi menjadi dua bagian untuk dibahas:

Satu, Nexus zkVM

zkVM secara sederhana dipahami sebagai menginput program atau perhitungan apa pun ke dalam zkVM, dan ia akan mengembalikan proses dan hasil pembuktian ZK.

Tidak perlu bagi pengembang untuk mempelajari kriptografi atau teknologi pengembangan zero-knowledge yang rumit, tetapi pembangunan zkVM itu sendiri sangat merepotkan. Oleh karena itu, Nexus zkVM yang kompleks dapat membantu pengembang yang membutuhkan bukti ZK menghemat banyak waktu.

Proses pembuktian utama adalah sebagai berikut (di sini tidak membahas prinsip pembuktian ZK yang spesifik, hanya mendiskusikan proses pembuatan bukti di Nexus zkVM):

1、Menulis -> Mengompilasi

Pengembang terlebih dahulu menulis program bahasa Rust biasa, menggunakan alat pra-kompilasi untuk memprosesnya, kemudian menggunakan alat kompilasi yang disediakan oleh Nexus (Nexus Compiler) untuk mengompilasinya menjadi kode yang dapat dieksekusi yang ditujukan untuk set instruksi mesin virtual Nexus (NVM).

Perhatikan untuk membedakan NVM dan Nexus zkVM

Nexus Compiler akan mengompilasi bahasa tingkat tinggi atau DSL (Domain-Specific Language) tertentu menjadi urutan instruksi tingkat rendah yang sesederhana dan seefisien mungkin, untuk memaksimalkan kinerja bukti selanjutnya.

2、Eksekusi dan menghasilkan jejak eksekusi (Trace)

Setelah kompilasi selesai, program dijalankan di lingkungan NVM, seluruh proses eksekusi akan dicatat sebagai serangkaian 'jejak eksekusi'. Jejak ini mencakup setiap perubahan status, akses memori, dan informasi lainnya untuk mempersiapkan pembuatan bukti selanjutnya.

3、Pemecahan dan distribusi

NVM akan membagi seluruh jejak eksekusi menjadi beberapa blok (chunks), kemudian mendistribusikan blok-blok ini kepada node-partisipan yang berbeda melalui pengatur (Orchestrator) dalam Nexus Network. Ini memungkinkan perhitungan paralel dalam jaringan besar, meningkatkan kecepatan dan efisiensi pembuatan bukti.

4、Pembuktian paralel dan penggabungan

Setiap node secara independen menghasilkan bukti (bukti sebagian) untuk blok jejak yang menjadi tanggung jawabnya.

Bukti-bukti sebagian ini akhirnya akan digabungkan oleh pengatur menjadi satu bukti nol pengetahuan yang bersatu dan ringkas, yang membuktikan eksekusi yang benar dari program Rust asli.

Karena menggunakan metode paralel besar-besaran dan SNARK rekursif, hasil bukti akhir sangat kecil, tetapi dapat memastikan kebenaran proses perhitungan.

Lampiran: Mekanisme pemeriksaan konsistensi memori

Nexus zkVM menggunakan metode komitmen vektor berbasis pohon Merkle untuk melacak dan memverifikasi kebenaran pembacaan dan penulisan memori global.

Dalam beberapa kali proses perhitungan yang dapat diverifikasi secara bertahap (IVC), struktur pohon Merkle ini dapat memastikan kebenaran dan konsistensi setiap akses memori, sehingga menjamin bahwa status node global tidak akan mengalami perubahan atau ketidakkonsistenan.

Dua, Nexus Network

Nexus Network adalah jaringan yang memproses 'blok jejak eksekusi' perhitungan, terdiri dari berbagai node perhitungan dan pengatur.

Pengatur bertanggung jawab untuk mengoordinasikan sumber daya jaringan, mendistribusikan tugas verifikasi blok kepada node yang berbeda, memverifikasi pekerjaan yang diselesaikan oleh node, dan mengelola poin imbalan saat ini.

Node perhitungan perlu menjalankan Nexus zkVM, mengerjakan tugas yang didistribusikan oleh pengatur perhitungan, menyerahkan hasil, dan mendapatkan imbalan melalui umpan balik hasil yang benar.

📌Mari kita lihat bagaimana keadaan proyek ini

Beberapa hari yang lalu, jaringan pengujian kedua Nexus baru saja dirilis dan menarik banyak perhatian dari para penggemar airdrop, saat ini ada dua cara untuk mendapatkan poin NEX:

1、Jalankan versi web, buka situs resmi dan klik mulai dengan satu tombol

2、Jalankan versi lokal, gunakan perintah CLI untuk menginstal dan menjalankan node

Saat ini, ada 30 penyedia layanan node di jaringan pengujian yang menawarkan perhitungan, termasuk proyek DePIN terkenal seperti zklink dan io.net.

🔴Mari kita ringkas

Jika dibandingkan dengan Succinct, kita akan menemukan bahwa Nexus adalah versi akhir dari Succinct, hanya saja Succinct ingin melakukannya perlahan-lahan, terlebih dahulu menjalankan jaringan ZKP di jaringan blockchain sebelum memperluas ke industri lain.

Namun kali ini, Nexus langsung melangkah jauh, ambisinya adalah membuat jaringan penghasil bukti nol pengetahuan (ZK) dunia.

Namun, berdasarkan pemahaman saya, saat ini teknologi ZK terutama diterapkan di bidang blockchain. Nexus saat ini mendukung bahasa Rust dan Solidity, yang juga berbanding lurus dengan ekosistem Ethereum dan Solana. Bisa dikatakan bahwa Nexus adalah pesaing kuat dari Succinct.

Menunggu perkembangan keseluruhan jalur zkVM ke depan akan seperti apa!