Prover adalah komponen sistem dalam zero-knowledge rollup yang menghasilkan bukti kriptografis — disebut validity proof atau ZK proof — yang membuktikan bahwa sekelompok transaksi dieksekusi dengan benar, tanpa mengharuskan siapa pun menjalankan ulang komputasi sebenarnya.
Verifier (biasanya smart contract di L1) dapat memeriksa bukti ini secara murah dan memiliki kepastian matematis bahwa batch tersebut valid.
Mengapa Prover Ada
Rollup membatch ribuan transaksi off-chain untuk mengurangi biaya L1. Tetapi Ethereum L1 masih perlu mengetahui bahwa transaksi tersebut benar. Ada dua pendekatan:
| Pendekatan | Cara validasi bekerja |
|---|---|
| Optimistic rollup | Asumsikan valid, izinkan fraud proof dalam jendela tantangan (~7 hari) |
| ZK rollup | Buktikan validitas secara kriptografis sebelum finalitas → finalitas instan |
Prover adalah yang membuat ZK rollup memungkinkan — ini adalah mesin yang mengubah data transaksi menjadi bukti.
Apa yang Dilakukan Prover
- Menerima sekelompok transaksi dari sequencer
- Mengeksekusi transaksi dalam proving circuit (representasi komputasi yang dibatasi)
- Menghasilkan bukti ringkas (SNARK atau STARK) bahwa transisi state benar
- Mengirimkan bukti ke kontrak verifier L1
Kontrak L1 memverifikasi bukti — operasi murah — dan menerima state root baru jika valid.
Jenis Bukti
| Jenis | Nama Lengkap | Digunakan oleh | Catatan |
|---|---|---|---|
| SNARK | Succinct Non-interactive ARgument of Knowledge | zkSync Era, Polygon zkEVM | Ukuran bukti kecil, verifikasi cepat, memerlukan trusted setup |
| STARK | Scalable Transparent ARgument of Knowledge | StarkNet, StarkEx | Bukti lebih besar, tanpa trusted setup, tahan kuantum |
| PLONK | Permutations over Lagrange-bases… | Banyak L2 | Universal SNARK; fleksibel |
Hambatan Prover
Pembuatan bukti adalah komputasi intensif — hambatan performa dan biaya terbesar dalam sistem ZK:
- Latensi: Prover dapat membutuhkan detik hingga menit untuk menghasilkan bukti
- Biaya: Kebutuhan komputasi tinggi; hardware khusus (GPU, FPGA, ASIC) digunakan
- Parallelisasi: Tim seperti RiscZero, Ulvetanna, dan Cysic membangun jaringan prover untuk mempercepat
Jaringan Prover Terdesentralisasi
ZK rollup awal menggunakan prover terpusat. Tren menuju pasar prover di mana siapa pun dapat mengirimkan bukti:
- Polygon: Pendekatan multi-prover
- Taiko: Pasar prover terbuka
- Succinct/SP1: Infrastruktur pembuktian tujuan umum
Prover vs. Sequencer
| Peran | Fungsi |
|---|---|
| Sequencer | Mengurutkan transaksi, menghasilkan batch |
| Prover | Menghasilkan validity proof untuk batch tersebut |
Kritik
Sentralisasi prover adalah risiko nyata — jika hanya satu entitas dapat menghasilkan bukti, itulah titik kegagalan tunggal. Jaringan prover terdesentralisasi masih dalam tahap awal. Biaya komputasi untuk menghasilkan bukti juga masih sangat tinggi, menjadi hambatan untuk desentralisasi luas.
Sentimen Media Sosial
Prover adalah topik teknis yang dibahas terutama di kalangan developer dan peneliti ZK di X/Twitter dan r/ethereum. Lomba hardware dan akselerasi pembuktian mendapat perhatian khusus karena berdampak langsung pada biaya operasional ZK rollup. Di komunitas kripto Indonesia, ZK rollup dan konsep prover dikenal di kalangan developer tetapi tidak di kalangan pengguna umum.
Terakhir diperbarui: 2026-04
Istilah Terkait
Lihat Juga
- Apakah Jaringan Layer 2 Terdesentralisasi?
- Mengapa Smart Contract Audit Gagal
- Tukar kripto dengan ChangeNOW
Sumber
- Dokumentasi zkSync: Gambaran umum sistem ZK proof (https://docs.zksync.io/) — Penjelasan prover zkSync Era dan arsitektur sistem bukti.
- StarkWare: Perbandingan STARK vs SNARK (https://starkware.co/stark-vs-snark/) — Analisis trade-off antara dua pendekatan utama ZK proof.
- Buterin, V. (2021). “An incomplete guide to rollups.” (https://vitalik.eth.limo/) — Panduan rollup komprehensif Vitalik termasuk peran prover.