Zero-Knowledge Proof (ZK Proof) adalah teknik kriptografi yang memungkinkan seseorang (prover) membuktikan kepada pihak lain (verifier) bahwa mereka mengetahui sesuatu atau bahwa pernyataan tertentu benar — tanpa mengungkapkan informasi itu sendiri. Di kripto, ZK proof digunakan untuk dua tujuan utama: privasi (membuktikan kamu valid tanpa mengungkapkan data pribadi) dan skalabilitas (membuktikan banyak transaksi valid sekaligus dengan satu bukti kecil).
Cara Kerja
Analogi Sederhana:
Bayangkan kamu tahu password pintu rahasia. Untuk membuktikan kamu tahu tanpa mengungkapkan password-nya: masuk ke dalam, ambil benda yang hanya bisa diambil jika masuk, dan tunjukkan. Verifier tahu kamu pasti masuk (tahu passwordnya) tapi tidak tahu passwordnya sendiri.
Tiga Properti ZK Proof:
- Completeness: Jika pernyataan benar dan prover jujur, verifier akan diyakinkan
- Soundness: Jika pernyataan salah, prover tidak bisa menipu verifier (kecuali dengan probabilitas sangat kecil)
- Zero-Knowledge: Verifier tidak belajar apapun selain bahwa pernyataan itu benar
Jenis ZK Proof di Kripto:
ZK-SNARKs (Succinct Non-interactive Arguments of Knowledge):
- Bukti sangat kecil dan cepat diverifikasi
- Digunakan oleh Zcash untuk transaksi privat
- Butuh “trusted setup” — fase inisialisasi yang jika dikompromikan bisa merusak seluruh sistem
ZK-STARKs (Scalable Transparent ARguments of Knowledge):
- Tidak butuh trusted setup
- Lebih transparan dan post-quantum secure
- Bukti lebih besar dari SNARK
- Dikembangkan oleh StarkWare
Penggunaan di Blockchain:
- Privacy coins: Zcash menggunakan ZK-SNARKs untuk transaksi yang benar-benar private
- ZK-Rollup: StarkNet, zkSync, Polygon zkEVM menggunakan ZK proof untuk membuktikan validitas ratusan ribu transaksi dalam satu bukti yang disubmit ke Ethereum
- Identity: Membuktikan kamu memenuhi syarat (usia > 18, KYC valid) tanpa mengungkapkan data pribadi
Kesalahpahaman Umum
“ZK proof hanya untuk privasi.”
ZK proof digunakan terutama untuk skalabilitas di ekosistem Ethereum hari ini. ZK-Rollup menggunakan ZK proof untuk validity proof, bukan untuk privasi transaksi.
“ZK proof selalu aman dari serangan kuantum.”
ZK-SNARKs berbasis elliptic curve tidak post-quantum secure. ZK-STARKs lebih tahan terhadap komputer kuantum.
Kritik
ZK proof sangat computationally expensive untuk di-generate. ZK-Rollup membutuhkan hardware khusus (prover) yang menghasilkan bukti — ini bisa menjadi bottleneck sentralisasi jika hanya segelintir operator yang mampu menjalankan prover.
Sentimen Media Sosial
“ZK” menjadi buzzword besar di 2022-2024 dengan rise of zkSync, StarkNet, Polygon zkEVM, dan Scroll. “ZK airdrop” sempat menjadi topik panas dengan ekspektasi airdrop besar dari zkSync.