Kalau kamu mengikuti dunia DeFi atau Ethereum dalam beberapa tahun terakhir, pasti sudah tidak asing dengan nama-nama seperti zkSync, StarkNet, atau Polygon zkEVM. Proyek-proyek ini selalu muncul dalam pembicaraan soal biaya transaksi murah, kecepatan, dan “masa depan Ethereum.” Tapi “ZK” di depan nama mereka itu artinya apa? Dan kenapa tiba-tiba semua proyek blockchain besar — dari Ethereum, Polygon, sampai Bitcoin layer-2 — berlomba-lomba membangun di atas teknologi yang sama?
Jawabannya bermula dari sebuah pertanyaan matematika yang tampak mustahil: bisakah seseorang membuktikan bahwa sebuah pernyataan itu benar, tanpa memberitahu alasannya?
Satu Analogi yang Membantu
Bayangkan kamu punya teman yang mengklaim tahu password sebuah brankas. Kamu ingin memverifikasi dia benar-benar tahu, tapi kamu tidak mau dia memberitahumu passwordnya. Jadi kalian bermain permainan: dia masuk ke ruangan dengan brankas, kamu menunggu di luar, lalu kamu teriak secara acak — “buka dari sisi kiri” atau “buka dari sisi kanan.” Kalau dia benar-benar tahu passwordnya, dia selalu bisa keluar dari sisi yang kamu minta.
Setelah dua puluh putaran, peluang dia menebak dengan benar secara beruntun hampir nol. Kamu yakin dia tahu passwordnya — tapi kamu tidak tahu satu huruf pun dari password itu.
Itulah inti dari zero-knowledge proof, atau ZK proof: satu pihak (prover) meyakinkan pihak lain (verifier) bahwa sebuah pernyataan itu benar, tanpa mengungkapkan informasi apa pun di luar fakta tersebut.
Tiga sifat yang mendefinisikan ZK proof yang valid:
Completeness — kalau pernyataannya benar, prover yang jujur selalu bisa meyakinkan verifier.
Soundness — kalau pernyataannya salah, tidak ada prover yang bisa menipu verifier, kecuali dengan probabilitas yang sangat sangat kecil.
Zero-knowledge — verifier tidak belajar apa pun selain fakta bahwa pernyataan itu benar.
Konsep ini dipublikasikan secara formal dalam sebuah paper di MIT tahun 1985. Selama puluhan tahun setelahnya, ia hidup di dunia teori kriptografi. Yang berubah sekarang: para peneliti menemukan cara membuat ZK proof yang tidak perlu bolak-balik percakapan (cukup generate satu proof, kirim), efisien untuk diverifikasi, dan cukup ringkas untuk masuk ke dalam sebuah transaksi blockchain.
zk-SNARKs vs zk-STARKs: Dua Jalur yang Berbeda
Ada dua sistem ZK proof yang paling banyak dipakai di blockchain, dan masing-masing punya trade-off yang berbeda.
zk-SNARKs adalah pendekatan yang lebih lama dan sudah dipakai sejak lama — Zcash sudah menggunakannya untuk transaksi privat sejak 2016. Keunggulannya: proof yang dihasilkan sangat kecil dan murah untuk diverifikasi di blockchain. Kelemahannya: membutuhkan “trusted setup” — sebuah upacara kriptografi di mana parameter awal dibuat oleh sekelompok pihak. Kalau salah satu peserta berlaku curang dan menyimpan “toxic waste” dari proses ini, secara teori mereka bisa memalsukan proof. Upacara yang dijalankan dengan transparan dan peserta banyak membuat risiko ini sangat kecil, tapi asumsi kepercayaan ini tetap ada.
zk-STARKs tidak memerlukan trusted setup sama sekali. Keamanannya hanya bergantung pada fungsi hash dan keacakan yang bisa diverifikasi publik. Kelebihannya juga mencakup skalabilitas yang lebih baik untuk komputasi besar. Kekurangannya: proof yang dihasilkan jauh lebih besar, artinya biaya verifikasi di blockchain lebih mahal. Gap ini sudah mengecil signifikan, dan StarkWare — perusahaan di balik StarkNet — sudah membuktikan sistem berbasis STARK bisa menangani volume transaksi skala produksi.
Di luar dua ini, ada banyak varian yang dikembangkan aktif: Plonky2, Halo 2, Nova, RISC Zero. Setiap sistem mengoptimalkan kombinasi berbeda dari ukuran proof, kecepatan, dan fleksibilitas jenis komputasi yang bisa dibuktikan. Bidang ini bergerak sangat cepat.
ZK Rollup: Itulah Kenapa Kamu Peduli
Aplikasi ZK proof yang paling langsung terasa dampaknya adalah ZK rollup — dan di sinilah teknologi ini berhubungan langsung dengan pengalaman pengguna di blockchain.
ZK rollup menjalankan transaksi di luar Ethereum mainchain — di lingkungan yang lebih murah — lalu secara berkala mem-posting sebuah validity proof ke Ethereum yang secara matematis membuktikan bahwa seluruh batch transaksi dieksekusi dengan benar. Ethereum tidak perlu mengeksekusi ulang transaksi-transaksi itu; ia cukup memverifikasi proof-nya, yang prosesnya cepat dan murah. Kalau proof-nya valid secara matematis, transaksinya settle.
Bedanya dengan optimistic rollup (Arbitrum, Optimism, Base) cukup fundamental. Optimistic rollup berasumsi transaksi benar kecuali ada yang melaporkan kecurangan dalam jendela waktu tertentu — biasanya tujuh hari. ZK rollup memberikan finalitas kriptografis yang langsung: tidak ada periode tunggu, tidak ada mekanisme fraud proof, karena matematika yang memastikan kebenarannya.
Proyek ZK rollup yang aktif per 2026:
zkSync Era (Matter Labs) — ZK rollup kompatibel EVM yang menggunakan sistem proof bernama Boojum. Termasuk yang terbesar dari sisi TVL dan volume transaksi.
StarkNet (StarkWare) — menggunakan bahasa Cairo yang dioptimalkan untuk STARK proof. Tidak kompatibel langsung dengan EVM, tapi efisiensi proof-nya lebih baik untuk banyak jenis aplikasi. Starkex, produk aplikasi spesifik StarkWare, sudah memproses miliaran transaksi untuk dYdX dan platform lainnya.
Polygon zkEVM — implementasi lengkap EVM di dalam ZK, sehingga contract Solidity yang sudah ada bisa di-deploy tanpa modifikasi. Lebih kompleks untuk di-prove dibanding Cairo, tapi kompatibilitasnya maksimal.
Scroll — ZK rollup kompatibel EVM dengan pendekatan open-source yang lebih kuat dan fokus pada desentralisasi proving dari awal.
Di luar rollup, ZK proof juga dipakai untuk aplikasi privasi (Aztec Network untuk smart contract terenkripsi), sistem identitas (membuktikan kamu memenuhi syarat usia tanpa mengungkapkan tanggal lahirmu), dan jembatan lintas rantai yang tidak bergantung pada multisig.
Apa yang Sebenarnya Kamu Percayai
ZK rollup sering disebut “trust-minimized.” Klaim itu sebagian besar benar, tapi butuh presisi supaya tidak menyesatkan.
Yang dieliminasi: kamu tidak perlu mempercayai bahwa pihak-pihak tertentu bertindak jujur dan akan melaporkan kecurangan. Proof matematika yang memaksa kebenarannya. Kalau proof-nya valid, transisinya valid — tidak peduli apa yang ingin dilakukan operatornya.
Yang belum dieliminasi: kamu masih perlu mempercayai sequencer — entitas yang mengurutkan dan membatch transaksi — untuk liveness dan resistensi sensor. Hampir semua ZK rollup produksi per 2026 masih menggunakan satu sequencer terpusat yang dikelola tim protokol. Kalau sequencer mati, transaksi tidak diproses. Kalau ia menyensor transaksimu, kamu butuh mekanisme escape hatch — cara untuk submit langsung ke Ethereum tanpa lewat sequencer — untuk keluar.
Kamu juga perlu mempercayai kontrak verifier di Ethereum. Kalau ada bug di kontrak yang mengecek proof, atau kalau kontrak itu bisa di-upgrade oleh multisig kecil tanpa timelock, keamanan matematis dari proof system tidak secara otomatis melindungi danamu. Kunci upgrade di tangan tim kecil tetap jadi attack surface, tidak peduli seberapa kuat kriptografi di baliknya.
Ringkasnya: ZK rollup jauh lebih aman dari bridge berbasis multisig, dan memberikan finalitas yang lebih kuat dari optimistic rollup. Tapi ini bukan trustless sepenuhnya — sequencer terpusat dan kontrak yang bisa di-upgrade adalah masalah yang diakui dan masih belum diselesaikan.
Yang Masih Diperdebatkan
Desentralisasi sequencer adalah debat utama yang belum selesai. Setiap roadmap ZK rollup besar menyebutkan rencana desentralisasi sequencer — mengganti satu entitas yang mengurutkan transaksi dengan validator yang terdistribusi. Dalam praktiknya, roadmap ini bergerak lambat. Sequencer yang terdesentralisasi menambah latensi dan overhead koordinasi yang mengorbankan performa — dan performa murah-cepat adalah daya jual utama rollup. Ketegangan antara UX dan desentralisasi ini nyata dan belum dipecahkan dengan baik.
Sentralisasi prover adalah persoalan teknis yang terpisah tapi berkaitan. Membuat ZK proof itu komputasi berat — butuh hardware khusus dan sumber daya besar. Hampir semua rollup produksi sekarang pakai satu prover yang dikelola tim sendiri. Membuat pasar proving yang terdesentralisasi — di mana banyak prover bersaing dan mendapat fee — ada di berbagai roadmap, tapi masih jadi masalah yang belum terpecahkan secara ekonomi.
ZK sebagai kata pemasaran: komunitas developer Ethereum sudah gerah dengan proyek yang menyebut diri “ZK” tanpa proof yang benar-benar bekerja secara kriptografis di model keamanannya. Tes praktisnya sederhana: apakah validity proof benar-benar diverifikasi di base layer? Kalau tidak, itu bukan ZK rollup — apa pun nama proyeknya.
Apa Artinya bagi Pengguna Biasa
Bagi kebanyakan pengguna, ZK proof adalah infrastruktur yang tidak terlihat. Yang terasa adalah biaya lebih murah, transaksi lebih cepat, dan konfirmasi yang tidak menunggu tujuh hari. Apakah kamu menggunakan zkSync atau StarkNet, kamu secara teknis sudah mendapat manfaat dari zero-knowledge cryptography — meski tidak pernah melihat satu baris kode proof-nya.
Yang penting dipahami sebagai pengguna: “ZK” dalam nama proyek tidak secara otomatis berarti aman dari segala risiko. Sequencer terpusat, kunci upgrade, dan TVL yang besar tetap membawa risiko yang perlu dievaluasi terlepas dari kekuatan kriptografinya.
Terakhir diperbarui: Mei 2026
Artikel Terkait
- Apakah Jaringan Layer 2 Benar-Benar Terdesentralisasi?
- Apa Itu MEV — Dan Mengapa Setiap Transaksi Ethereum Adalah Sebuah Permainan
- Apakah Staking Ethereum Membuat Jaringan Semakin Tersentralisasi?
Istilah Glosarium Terkait
Sumber
- Goldwasser, Micali, Rackoff — The Knowledge Complexity of Interactive Proof Systems (1985) — paper asli yang mendefinisikan zero-knowledge proof dan tiga properti intinya.
- Vitalik Buterin — An Incomplete Guide to Rollups (2021) — penjelasan komprehensif tentang ruang desain rollup, mencakup perbedaan validity proof vs fraud proof.
- Vitalik Buterin — Endgame (2021) — post roadmap Vitalik yang menggambarkan masa depan Ethereum di mana ZK proof menjadi pusat model keamanan mainchain dan rollup.
- StarkWare — STARK Math Series (2018–2019) — seri blog fondasi StarkWare tentang konstruksi dan properti keamanan STARK, termasuk absensi trusted setup.
- Ethereum.org — ZK Rollups Documentation — dokumentasi developer Ethereum Foundation yang mencakup arsitektur ZK rollup dan asumsi keamanannya.