Zero-knowledge proof (ZKP) adalah kelas protokol kriptografi yang memungkinkan pembuktian (prover) meyakinkan verifikator bahwa sebuah pernyataan benar tanpa mengungkapkan informasi apa pun di luar fakta tersebut — dikonseptualisasikan oleh peneliti MIT Goldwasser, Micali, dan Rackoff dalam makalah landmark mereka tahun 1985, dan kini berkembang menjadi teknologi fondasi yang mendukung inovasi blockchain paling penting: privacy coin (Zcash), solusi scaling zkRollup (zkSync, StarkNet, Polygon zkEVM), dan DeFi privat.
Tiga Properti ZKP
Untuk memenuhi syarat sebagai zero-knowledge, sistem bukti harus memenuhi:
- Completeness (Kelengkapan) — Jika pernyataan benar dan pembuktian jujur, verifikator yang jujur akan diyakinkan
- Soundness (Kehandalan) — Jika pernyataan salah, tidak ada pembuktian yang curang dapat meyakinkan verifikator (kecuali dengan probabilitas yang dapat diabaikan)
- Zero-knowledge — Verifikator tidak belajar apa pun kecuali bahwa pernyataan itu benar; tidak ada informasi tambahan yang terungkap
Contoh Intuitif
Anda bisa membuktikan bahwa Anda mengetahui solusi Sudoku tanpa mengungkapkan solusinya. Atau membuktikan Anda berusia di atas 18 tanpa mengungkapkan tanggal lahir Anda.
Penggunaan di Blockchain
- zkRollup — Memverifikasi ribuan transaksi dengan satu bukti (PLONK, SNARK, STARK); verifikator on-chain hanya perlu memverifikasi bukti kecil, bukan mengeksekusi ulang setiap transaksi
- Privacy coin — Zcash menggunakan zk-SNARKs untuk menyembunyikan pengirim, penerima, dan jumlah transaksi
- Identitas privat — Membuktikan atribut (usia, kewarganegaraan) tanpa mengungkapkan data pribadi
- Komputasi verifiable — Rantai luar dapat membuktikan komputasi off-chain yang benar ke kontrak on-chain
Kritik
ZKP kompleks secara kriptografis dan mahal secara komputasi untuk di-generate (meskipun cepat untuk diverifikasi). Beberapa implementasi memerlukan “trusted setup” — jika setup dikompromikan, bukti palsu dapat dibuat.
Sentimen Media Sosial
ZKP adalah salah satu topik paling dibicarakan di komunitas developer Ethereum dan kripto teknis. “ZK summer” dan “ZK season” sering disebut sebagai era berikutnya skalabilitas blockchain.
Terakhir diperbarui: 2026-04
Istilah Terkait
Lihat Juga
- Apakah Jaringan Layer 2 Terdesentralisasi?
- Mengapa Audit Smart Contract Gagal
- Jelajahi Kripto via ChangeNOW
Sumber
- Goldwasser, Micali, Rackoff — “The Knowledge Complexity of Interactive Proof Systems” (1985)
- Ethereum Foundation — ZK Rollup documentation
- Zcash zk-SNARK implementation
- StarkWare — STARK proof system