Definisi: RISC Zero adalah zero-knowledge virtual machine (zkVM) yang membuktikan eksekusi benar dari guest program Rust yang didukung dan dikompilasi menjadi binary RISC-V ELF. Receipt-nya memungkinkan pihak lain memverifikasi program dan output publik yang dikomitmenkan tanpa mengulang seluruh komputasi.
Guest program, image ID, dan receipt
Host menyiapkan guest program dan input, executor merekam sesi, lalu prover menghasilkan receipt. Receipt mengikat klaim eksekusi ke image ID program; verifier memeriksa receipt tersebut. Journal berisi output yang sengaja dikomitmenkan guest sebagai data publik, sehingga pengembang perlu menentukan dengan cermat hasil mana yang dimasukkan.
Sistem proof dan Ethereum
Sistem proof RISC Zero menggunakan teknik STARK, dengan opsi wrapping untuk aplikasi yang membutuhkan verifikasi on-chain lebih kecil atau murah. Dokumentasi Ethereum menjelaskan penggunaan zkVM sebagai coprocessor untuk komputasi yang mahal atau sulit dilakukan di smart contract. Proof membuktikan komputasi yang ditentukan, bukan bahwa input, kode, atau asumsi aplikasi sudah tepat.
Proving lokal dan jarak jauh
Pembuatan proof dapat menggunakan sumber daya lokal atau layanan proving jarak jauh. Dokumentasi developer saat ini menampilkan Boundless untuk alur remote proving. Zero-knowledge proof dapat melindungi witness privat dari verifier jika protokol digunakan dengan benar; proof tidak menyembunyikan input plaintext dari host atau layanan remote yang harus memprosesnya. Pertimbangkan kepercayaan terhadap penyedia dan data yang dikirim.
Sentimen Media Sosial
Sebuah diskusi r/ethereum pada 2026 berpendapat bahwa jaringan prover jarak jauh dapat menerima input plaintext dan mempertanyakan dampaknya bagi aplikasi yang mengharapkan privasi. Balasan membedakan data pengguna privat dari pekerjaan rollup yang inputnya memang sudah publik. Ini satu diskusi dan kekhawatiran desain, bukan bukti bahwa setiap penerapan RISC Zero membocorkan data pengguna. Buka diskusi Reddit yang dirujuk.
Terakhir diperbarui: 2026-10
Istilah Terkait
Lihat Juga
- Apa Itu ZK Proof?
- Apakah Jaringan Layer 2 Terdesentralisasi?
- Mengapa Audit Smart Contract Gagal?
- Tukar kripto dengan ChangeNOW
Sumber
- Dokumentasi Developer RISC Zero: zkVM Overview — Mendokumentasikan guest program, eksekusi RISC-V ELF, host, prover, sesi, dan alur receipt.
- Dokumentasi Developer RISC Zero: Proof System Overview — Menjelaskan receipt, verifikasi, journal publik, dan struktur receipt berbasis STARK.
- Dokumentasi Developer RISC Zero: RISC Zero on Ethereum — Menguraikan verifikasi hasil zkVM dalam kontrak Ethereum dan penggunaan zkVM sebagai coprocessor.