ZK coprocessor adalah lapisan komputasi off-chain yang membaca state on-chain historis (blok masa lalu, transaksi, tanda terima, slot storage), mengeksekusi komputasi arbitrer atas data tersebut, dan mengembalikan bukti ZK ke smart contract yang membuktikan komputasi dilakukan dengan benar — memungkinkan DApp menggunakan fakta blockchain historis yang dapat diverifikasi tanpa mempercayai pihak ketiga atau me-replay komputasi on-chain, secara dramatis memperluas apa yang dapat dilakukan smart contract dengan membiarkan mereka secara aman mereferensikan peristiwa masa lalu, menghitung statistik atas data historis, atau menerbitkan kredensial berdasarkan riwayat on-chain.
Masalah yang Dipecahkan ZK Coprocessor
Smart contract EVM menghadapi batasan kunci: mereka hanya dapat mengakses state saat ini. Membaca data historis mahal atau tidak mungkin:
- “Berapa harga rata-rata ETH selama 30 hari terakhir?” — tidak dapat diakses dalam satu panggilan on-chain
- “Apakah alamat ini memegang 10 ETH setidaknya 6 bulan?” — memerlukan replay blok historis
- “Apa skor kredit on-chain alamat X berdasarkan transaksi masa lalu?” — tidak layak secara komputasional on-chain
Solusi tradisional memerlukan kepercayaan pada oracle. ZK coprocessor menggantikan kepercayaan dengan bukti kriptografi.
Cara Kerja
- Akses Data — Coprocessor membaca data on-chain historis: header blok, state trie, tanda terima transaksi, log event
- Komputasi Off-chain — Coprocessor mengeksekusi komputasi arbitrer atas data yang dibuktikan
- Generasi Bukti ZK — Sirkuit ZK membuktikan: (1) data input dibaca dengan jujur dari blockchain, (2) komputasi dilakukan dengan benar
- Verifikasi On-chain — Bukti ZK dikirimkan ke smart contract. Kontrak memverifikasi bukti (murah — beberapa ratus ribu gas), lalu bertindak atas hasilnya
Implementasi Utama
Axiom:
- Dibangun di atas sirkuit ZK Halo2
- Membaca header blok Ethereum, state akun, slot storage, tanda terima transaksi
- Digunakan untuk: analitik DeFi historis, credit scoring, bukti kelayakan airdrop
Brevis:
- ZK coprocessor oleh tim ZK Celer
- Mendukung query lintas beberapa chain
- Digunakan oleh Uniswap (tingkat biaya berbasis volume), Sushi, dan DeFi lainnya
Sentimen Media Sosial
ZK coprocessor adalah topik yang sedang berkembang di komunitas infrastruktur kripto Indonesia. Use case seperti credit scoring DeFi berdasarkan riwayat on-chain dan gating airdrop berbasis aktivitas menarik perhatian saat narasi ZK terus berkembang. Terakhir diperbarui: 2026-04
Istilah Terkait
Lihat Juga
Sumber
- Axiom Documentation (https://docs.axiom.xyz) — Dokumentasi teknis Axiom, ZK coprocessor terkemuka untuk Ethereum.
- Brevis Documentation (https://docs.brevis.network) — Dokumentasi Brevis ZK coprocessor.
- Ethereum Research: ZK Coprocessors (https://ethresear.ch) — Diskusi penelitian tentang pola ZK coprocessor.
- CoinDesk: Verifiable Compute (https://www.coindesk.com) — Konteks industri untuk komputasi yang dapat diverifikasi berbasis ZK.