Bằng chứng không tiết lộ thông tin là phương pháp mật mã thuyết phục bên xác minh rằng một mệnh đề cụ thể là đúng, đồng thời che giấu thông tin riêng tư hỗ trợ nó. Thông tin này được gọi là dữ liệu bí mật, hay witness. Mệnh đề và các đầu vào được chỉ định công khai vẫn có thể hiển thị; «không tiết lộ» không có nghĩa là bên xác minh hoàn toàn không biết thêm điều gì.
Bằng chứng xác lập điều gì
Bên chứng minh sử dụng witness để tạo bằng chứng cho bên xác minh kiểm tra. Tính đầy đủ nghĩa là bằng chứng trung thực cho mệnh đề đúng được chấp nhận. Tính đúng đắn hạn chế khả năng khiến mệnh đề sai được chấp nhận là đúng. Thuộc tính không tiết lộ ngăn bằng chứng làm lộ thêm thông tin witness ngoài mệnh đề công khai.
Ví dụ, hệ thống có thể chứng minh thông tin xác thực đã ký đáp ứng ngưỡng tuổi mà không công bố ngày sinh. Bên cấp thông tin và các quy tắc mã hóa trong bằng chứng vẫn quan trọng. Ứng dụng blockchain còn gồm thanh toán riêng tư và xác minh phép tính thực hiện ở nơi khác.
Quyền riêng tư phụ thuộc ứng dụng
Các hệ thống khác nhau về chi phí tính toán, kích thước bằng chứng và giả định thiết lập. Một số cần thiết lập đáng tin cậy, số khác không cần.
Bằng chứng chỉ xác lập mệnh đề đã mã hóa theo giả định của hệ thống. Ràng buộc sai hoặc lỗi triển khai có thể làm suy yếu nó. Chi tiết giao dịch công khai và siêu dữ liệu mạng vẫn có thể tiết lộ thông tin, nên công nghệ ZK không tự động khiến ứng dụng ẩn danh.