RISC Zero adalah mesin virtual zero-knowledge (zkVM) tujuan umum yang mengeksekusi program yang dikompilasi ke bytecode RISC-V dan menghasilkan bukti ZK (disebut Receipt) yang membuktikan eksekusi yang benar — memungkinkan program Rust apa pun (atau kode yang dikompilasi ke RISC-V) menjadi komputasi yang dapat diverifikasi yang hasilnya dapat dipercaya tanpa mengeksekusi ulang program, secara dramatis menurunkan hambatan untuk ZK-membuktikan komputasi apa pun tanpa membutuhkan pengetahuan kriptografi ZK yang mendalam.
Mengapa zkVM Tujuan Umum Penting
Sistem ZK tradisional memerlukan penulisan rangkaian aritmatika khusus untuk setiap komputasi — proses yang sangat terampil dan memakan waktu. Pendekatan RISC Zero:
- Developer menulis kode Rust standar
- Kode dikompilasi ke RISC-V (set instruksi standar terbuka)
- RISC Zero membuktikan jejak eksekusi RISC-V apa pun dengan bukti ZK
- Bukti (Receipt) dapat diverifikasi on-chain atau off-chain
Arsitektur Inti
Set Instruksi RISC-V:
zkVM RISC Zero mengimplementasikan subset RISC-V RV32IM — set instruksi tetap yang didukung luas. Kode apa pun yang dikompilasi ke RISC-V dapat berjalan di dalam zkVM.
Sistem Bukti (berbasis STARK):
RISC Zero menggunakan sistem bukti berbasis STARK sendiri dengan pendekatan dua lapisan:
- Bukti STARK dalam membuktikan eksekusi program RISC-V
- STARK kemudian dibungkus dalam SNARK (Groth16 atau PLONK) untuk verifikasi on-chain yang murah
Pendekatan dua lapisan ini memberikan skalabilitas STARK dengan ukuran bukti kecil SNARK untuk pengiriman Ethereum.
Journal (Output Publik):
Eksekusi zkVM menghasilkan Journal — output publik yang ditulis program selama eksekusi. Receipt (bukti ZK) berkomitmen pada konten Journal.
Image ID:
Setiap program memiliki Image ID — komitmen pada program yang dieksekusi, sehingga verifikator tahu tidak hanya bahwa eksekusi benar tetapi persis program mana yang berjalan.
Bonsai Network (Layanan Pembuktian)
Menjalankan bukti ZK sangat intensif secara komputasional. Bonsai RISC Zero adalah layanan cloud proving:
- Kirimkan program RISC-V dan input ke API Bonsai
- Bonsai mendistribusikan pembuktian di seluruh cluster GPU
- Receipt yang diverifikasi dikembalikan ke pemanggil
Smart contract dapat meminta bukti melalui API Bonsai melalui pola callback on-chain, mengoutsourcing komputasi berat sambil tetap memverifikasi hasilnya secara trustless.
Steel — Coprocessor EVM
Steel adalah library view call EVM RISC Zero:
- Memungkinkan program Rust yang berjalan di dalam zkVM untuk membuat pembacaan state Ethereum yang diautentikasi
- Program membuktikan bahwa ia membaca data on-chain yang benar (menggunakan Merkle proof dari state trie Ethereum)
- Memungkinkan pola ZK coprocessor: buktikan fakta state Ethereum historis off-chain, verifikasi on-chain
Perbandingan dengan SP1 (Succinct)
| Fitur | RISC Zero | SP1 (Succinct) |
|---|---|---|
| ISA | RISC-V RV32IM | RISC-V RV32IM |
| Sistem bukti | STARK kustom + pembungkus SNARK | Berbasis Plonky3 |
| Layanan pembuktian | Bonsai | Succinct Prover Network |
| Dukungan bahasa | Rust + target RISC-V apa pun | Rust + target RISC-V apa pun |
| Open source | Ya (MIT/Apache) | Ya |
| Integrasi EVM | Ya (verifikator Groth16) | Ya |
Kasus Penggunaan
- Bukti sequencer rollup ZK: Buktikan seluruh eksekusi blok L2 dalam satu Receipt
- Komputasi privat: Buktikan hasil komputasi tanpa mengungkapkan input
- ZK coprocessors: Buktikan query state Ethereum historis (via Steel)
- ZK gaming: Buktikan transisi state game tanpa mengungkapkan gerakan
- Inferensi ML yang dapat diverifikasi: Buktikan jaringan neural menghasilkan output tertentu
Kritik
Overhead pembuktian masih signifikan — program sederhana mengambil waktu jauh lebih lama untuk dibuktikan daripada dieksekusi secara native. Bonsai sebagai layanan terpusat adalah kepercayaan untuk ketepatan waktu (meskipun pada akhirnya trustless secara kriptografis). Bersaing dengan SP1 (Succinct) yang memiliki ekosistem pengembang yang berkembang serupa.
Sentimen Media Sosial
- X/Twitter: RISC Zero dibahas dengan positif di komunitas ZK; developer menyoroti kemudahan penggunaan Rust vs. penulisan rangkaian.
- Komunitas kripto Indonesia: RISC Zero dikenal di kalangan developer Web3 Indonesia; kurang dikenal publik umum.
Terakhir diperbarui: 2026-04
Istilah Terkait
Lihat Juga
- Apakah Layer 2 Networks Terdesentralisasi?
- Mengapa Smart Contract Audits Gagal
- Tukar kripto dengan ChangeNOW
Sumber
- Dokumentasi RISC Zero (https://dev.risczero.com/) — Dokumentasi developer resmi untuk zkVM dan Bonsai.
- RISC Zero GitHub (https://github.com/risc0/risc0) — Implementasi zkVM open-source.
- Bonsai Network (https://bonsai.xyz/) — Dokumentasi proving-as-a-service dan referensi API.