Zero-Knowledge Proof: Kỹ thuật xác minh không tiết lộ dữ liệu

Zero-Knowledge Proof (ZKP, bằng chứng không tiết lộ tri thức) là kỹ thuật mật mã cho phép một bên chứng minh với bên kia rằng một khẳng định là đúng, mà không tiết lộ bất kỳ thông tin nào ngoài việc khẳng định đó đúng. Ví dụ, bạn chứng minh mình đủ 18 tuổi mà không cần đưa ra ngày sinh, hoặc chứng minh mình biết mật khẩu mà không gửi mật khẩu. ZKP đang được ứng dụng trong blockchain, định danh số và xác thực, và được xem là một trong những công cụ quan trọng của quyền riêng tư thế hệ mới.

Ý tưởng qua câu chuyện hang động

Ví dụ kinh điển: một hang động hình vòng tròn có hai lối vào A và B, phía trong có cánh cửa bí mật nối hai nhánh, chỉ mở được bằng mật mã. Người chứng minh muốn thuyết phục người xác minh rằng mình biết mật mã mà không nói ra.

1. Người chứng minh vào hang theo một nhánh bất kỳ, người xác minh đứng ngoài không thấy.
2. Người xác minh hô ngẫu nhiên "ra bằng lối A" hoặc "ra bằng lối B".
3. Nếu biết mật mã, người chứng minh luôn làm được, vì có thể đi qua cánh cửa khi cần.
4. Nếu không biết, mỗi lần chỉ có một nửa cơ hội đoán đúng nhánh.

Lặp lại nhiều lần, xác suất gian lận thành công giảm xuống gần bằng không. Trong khi đó, người xác minh không học được gì về mật mã, và cũng không thể dùng đoạn ghi hình để thuyết phục người khác, vì ghi hình có thể được dàn dựng.

Ba tính chất định nghĩa ZKP

• Tính đầy đủ (completeness): nếu khẳng định đúng và người chứng minh trung thực, người xác minh sẽ chấp nhận.
• Tính đúng đắn (soundness): nếu khẳng định sai, người chứng minh gian lận chỉ thành công với xác suất không đáng kể.
• Tính không tiết lộ (zero-knowledge): người xác minh không học được gì ngoài việc khẳng định là đúng.

Khái niệm này được Shafi Goldwasser, Silvio Micali và Charles Rackoff giới thiệu trong một bài báo nổi tiếng giữa thập niên 1980.

Từ tương tác đến không tương tác

Ví dụ hang động là ZKP tương tác: cần nhiều lượt hỏi đáp. Trong thực tế, ta thường muốn một bằng chứng gửi một lần, ai cũng kiểm tra được. Kỹ thuật Fiat-Shamir thay câu hỏi ngẫu nhiên của người xác minh bằng giá trị băm của các thông điệp trước đó, biến giao thức tương tác thành không tương tác. Vai trò của hàm băm trong đây được giải thích ở bài hàm băm mật mã.

Các họ ZKP hiện đại

"Thiết lập tin cậy" là một bước sinh tham số ban đầu; nếu dữ liệu bí mật của bước này không bị hủy, ai giữ nó có thể tạo bằng chứng giả. Các dự án thường tổ chức nghi thức nhiều bên để giảm rủi ro này.

Ứng dụng thực tế

Xác thực không gửi mật khẩu

Các giao thức trao đổi khóa xác thực bằng mật khẩu và giao thức nhận dạng kiểu Schnorr cho phép chứng minh biết bí mật mà không truyền bí mật qua mạng. Ngay cả khi máy chủ bị nghe lén, kẻ tấn công không lấy được mật khẩu.

Định danh số và tiết lộ có chọn lọc

Ví định danh điện tử có thể chứng minh "người này trên 18 tuổi" hoặc "người này cư trú tại quốc gia X" mà không đưa ra toàn bộ giấy tờ. Đây là hướng đi được nhiều dự án định danh số quan tâm để giảm lượng dữ liệu cá nhân phải chia sẻ.

Blockchain

Một số tiền mã hóa dùng ZKP để giấu người gửi, người nhận và số tiền mà vẫn chứng minh giao dịch hợp lệ. Các giải pháp mở rộng dạng zk-rollup gom nhiều giao dịch, chứng minh tính đúng bằng một bằng chứng ngắn đăng lên chuỗi chính. Lưu ý đây là thông tin kỹ thuật; các tài sản mã hóa có rủi ro cao và bài viết không khuyến nghị đầu tư.

Kiểm chứng tính toán

ZKP có thể chứng minh một phép tính được thực hiện đúng, ví dụ máy chủ đã chạy đúng mô hình trên dữ liệu. Kết hợp với mã hóa đồng cấu, ta có thể vừa giữ bí mật dữ liệu vừa kiểm chứng kết quả.

Tuân thủ mà không phơi bày dữ liệu

Doanh nghiệp có thể chứng minh với kiểm toán viên rằng số dư dự trữ lớn hơn nghĩa vụ, hoặc dữ liệu thỏa một chính sách, mà không công bố toàn bộ dữ liệu chi tiết.

Giới hạn và thách thức

• Chi phí tạo bằng chứng: tạo bằng chứng cho phép tính phức tạp vẫn tốn nhiều tài nguyên, dù kiểm tra thì nhanh.
• Lỗi trong mạch: nếu "khẳng định" được mô tả sai trong mạch, bằng chứng vẫn hợp lệ nhưng chứng minh điều sai. Nhiều lỗ hổng thực tế nằm ở đây chứ không ở mật mã.
• Thiết lập tin cậy: rủi ro với các lược đồ cần bước này.
• Máy tính lượng tử: lược đồ dựa trên đường cong elliptic sẽ cần thay thế, xu hướng chung được bàn trong bài mã hóa lượng tử và tương lai bảo mật.
• Siêu dữ liệu vẫn rò rỉ: ZKP giấu nội dung khẳng định, nhưng thời điểm, tần suất và ngữ cảnh sử dụng vẫn có thể tiết lộ thông tin.

Vì sao ZKP quan trọng với quyền riêng tư

Phần lớn hệ thống hiện nay hoạt động theo kiểu "đưa hết dữ liệu để chứng minh một điều nhỏ": photo cả căn cước để chứng minh tuổi, gửi toàn bộ sao kê để chứng minh thu nhập. ZKP đảo ngược cách làm đó, cho phép tối thiểu hóa dữ liệu ngay từ thiết kế. Dữ liệu không bị thu thập thì cũng không thể bị rò rỉ, và đó là lý do kỹ thuật này đáng được theo dõi.