Bukti tanpa pengungkapan informasi, atau zero-knowledge proof, adalah metode kriptografi untuk meyakinkan verifikator bahwa suatu pernyataan benar sambil menyembunyikan informasi pendukung privatnya. Informasi ini disebut witness. Pernyataan dan input yang ditetapkan sebagai publik dapat tetap terlihat; «zero knowledge» bukan berarti verifikator sama sekali tidak mengetahui apa pun.
Apa yang dibuktikan
Pembukti memakai witness untuk menghasilkan bukti yang diperiksa verifikator. Kelengkapan berarti bukti jujur atas pernyataan benar diterima. Kesahihan membatasi kemampuan meloloskan pernyataan palsu sebagai benar. Sifat tanpa pengungkapan mencegah bukti membuka informasi witness tambahan di luar pernyataan publik.
Sebagai contoh, sistem dapat membuktikan bahwa kredensial bertanda tangan memenuhi ambang usia tanpa mengungkap tanggal lahir. Penerbit kredensial dan aturan yang dikodekan tetap penting. Penggunaan blockchain juga mencakup pembayaran privat dan verifikasi komputasi yang dilakukan di tempat lain.
Privasi bergantung pada aplikasi
Sistem pembuktian berbeda dalam biaya komputasi, ukuran bukti, dan asumsi penyiapan. Sebagian memerlukan penyiapan tepercaya, sebagian lainnya tidak.
Bukti hanya menetapkan klaim yang dikodekan berdasarkan asumsi sistem. Batasan keliru atau bug implementasi dapat melemahkannya. Detail transaksi publik dan metadata jaringan masih dapat mengungkap informasi, sehingga teknologi ZK tidak otomatis menjadikan aplikasi anonim.