「Chứng minh một việc là thật mà không cần tiết lộ bất kỳ chi tiết nào」— Chứng minh không kiến thức

▰ Chứng minh không kiến thức là gì?
Nó được đề xuất cách đây hơn 30 năm bởi ba nhà mật mã học, ban đầu nhiều người nghĩ đó là giả, khó tin, vì thông thường để thuyết phục người khác, chúng ta phải dựa vào bằng chứng và lý lẽ, chứ không thể chỉ nói “Tôi không lừa bạn” rồi khiến người khác tin được?

▰ Nhưng toán học đúng là kỳ diệu
Ví dụ, bạn biết một đoạn bí mật trong một bộ phim ít người biết đến, muốn chứng minh bạn đã xem nhưng không muốn tiết lộ nội dung đoạn bí mật đó

Bạn có thể nói với bạn bè “Trong phim, một nhân vật tại phút 45, cầm một vật có dấu hiệu đặc biệt”

Bạn bè xem rồi phát hiện thật sự có, thì biết bạn đã xem phim, nhưng từ đầu đến cuối không nghe bạn nói rõ đoạn bí mật là gì

Đây chính là cốt lõi của chứng minh không kiến thức: biến “dựa vào lời nói” thành “dựa vào xác thực chi tiết”, giải quyết nhanh gọn vấn đề “cần chứng minh mà vẫn giữ bí mật”

▰ Tuy nhiên, công nghệ này cũng có nhược điểm lớn: tạo chứng minh tiêu tốn quá nhiều tài nguyên máy tính

Giống như trước đây học, làm một bài toán toán học mất 10 phút, cần viết một báo cáo xác thực hoàn toàn chính xác, phải phân nhỏ từng bước giải, kiểm tra từng phần, khối lượng công việc tăng gấp mấy chục lần

▰ Lúc này tôi để ý đến dự án @cysic_xyz, thấy họ chọn hướng đi rất chính xác

Trong khi mọi người đều dùng GPU để sinh chứng minh không kiến thức, vì GPU rất giỏi xử lý đồng thời nhiều thao tác lặp lại

Nhưng vấn đề là, GPU vốn dùng để chơi game, xử lý video, chứ không phải để làm việc này

Và @cysic_xyz muốn làm là thiết kế chip chuyên dụng cho chứng minh không kiến thức, tất cả các thiết kế đều tập trung vào “tăng hiệu quả sinh chứng minh”

Tôi nghĩ đây là một tầm nhìn xa, nếu thành công, chi phí chứng minh không kiến thức sẽ giảm đáng kể, việc phổ biến sẽ dễ dàng hơn nhiều

Thực ra chứng minh không kiến thức không xa chúng ta nữa, trong tương lai, khi thanh toán tiền điện nước trực tuyến sợ rò rỉ dữ liệu, ký các tài liệu quan trọng sợ bị chỉnh sửa, thậm chí xác thực tài khoản game không gian lận, đều có thể dùng đến nó

Và đột phá về phần cứng của @cysic_xyz có thể chính là bước quan trọng để đưa công nghệ này vào cuộc sống hàng ngày