Zero Knowledge VM (zkVM)

Apa itu Zero Knowledge VM (zkVM)?

Zero Knowledge VM (zkVM) adalah mesin virtual yang menjalankan kode dan menghasilkan bukti bahwa eksekusinya benar, tanpa mengungkapkan input. Bayangkan sebagai wasit yang mengonfirmasi skor sambil menjaga buku strategi tetap rahasia. Hasil sama, detail yang bocor lebih sedikit.

Bagaimana Zero Knowledge VM (zkVM) bekerja

Bayangkan program yang dijalankan di luar blockchain, lalu mengirimkan bukti matematika kecil ke blockchain yang menyatakan “ini dilakukan dengan benar.” Penjelasan singkat di bawah.

• Langkah 1: Seorang pengembang menulis atau mengompilasi kode untuk dijalankan di dalam zkVM.
• Langkah 2: Program dijalankan di luar blockchain dan menghasilkan bukti, misalnya membuktikan bahwa perdagangan diberi harga dengan benar tanpa memperlihatkan input pedagang.
• Langkah 3: Bukti itu ditambah data minimal dikirim ke verifier di blockchain.
• Langkah 4: Verifier memeriksa bukti dengan cepat dan mencatat ya atau tidak.
• Langkah 5: Kontrak dan pengguna lain mempercayai hasil tanpa mengulang komputasi berat.

Di balik layar, ini bergantung pada bukti tanpa pengungkapan untuk menjamin jalannya eksekusi. Ya, matematika sebagai saksi.

Mengapa Zero Knowledge VM (zkVM) penting

Ini penting karena mengubah model biaya. Komputasi berat dilakukan di luar blockchain, pemeriksaan kecil di blockchain.

• Manfaat: Kecepatan dan biaya membaik karena verifikasi murah sementara pekerjaan berat terjadi di tempat lain.
• Sudut pandang: Anda dapat menyimpan data sensitif tetap tersembunyi sambil tetap memberikan transparansi pada hasil.
• Relevansi: Harapkan penggunaan dalam DeFi, game, identitas, dan bidang lain di mana privasi dan matematika yang dapat diverifikasi sama pentingnya.

Karakteristik Utama Zero Knowledge VM (zkVM)

Berikut ciri yang biasanya diperiksa orang:

1. Umum: Menjalankan banyak jenis program alih-alih satu rangkaian khusus.
2. Portabel: Bukti dapat diverifikasi lintas rantai oleh kontrak pintar yang kecil.
3. Selektif: Membiarkan aplikasi memilih input mana yang tetap tersembunyi dan output mana yang publik.
4. Efisien: Verifikasi bukti cepat meskipun eksekusi awal berat.
5. Komposisional: Bukti dapat di-batch atau disusun bersarang sehingga sistem tumbuh dengan lebih sedikit gangguan.

Variasi

Tidak semua zkVM sama. Varian umum yang akan Anda lihat:

• EVM: Bertujuan menjalankan logika bergaya Solidity dan membuktikannya, cocok untuk pemanfaatan ulang aplikasi langsung.
• LLVM: Mengompilasi dari bahasa umum seperti Rust atau C ke bentuk yang dapat dibuktikan.
• Rollup: Digunakan di dalam validity rollup di mana bukti diposting ke rantai dasar.
• Sovereign: Memverifikasi di rantainya sendiri sambil menjembatani bukti ke luar.

Contoh

Sebuah aplikasi pinjaman menetapkan harga jaminan di dalam zkVM, lalu hanya memposting bukti ke blockchain sehingga likuidasi berjalan adil tanpa mengekspos data peminjam.

Fakta Menarik

Ide inti berakar pada penelitian tahun 80 an di mana kriptografer menunjukkan Anda bisa membuktikan bahwa Anda mengetahui sebuah rahasia tanpa memberitahukannya. Twitter kripto kemudian membuatnya populer.

Ringkasan

Pada satu baris, Zero Knowledge VM (zkVM) adalah komputer pembuktian yang memungkinkan rantai memeriksa pekerjaan dengan cepat sambil menjaga input sensitif tetap tersembunyi.