Zero Knowledge Proof (ZKP) là gì?

Zero Knowledge Proof (ZKP) là một cách để chứng minh điều gì đó là đúng mà không tiết lộ những thông tin phía sau. Hãy tưởng tượng việc cho thấy bạn biết mật khẩu mà không nhập nó, hoặc xác nhận bạn trên 21 tuổi mà không phải hiển thị ngày sinh. Cảm giác như ảo thuật, gốc rễ là toán học.

Hiểu lầm

ZKPs che mọi thứ, nên chúng dành cho hành vi lén lút. Không hẳn vậy. Một Zero Knowledge Proof (ZKP) chứng minh một phát biểu cụ thể do bạn định nghĩa, và người kiểm chứng vẫn có thể kiểm tra chặt chẽ mà không nhìn thấy bí mật của bạn.

Cách Zero Knowledge Proof (ZKP) hoạt động

Tổng quan nhanh với ví dụ dễ hiểu. Bạn muốn chứng minh mình có đủ tiền cho một giao dịch mà không tiết lộ số dư.

Bước 1: Bạn chọn một phát biểu như "số dư của tôi ít nhất là X" và cam kết dữ liệu ẩn của bạn kèm độ ngẫu nhiên.
Bước 2: Bạn tạo một chứng minh từ dữ liệu ẩn đó cộng với thông tin công khai, cấu trúc sao cho toán học khớp.
Bước 3: Bạn gửi chứng minh đến người kiểm chứng, không gửi bí mật.
Bước 4: Người kiểm chứng thực hiện kiểm tra và sẽ chấp nhận hoặc từ chối. Không ai được xem số dư của bạn.
Bước 5: Nếu được chấp nhận, bất kỳ ai cũng có thể kiểm tra lại cùng chứng minh đó sau này mà không cần liên hệ với bạn.

Về cơ bản nó dựa trên cryptography. Toán học giữ các chứng cứ.

Tại sao Zero Knowledge Proof (ZKP) quan trọng

Vậy bạn nên quan tâm vì sao? Ba góc nhìn ngắn.

Lợi ích: Chứng minh những gì cần và giữ phần còn lại cho riêng bạn. Ít rò rỉ hơn, ít rủi ro hơn.
Góc nhìn: Ứng dụng ít dữ liệu trông hiện đại, như Rolex gặp Reddit. Chỉ chia sẻ những gì cần thiết.
Ứng dụng: Bạn sẽ thấy ZK trong rollups, chuyển giao riêng tư và kiểm tra danh tính trên bất kỳ blockchain nghiêm túc.

Mẹo

Khi nghe ứng dụng này dùng ZK, hãy hỏi hai điều. Cụ thể điều gì đang được chứng minh, và có cần một trusted setup hay không. Ngoài ra, nếu bạn quan tâm đến kiểm soát dữ liệu, ZK kết hợp tốt với các thực hành privacy mạnh mẽ bên ngoài phần chứng minh.

Những đặc điểm chính của Zero Knowledge Proof (ZKP)

Điều gì làm nó khác biệt, bằng lời đơn giản.

Riêng tư: Người kiểm chứng biết phát biểu là đúng mà không biết bí mật của bạn.
Ngắn gọn: Chứng minh có thể nhỏ và nhanh để kiểm tra, ngay cả trên chuỗi.
Nhanh: Việc xác minh nhẹ hơn so với tính lại toàn bộ phép toán của bạn.
Có thể ghép: Bạn có thể xếp chồng các chứng minh hoặc gom nhiều kiểm tra thành một.
Khả năng mở rộng: Điều này hỗ trợ scalability bằng cách chuyển công việc nặng ra khỏi người kiểm chứng trong khi vẫn giữ tính đúng đắn.

Biến thể

Các hương vị khác nhau phù hợp với những nhiệm vụ khác nhau.

SNARKs: Chứng minh ngắn, xác minh nhanh, thường cần một trusted setup.
STARKs: Không cần trusted setup, chứng minh lớn hơn, phù hợp với nghiên cứu hậu lượng tử.
Bulletproofs: Tốt cho kiểm tra phạm vi, thường dùng cho số tiền riêng tư.
Sigma: Kiểu tương tác cổ điển, được dạy trong nhiều khóa học.

Nhắc nhở

ZKP không tự bảo vệ ứng dụng của bạn. Nếu phát biểu quá yếu hoặc thiết lập lỏng lẻo, chứng minh vẫn có thể đúng nhưng không có ích. Hãy thiết kế phát biểu một cách cẩn trọng.

Ví dụ

Một thành phố tổ chức bầu cử nơi voters chứng minh họ đủ điều kiện và chưa bỏ phiếu, trong khi danh tính của họ được ẩn khỏi tổng hợp công khai.

Sự thật thú vị

Mẹo giải thích cổ điển cho ZK dùng hai quả bóng cùng màu và bài kiểm tra bịt mắt để cho thấy bạn có thể phân biệt chúng mà không tiết lộ quả nào là quả nào. Hơi mọt sách, nhưng hiệu quả.

Kết luận

Tóm lại, Zero Knowledge Proof (ZKP) là chứng minh mà không chia sẻ quá nhiều, nên bạn có thể nói "Tôi có thể chứng minh mà không cần trình bày".

Zero Knowledge Proof (ZKP)