

Tempat paling sering pengguna menemukan ZK saat ini adalah pada ZK-rollup seperti Starknet dan zkSync Era. Jaringan Layer 2 ini memproses transaksi di luar mainnet Ethereum, menghasilkan bukti kriptografi atas validitas transaksi, lalu mengirimkan bukti tersebut kembali ke Ethereum.
Bagi pengguna, manfaatnya sangat nyata: biaya transaksi lebih rendah, throughput lebih tinggi, dan konfirmasi lebih cepat tanpa sepenuhnya bergantung pada blockchain terpisah.
ZK adalah singkatan dari zero-knowledge, yaitu jenis kriptografi yang membuktikan suatu pernyataan valid tanpa mengungkap seluruh data dasarnya.
Dalam kripto, teknologi ZK lazim digunakan pada rollup Layer 2, alat privasi, sistem identitas, serta aplikasi proof-of-reserves atau kepatuhan.
ZK-rollup memproses transaksi di luar Ethereum dan mengirimkan bukti validitas kembali ke Layer 1, sehingga mengurangi beban kerja langsung pada Ethereum.
ZK-rollup berbeda dari optimistic rollup karena ZK-rollup membuktikan transaksi valid, bukan mengasumsikan validitas dan menunggu periode challenge.
zk-SNARK dan zk-STARK adalah dua sistem proof yang berbeda, namun sebagian besar pengguna tidak perlu memahami matematikanya untuk menggunakan jaringan berbasis ZK.
ZK tidak otomatis berarti privat. ZK-rollup dapat memakai zero-knowledge proof untuk skalabilitas sambil tetap menjaga informasi transaksi tetap terlihat publik.
Kriptografi zero-knowledge memungkinkan Anda membuktikan kebenaran sesuatu tanpa mengungkapkan data yang digunakan sebagai pembuktian.
Contoh sederhananya adalah verifikasi usia.
Bayangkan suatu layanan ingin mengetahui apakah Anda berusia di atas 18 tahun.
Dengan pengecekan identitas tradisional, Anda biasanya mengunggah KTP yang berisi:
nama lengkap;
tanggal lahir;
alamat;
nomor identitas; dan
foto.
Sebuah sistem zero-knowledge secara teori memungkinkan Anda membuktikan:
“Saya berusia di atas 18 tahun” tanpa mengungkap tanggal lahir pasti atau data lain di KTP Anda.
Verifier hanya mempelajari informasi yang memang perlu diketahui.
Dalam sistem blockchain, konsep yang sama dapat diterapkan pada transaksi dan komputasi.
Alih-alih meminta Ethereum mengulangi ribuan perhitungan secara independen, sistem lain dapat melakukan perhitungan tersebut lalu mengirimkan bukti yang menyatakan:
“Transaksi ini diproses dengan benar.”
Ethereum hanya memeriksa buktinya, bukan mengulang seluruh proses.
Inilah dasar dari ZK-rollup.
Zero-knowledge proof (ZKP) adalah bukti kriptografi yang memungkinkan verifier mengecek bahwa suatu klaim valid tanpa melihat seluruh data di baliknya.
Bagi pengguna kripto pada umumnya, detail matematisnya tidak sepenting aplikasinya.
Zero-knowledge proof dapat dipakai untuk membuktikan hal-hal seperti:
sebuah transaksi mengikuti aturan protokol;
pengguna memiliki dana cukup tanpa mengungkap saldo tepatnya;
individu memenuhi syarat identitas tanpa mengungkap identitas lengkap;
ribuan transaksi Layer 2 dieksekusi benar; atau
sebuah komputasi menghasilkan hasil benar tanpa perlu diulang on-chain.
Teknologi ZK sangat berguna di mana pun blockchain membutuhkan verifikasi tanpa mengolah atau memperlihatkan semuanya secara langsung.
ZK-rollup adalah jaringan Layer 2 yang memproses banyak transaksi di luar eksekusi utama Ethereum dan secara berkala mengirimkan bukti validitas kriptografi ke Ethereum.
Bayangkan 1.000 pengguna melakukan transaksi.
Tanpa Layer 2, setiap transaksi mungkin harus dieksekusi satu per satu di Ethereum.
Dengan ZK-rollup:
Pengguna mengirim transaksi ke Layer 2.
Rollup mengelompokkan transaksi dalam batch yang diproses off-chain.
Sistem menghasilkan bukti kriptografi bahwa state baru benar.
Data batch yang sudah dikompresi dan bukti validitas dikirim ke Ethereum.
Ethereum memverifikasi buktinya untuk memastikan batch valid di on-chain sebelum menerima update state rollup.
Begitulah cara kerja zk rollup.
Banyak aksi pengguna dapat direpresentasikan sebagai satu transaksi on-chain, sehingga menurunkan biaya transaksi.
Alih-alih Ethereum mengulang semua 1.000 transaksi, cukup verifikasi bukti kecilnya.
Itulah mengapa ZK-rollup bisa mengurangi biaya dan meningkatkan kapasitas transaksi, serta umumnya mengompresi data transaksi lebih efisien dibanding optimistic rollup.
Misalkan 5.000 pengguna melakukan swap di Layer 2 berbasis ZK.
Masing-masing pengguna bisa trading, mengirim token, atau berinteraksi dengan smart contract.
Alih-alih memposting semua perhitungan langsung ke Ethereum, Layer 2 mengeksekusi transaksi sendiri dengan perubahan state dihitung off-chain.
Layer 2 kemudian harus menghasilkan bukti yang menyatakan, secara sederhana, bahwa hanya transaksi valid yang mengubah saldo dari state sebelumnya ke state baru:
“Saldo sebelum 5.000 transaksi ini adalah X. Setelahnya menjadi Y. Semua transaksi sesuai aturan.”
Ethereum hanya memverifikasi bukti sebelum menerima update.
Jika valid, Ethereum menerima state baru.
Dari sisi pengguna, hasilnya jelas:
transaksi bisa jauh lebih murah daripada melakukan aktivitas yang sama langsung di mainnet Ethereum.
Tidak selalu.
Ini salah satu kesalahpahaman paling umum soal teknologi ZK.
Zero-knowledge proof dapat mendukung privasi, namun penerapannya bergantung pada desain jaringan, dan ZK-rollup sering menggunakan teknologi ini terutama untuk membuktikan korektness komputasi.
Transaksi pada ZK-rollup tetap bisa mengekspos:
alamat dompet;
jumlah token;
interaksi kontrak; dan
data transaksi lain.
Jadi:
Teknologi ZK memungkinkan privasi.
Tetapi:
jaringan yang memakai ZK proof tidak otomatis menjadi jaringan privasi.
Privasi memerlukan desain tambahan yang memang bertujuan memperkuat privasi pengguna, bukan sekadar untuk skalabilitas atau pembuktian korektness.
Jaringan Layer 2 utama Ethereum biasanya memakai proof validitas atau proof optimistik.
Perbedaannya ada pada cara penetapan validitas transaksi.
Zero-knowledge rollup memakai teknologi zero-knowledge untuk menghasilkan bukti kriptografi bahwa setiap update state yang dikirim valid.
Ethereum memverifikasi bukti sebelum menerima update. Proses verifikasi ini dilakukan langsung di blockchain Ethereum melalui kontrak zk rollup Layer 1. State rollup dikelola off-chain, dan hanya update yang sudah tervalidasi yang ditulis on-chain.
Contohnya:
Starknet;
zkSync Era; dan
Linea.
Optimistic rollup mengambil pendekatan berbeda.
Mereka mengasumsikan transaksi valid kecuali ada challenge.
Periode challenge memberi waktu bagi peserta jaringan untuk membuktikan jika ada batch berisi transisi state tidak valid.
Optimistic rollup utama meliputi:
Arbitrum;
Base; dan
OP Mainnet.
Bagi kebanyakan pengguna, kedua pendekatan merupakan solusi scaling transaksi Ethereum yang membuatnya lebih murah.
Perbedaan utama ada pada model verifikasi. ZK-rollup biasanya menawarkan finalitas lebih cepat karena pengguna tidak perlu menunggu window fraud-proof seperti pada sistem optimistik.
| ZK Rollup | Optimistic Rollup | |
|---|---|---|
| Validasi | Bukti validitas kriptografi | Dianggap valid kecuali di-challenge |
| Periode challenge | Tidak ada penantian fraud-proof | Biasanya diperlukan untuk keluar kanonik |
| Pembuatan proof | Lebih intensif secara komputasi | Umumnya lebih sederhana |
| Kematangan EVM | Berkembang pesat | Secara historis lebih mudah didukung |
| Contoh | Starknet, zkSync, Linea | Arbitrum, Base, Optimism |
Tidak ada arsitektur yang otomatis “lebih baik.”
Aktivitas jaringan, likuiditas, asumsi keamanan, biaya, dan ketersediaan aplikasi sering kali lebih penting bagi pengguna daripada sistem proof yang digunakan.
Istilah ini sering muncul saat Anda meneliti proyek zero-knowledge.
Keduanya adalah keluarga sistem proof kriptografi.
ZK-SNARK adalah singkatan dari Succinct Non-Interactive Argument of Knowledge.
Keunggulan utamanya adalah proof yang sangat ringkas dan efisien diverifikasi.
Sistem SNARK berbeda memakai desain kriptografi berbeda, sebagian memerlukan trusted setup, sebagian tidak. Ini juga termasuk non-interactive zero-knowledge proof.
Sirkuit zk snark harus dirancang sangat hati-hati, dan riset menemukan 96% bug sirkuit SNARK berasal dari logika yang kurang terkekang.
STARK adalah singkatan dari Scalable Transparent Argument of Knowledge.
Sistem berbasis STARK menghindari trusted setup tradisional, sangat mengandalkan kriptografi berbasis hash, dan memakai randomness publik sebagai bagian dari setup transparan.
Starknet adalah contoh utama jaringan kripto yang berbasis teknologi STARK.
Bagi pengguna biasa yang memilih L2, pertanyaan praktis lebih penting:
Apakah jaringan mendukung aplikasi yang Anda butuhkan?
Berapa biaya transaksinya?
Seberapa besar likuiditasnya?
Seberapa matang bridging-nya?
Apa asumsi keamanannya?
Anda tidak harus memilih jaringan hanya berdasarkan SNARK atau STARK.
zkEVM adalah lingkungan eksekusi berbasis ZK untuk menangani komputasi kompleks smart contract yang kompatibel Ethereum sambil membuktikannya secara efisien.
Tujuannya menggabungkan:
Kompatibilitas Ethereum + proof validitas ZK + eksekusi Layer 2 berbiaya rendah.
Ini penting karena pengembang Ethereum telah membangun ribuan aplikasi dengan Solidity dan alat EVM-compatible.
Jika jaringan ZK mendukung alat-alat ini secara erat, pengembang dapat memindahkan atau mengadaptasi aplikasi tanpa membangun ulang, dan memverifikasi eksekusi tanpa mengungkap seluruh proses perantara.
Linea dan zkSync Era adalah contoh proyek yang mengejar eksekusi ZK kompatibel Ethereum, meski implementasinya berbeda.
Starknet mengambil pendekatan berbeda dan menggunakan bahasa pemrograman Cairo, bukan meniru EVM secara penuh.
Bagi kebanyakan trader, ZK penting karena empat alasan utama.
Layer 2 Ethereum dapat membagi biaya settlement dan data ke banyak transaksi. Karena itu biaya gas lebih rendah sering didapat dari batching banyak operasi, bukan membayar tiap aksi sebagai transaksi mainnet terpisah.
Jika Anda melakukan swap, meminjamkan USDC, atau memindahkan token, memakai L2 sering jauh lebih murah dibanding langsung di Ethereum.
Memproses aktivitas di luar Layer 1 membuat ZK-rollup mampu meningkatkan throughput transaksi tanpa mengharuskan setiap validator Ethereum mengeksekusi satu per satu, sehingga meningkatkan skalabilitas blockchain Ethereum.
Bukti validitas memberi jaminan kuat bahwa transisi state L2 benar setelah buktinya diverifikasi, dengan state off chain dihitung lebih dulu, lalu difinalisasi setelah bukti diterima.
Alih-alih menyelesaikan setiap aksi satu-satu, zk-rollup secara berkala memposting batch valid ke Layer 1.
Selain skalabilitas, sistem ZK bisa mendukung aplikasi di mana pengguna membuktikan atribut identitas atau kepatuhan tanpa mengungkap detail transaksi atau data pribadi.
Contohnya meliputi:
membuktikan usia tanpa menunjukkan tanggal lahir;
membuktikan domisili tanpa mengekspos alamat lengkap;
membuktikan kelayakan akun tanpa mempublikasikan dokumen sensitif; atau
membuktikan transaksi sesuai aturan kepatuhan sambil mengungkap lebih sedikit data pribadi.
Hal ini juga relevan di luar kripto, seperti untuk otentikasi dan perlucutan senjata nuklir.
Starknet adalah Layer 2 Ethereum yang dibangun dengan proof validitas STARK.
Starknet memakai Cairo sebagai lingkungan pemrograman utama dan berfokus pada aplikasi ZK-native, abstraksi akun, serta komputasi yang dapat dibuktikan.
zkSync Era adalah Layer 2 Ethereum berbasis validitas yang mendukung alur kerja pengembangan Ethereum dengan memakai proof ZK untuk settlement.
Adopsinya saat ini lebih kecil dibanding jaringan optimistik utama seperti Base dan Arbitrum, namun tetap merupakan ekosistem ZK penting.
Linea adalah zkEVM yang dikembangkan Consensys.
Fokusnya membuat eksekusi ZK mudah diakses pengembang Ethereum serta terintegrasi dengan tooling di ekosistem Consensys yang luas.
Polygon zkEVM adalah proyek zkEVM awal yang penting, namun Mainnet Beta sequencer-nya dihentikan pada Juli 2026.
Ini pengingat bahwa teknologinya bisa menjanjikan, namun jaringan tertentu tetap bisa kehilangan adopsi, berubah strategi, atau ditutup.
Pengguna harus selalu memastikan apakah suatu jaringan masih didukung aktif sebelum memindahkan dana ke sana.
Anda mungkin sudah memakai teknologi ZK tanpa sadar, terutama melalui proyek zk rollup yang sudah diakses trader di exchange.
Misalkan sebuah exchange mendukung penarikan ETH ke Layer 2 berbasis ZK.
Alih-alih:
Exchange → Ethereum mainnet → transaksi DeFi mahal
Anda dapat memakai:
Exchange → ZK Layer 2 → transaksi DeFi lebih murah
Contoh utamanya adalah Loopring.
Setelah itu, Anda dapat:
swap token;
memakai protokol pinjaman;
menyediakan likuiditas;
membeli NFT; atau
berinteraksi dengan aplikasi Layer 2 lain.
Keuntungannya berasal dari biaya eksekusi jaringan yang lebih rendah, bukan karena ZK secara ajaib membuat trading lebih baik.
Jaringan ini adalah solusi skalabilitas lain untuk blockchain Ethereum, namun pengguna tetap harus membandingkan likuiditas dan dukungan.
Pengguna tetap harus mempertimbangkan:
risiko bridge;
risiko smart contract;
likuiditas jaringan;
dukungan penarikan;
kompatibilitas token; dan
status jaringan.
Tidak otomatis.
ZK-rollup adalah salah satu desain protokol rollup di antara beberapa pendekatan Layer 2, dan optimistic rollup seperti Base dan Arbitrum saat ini punya aktivitas dan likuiditas jauh lebih besar di banyak sektor.
Bagi trader yang memilih L2, jaringan dengan likuiditas dan aplikasi lebih baik bisa jauh lebih bermanfaat dibanding jaringan ZK yang canggih secara teknis tapi minim pengguna.
Anggap ZK sebagai salah satu pendekatan skalabilitas dan verifikasi; pemilihan arsitektur bergantung pada aplikasi, bukan hanya protokol rollup-nya.
Dalam kripto, ZK berarti zero-knowledge.
Teknologi ini memungkinkan blockchain memverifikasi kebenaran tanpa memproses setiap informasi atau komputasi langsung on-chain.
Penerapan terpenting saat ini adalah ZK-rollup, di mana transaksi diproses pada jaringan off-chain dan hanya proof beserta update state ringkas yang dicatat ke Ethereum.
Bagi pengguna, ini berarti biaya lebih rendah, throughput transaksi lebih tinggi, dan aplikasi lebih skalabel.
Bagi pengembang, ini membuka akses ke jaringan ZK yang kompatibel Ethereum dan aplikasi yang menjaga privasi.
Bagi investor, perbedaannya jelas: ZK adalah teknologi—bukan tesis investasi, dan banyak sistem saat ini masih bergantung pada entitas terpusat seperti sequencer untuk mengurutkan dan mengirim batch. Sebuah proyek tetap membutuhkan pengguna, likuiditas, aplikasi, ekonomi berkelanjutan, dan jaringan aman agar bisa berhasil.
Tidak selalu. ZK proof dapat mendukung privasi, namun banyak ZK-rollup menggunakannya terutama untuk skalabilitas dan membiarkan informasi transaksi tetap terlihat.
ZK-rollup mengirimkan proof yang menunjukkan transisi state valid. Optimistic rollup mengasumsikan transaksi valid kecuali ada challenge selama periode fraud-proof.
zkEVM adalah lingkungan eksekusi yang kompatibel Ethereum dan memakai proof validitas zero-knowledge untuk skalabilitas transaksi.
Beberapa contoh utama: Starknet, zkSync Era, dan Linea.











