Phân phối khóa lượng tử giải quyết bài toán nào?

• Alice
• Bob
• Mối liên hệ rối (nét đứt)
• Kẻ đo trộm (vòng đỏ)
• Khóa chung: cùng dãy ô ở hai bên

Bạn sẽ học được gì

• Phân biệt việc tạo khóa với việc mã hóa thông điệp.
• Theo dõi cách một giao thức dùng cặp rối tạo dữ liệu khóa và kiểm tra tương quan.
• Giải thích vì sao cần xác thực, ước lượng lỗi và xử lý sau phép đo.

Cần biết trước

Nên đọc Rối lượng tử là gì? và Định lý Bell loại bỏ điều gì?. Bài dùng lại các khái niệm tương quan, phép đo và bất đẳng thức Bell.

Vì sao phân phối khóa là bài toán khó?

Muốn dùng cùng một khóa để mã hóa và giải mã, hai bên phải có khóa đó trước mà người ngoài không biết. Stanford minh họa bằng one-time pad: một dãy bit ngẫu nhiên dài ít nhất bằng thông điệp, dùng riêng cho thông điệp đó. Giữ bí mật khóa và không dùng lại khóa là điều thiết yếu trong ví dụ này.

Đây là yêu cầu của bí mật hoàn hảo theo nghĩa thông tin, không phải kết luận rằng mọi mật mã cổ điển đều vô dụng. Điểm khó là vật lý cổ điển không tự bảo đảm một khóa đang được chuyển đi chưa từng bị sao chép. QKD dùng tính chất lượng tử để ràng buộc lượng thông tin mà người nghe lén có thể biết trong mô hình của giao thức.

• Hàng thông điệp
• Hàng khóa ngẫu nhiên
• Hàng kết quả sau khi áp khóa
• Mũi tên chỉ chiều áp khóa

Rối lượng tử giúp tạo khóa như thế nào?

Stanford mô tả giao thức Ekert bằng một nguồn phân phối cặp photon rối cho Alice và Bob. Với trạng thái lý tưởng trong ví dụ, các phép đo cùng hướng cho kết quả ngẫu nhiên nhưng trùng nhau.

1. Alice và Bob mỗi người nhận một photon của từng cặp, rồi chọn hướng đo phân cực ngẫu nhiên.
2. Họ trao đổi các hướng đã chọn qua kênh công khai. Các kết quả dự định giữ làm khóa không được công khai.
3. Những lần đo tương thích cung cấp dữ liệu khóa thô. Trong mô hình lý tưởng, các bit này khớp nhau.
4. Một nhóm kết quả khác được công khai để ước lượng tương quan và kiểm tra bất đẳng thức Bell. Dữ liệu đã công khai để kiểm tra không giữ làm khóa bí mật.
5. Sau kiểm tra, dữ liệu còn lại vẫn cần xử lý trước khi thành khóa cuối cùng.

Tương quan rối lý tưởng giữa Alice và Bob giới hạn tương quan mà Eve có thể có với họ. Không nên hiểu điều đó là mọi trạng thái rối đều không thể có liên hệ với bên thứ ba, hoặc một lần đo trộm luôn bật lên một đèn báo chắc chắn.

• Nhóm làm khóa: đo cùng hướng
• Nhóm kiểm tra bất đẳng thức Bell

Từ khóa thô tới khóa bí mật còn những gì?

RFC 9583, mục về thiết lập liên lạc an toàn, mô tả xử lý cổ điển gồm ước lượng tham số, sửa lỗi và khuếch đại tính riêng tư. Hai bên dùng mẫu kiểm tra để ước lượng lỗi; nếu lỗi vượt ngưỡng cho phép thì hủy lượt tạo khóa. Nếu chấp nhận, họ đối soát dữ liệu và rút ra khóa cuối cùng nhằm hạn chế thông tin người ngoài có thể biết.

Kênh trao đổi cổ điển phải được xác thực: mỗi bên cần biết mình thực sự đang nói chuyện với đúng đối tác. Một phép thử Bell không thay cho xác thực. Kết luận an toàn còn phụ thuộc giao thức, giả định về thiết bị và dữ liệu kiểm tra, chứ không chỉ câu “không truyền tin nhanh hơn ánh sáng”.

Cũng RFC 9583 phân biệt QKD chuẩn bị-rồi-đo, không cần dùng cặp rối, với QKD dựa trên rối. Vì vậy không phải thiết bị QKD nào cũng thực hiện phép thử Bell.

• Hạt của Alice
• Hạt của Bob
• Phép đo trộm cắt ngang mối liên hệ
• Kết quả kiểm tra: không đạt (dấu chéo đỏ)

Ví dụ minh họa

Lan và Minh muốn có khóa cho một đường truyền. Trong mô hình Ekert, họ giữ riêng dữ liệu khóa thô và công khai dữ liệu kiểm tra. Nếu kiểm tra cho kết quả không đạt, họ bỏ lượt đó; nếu đạt, họ tiếp tục đối soát và rút ngắn dữ liệu thành khóa cuối cùng.

Một số lỗi có thể do đường truyền hay thiết bị. Vì thế phát hiện lỗi không đồng nghĩa đã xác định được ai nghe lén. Điều giao thức cần quyết định là có đủ điều kiện tạo khóa an toàn hay phải dừng. Đây là tình huống minh họa, không phải hướng dẫn triển khai hệ thống bảo mật.

Hiểu lầm thường gặp

QKD không tự bảo vệ thông điệp: khóa được tạo còn phải được dùng trong một hệ mật mã phù hợp. Nó cũng không bảo đảm nơi lưu khóa hoặc đầu cuối không bị xâm nhập.

QKD không luôn cần rối lượng tử. Giao thức chuẩn bị-rồi-đo là một nhánh khác.

Khóa thô không phải khóa hoàn tất. Xác thực và xử lý sau phép đo là phần của quy trình an toàn.

Câu hỏi thường gặp

Vì sao không công khai mọi kết quả đo?

Kết quả công khai để kiểm tra không còn bí mật. Chỉ phần dữ liệu phù hợp còn lại mới được dùng để tạo khóa.

Kiểm tra Bell có phát hiện chắc chắn từng lần đo trộm không?

Không theo cách một đèn báo cho từng photon. Nó kiểm tra thống kê tương quan trên nhiều lần đo trong phạm vi một giao thức và các giả định của giao thức đó.

Vì sao cần kênh cổ điển có xác thực?

Để biết các thông báo kiểm tra và đối soát thực sự đến từ đối tác, thay vì một bên giả mạo.

Tóm tắt

• QKD tạo khóa chung, còn mã hóa thông điệp là một công việc khác.
• Giao thức Ekert dùng cặp rối và phép thử tương quan; không phải mọi QKD đều dùng rối.
• Khóa cuối cùng đòi hỏi xác thực, kiểm tra dữ liệu và xử lý sau phép đo; không có bảo đảm vô điều kiện cho mọi thiết bị hay đầu cuối.