Phân phối khóa lượng tử và mật mã hậu lượng tử: mỗi công nghệ bảo vệ trước điều gì

Phân phối khóa lượng tử và mật mã hậu lượng tử khác nhau ra sao về mục tiêu, giả định, đánh đổi khi triển khai và các mối đe dọa mà mỗi bên xử lý.

Trang này được dịch từ tiếng Anh. Tên công ty, sản phẩm và liên kết nguồn được giữ nguyên. Đọc bản gốc tiếng Anh

Phân phối khóa lượng tử và mật mã hậu lượng tử thường được xếp chung vào nhóm công nghệ “an toàn trước lượng tử” (quantum-safe), nhưng chúng giải quyết những bài toán khác nhau theo những cách khác nhau. QKD là phương pháp tạo ra các khóa bí mật dùng chung mà tính an toàn gắn với hành vi cơ học lượng tử, còn PQC là một họ thuật toán chủ yếu thuộc mật mã khóa công khai nhằm giữ cho các hệ thống số ngày nay an toàn trước các máy tính lượng tử trong tương lai.

Trong thực tế, lựa chọn thường không phải là hoặc cái này hoặc cái kia. QKD tập trung vào việc thiết lập khóa kèm khả năng phát hiện nghe lén dưới các giả định vật lý và mạng cụ thể; còn PQC là việc thay thế các thành phần mật mã dễ bị tổn thương trên toàn bộ hạ tầng hiện có. Muốn hiểu mỗi công nghệ bảo vệ trước điều gì thì cần bắt đầu từ sự khác biệt đó.

Hai câu trả lời khác nhau cho mối đe dọa lượng tử

Mối lo cốt lõi đằng sau cả hai cách tiếp cận là điện toán lượng tử đe dọa nhiều hệ mật mã khóa công khai đang được dùng rộng rãi. Theo phần tóm tắt của Wikipedia về mật mã hậu lượng tử, phần lớn các thuật toán khóa công khai đang triển khai dựa vào phân tích thừa số nguyên, logarit rời rạc hoặc logarit rời rạc trên đường cong elliptic, và một máy tính lượng tử đủ mạnh chạy thuật toán Shor có thể giải các bài toán đó một cách hiệu quả.

Điều đó không có nghĩa là toàn bộ mật mã sẽ sụp đổ cùng một lúc. Phần tóm tắt của Wikipedia cũng cho biết mật mã đối xứng và các hàm băm hiện nay được xem là tương đối an toàn trước tấn công lượng tử, dù thuật toán Grover có thể tăng tốc tìm kiếm vét cạn và trong thực tế có thể đối phó bằng cách tăng gấp đôi độ dài khóa.

Từ đây, QKD và PQC đi theo hai hướng khác nhau:

QKD nhằm giúp hai bên tạo ra một khóa bí mật ngẫu nhiên dùng chung bằng các trạng thái lượng tử.
PQC nhằm thay thế các thuật toán khóa công khai cổ điển dễ bị tổn thương bằng các thuật toán mới hiện được tin là, dù chưa được chứng minh, có khả năng chống lại tấn công lượng tử.

Sự khác nhau về phạm vi này rất quan trọng. QKD tự nó không mã hóa dữ liệu ứng dụng của bạn; nó phân phối khóa. Trong khi đó, PQC được thiết kế để lắp vào đúng những vị trí mà mật mã khóa công khai đã và đang được dùng cho thiết lập khóa và chữ ký số.

QKD bảo vệ trước điều gì

QKD là một phương thức liên lạc an toàn dựa trên cơ học lượng tử, bao gồm nguyên lý đo làm nhiễu và định lý không sao chép. Mục đích của nó là cho phép hai bên tạo ra một khóa bí mật dùng chung chỉ họ biết.

Thuộc tính an ninh nổi bật của nó là phát hiện nghe lén. Nói chung, việc đo một hệ lượng tử sẽ làm nhiễu hệ đó. Vì vậy, nếu bên thứ ba cố tìm hiểu khóa bằng cách đo các trạng thái lượng tử được truyền đi, sự can thiệp đó sẽ tạo ra các bất thường mà hai bên hợp lệ có thể phát hiện. Nếu mức nhiễu quan sát được thấp hơn một ngưỡng, họ vẫn có thể suy ra một khóa an toàn; nếu quá cao, họ sẽ hủy phiên.

Bài viết của Wikipedia về phân phối khóa lượng tử mô tả an ninh của QKD là dựa trên vật lý chứ không dựa trên giả định về độ khó của các bài toán toán học. Bài viết này cũng mô tả QKD có tính an toàn có thể chứng minh được dựa trên lý thuyết thông tin và có khả năng bảo mật chuyển tiếp.

Tuy vậy, QKD chỉ bảo vệ một lát cắt hẹp hơn của bài toán so với nhiều người vẫn nghĩ:

Nó bảo vệ quá trình phân phối khóa.
Nó không trực tiếp truyền dữ liệu thông điệp.
Khóa tạo ra vẫn phải được dùng với một phương pháp mã hóa như one-time pad hoặc một thuật toán đối xứng như AES.

Vì thế, nếu câu hỏi là “QKD bảo vệ điều gì?” thì câu trả lời là: nó bảo vệ tính bí mật của chính quá trình trao đổi khóa, theo các giả định của giao thức và cách triển khai, bằng cách khiến việc nghe lén trên kênh lượng tử trở nên có thể phát hiện.

QKD hoạt động ở mức khái quát như thế nào

Bài viết của Wikipedia về phân phối khóa lượng tử mô tả hai họ giao thức QKD lớn.

Chuẩn bị và đo

Trong mô hình này, một bên chuẩn bị các trạng thái lượng tử và gửi chúng qua một kênh lượng tử không an toàn. Bên nhận sẽ đo chúng. Sau đó, qua một kênh cổ điển đã được xác thực, hai bên so sánh một lượng thông tin giới hạn để kiểm tra xem các phép đo có phù hợp với một quá trình truyền không bị can thiệp hay không.

Nếu không, họ suy ra có thể đã bị nghe lén hoặc có nhiễu quá mức và có thể hủy phiên.

Ví dụ nổi tiếng nhất là BB84, do Charles H. Bennett và Gilles Brassard giới thiệu năm 1984. Trong BB84, bên gửi mã hóa các bit ngẫu nhiên theo một trong hai cơ sở có thể có, và bên nhận đo từng trạng thái lượng tử đến bằng một cơ sở được chọn ngẫu nhiên. Sau đó, họ công khai so sánh lựa chọn cơ sở và loại bỏ các vị trí mà họ đã dùng cơ sở khác nhau. Tiếp theo, họ kiểm tra một tập con trong số các bit còn lại để tìm lỗi; quá nhiều lỗi đồng nghĩa an ninh không thể được bảo đảm.

Dựa trên vướng víu lượng tử

Các giao thức này sử dụng các trạng thái vướng víu được chia sẻ giữa hai bên. Wikipedia giải thích rằng việc đo một nửa của một cặp vướng víu sẽ ảnh hưởng đến toàn bộ hệ, và việc chặn bắt sẽ làm thay đổi các tương quan theo những cách có thể phát hiện được. Một ví dụ được nêu là E91, do Artur Ekert đề xuất năm 1991.

Với người không chuyên, điểm quan trọng là cả hai họ giao thức đều cố đạt cùng một mục tiêu: tạo ra một khóa bí mật dùng chung đồng thời khiến việc chặn bắt trở nên dễ nhận biết.

Sự phụ thuộc ẩn của QKD: xác thực

Điểm nổi bật thường được nhắc đến của QKD có thể che khuất một yêu cầu rất quan trọng. Bài viết của Wikipedia về phân phối khóa lượng tử nêu rằng QKD thường dựa vào một kênh cổ điển đã được xác thực. Đây là cách để hai bên biết rằng trong giai đoạn thảo luận công khai họ thực sự đang nói chuyện với nhau, chứ không phải với một kẻ mạo danh.

Điều này tạo ra một giới hạn thực tế quan trọng:

Để xác thực kênh cổ điển đó, các bên đã cần có sẵn một nền tảng mật mã đáng tin cậy nào đó, chẳng hạn một khóa đối xứng đã trao đổi từ trước hoặc các khóa công khai đủ an toàn.

Nói cách khác, QKD không loại bỏ bài toán xác thực. Nó giải quyết việc phân phối khóa với giả định rằng xác thực đã sẵn có.

Bài viết của Wikipedia nói khá thẳng về hệ quả này: nếu bạn đã có những gì cần thiết để xác thực một cách an toàn, thì trên thực tế bạn có thể đạt được liên lạc an toàn mà không cần QKD, bằng mật mã đối xứng thông thường. Thậm chí bài viết còn mô tả QKD là thực hiện công việc của một mã dòng nhưng với chi phí cao hơn rất nhiều.

Đây là một trong những đánh đổi then chốt trong tranh luận về QKD. Mô hình an ninh của nó rất hấp dẫn, nhưng gánh nặng triển khai ở cấp độ hệ thống là đáng kể.

PQC bảo vệ trước điều gì

PQC xử lý một bề mặt đe dọa khác. Đây là quá trình phát triển các thuật toán mật mã, thường là thuật toán khóa công khai, hiện được cho là vẫn an toàn trước các cuộc tấn công của máy tính lượng tử.

Mục tiêu chính của nó là sự đổ vỡ trong tương lai của các hệ khóa công khai hiện nay. Phần tóm tắt của Wikipedia về mật mã hậu lượng tử cũng nêu bật hai lý do khiến việc chuyển đổi là cấp bách ngay cả trước khi có các máy tính lượng tử quy mô lớn:

Việc chuyển đổi cần thời gian.
Thu thập bây giờ, giải mã sau là một mối lo có thật: dữ liệu bị thu thập hôm nay có thể nhiều năm nữa vẫn còn nhạy cảm.

Vì vậy, PQC bảo vệ trước hai rủi ro liên quan với nhau:

Việc giải mã trong tương lai đối với dữ liệu hiện được bảo vệ bằng các phương thức khóa công khai dễ bị tấn công bởi lượng tử.
Việc giả mạo trong tương lai hoặc sự thất bại của các cơ chế xác thực dựa trên chính những phương thức dễ bị tổn thương đó.

Khác với QKD, PQC không dựa trên phần cứng truyền thông lượng tử. Đây là một quá trình chuyển đổi mật mã cổ điển: thay thế các thuật toán bên trong phần mềm, phần cứng, giao thức và tiêu chuẩn.

PQC rộng hơn một họ thuật toán

Phần tóm tắt của Wikipedia về mật mã hậu lượng tử liệt kê một số hướng nghiên cứu trong PQC, gồm mật mã dựa trên mạng tinh thể, đa biến, dựa trên hàm băm, dựa trên mã và dựa trên isogeny, cùng với các cách tiếp cận khóa đối xứng sử dụng khóa đủ lớn.

Một điểm tinh tế quan trọng là PQC không được chứng minh an toàn theo nghĩa bao trùm. Wikipedia nhiều lần mô tả các hệ này là hiện được cho là an toàn, đồng thời lưu ý rằng một số ứng viên đã thất bại. Một ví dụ nổi bật là SIDH/SIKE, đã bị phá vỡ vào năm 2022.

Điều đó không làm suy yếu toàn bộ PQC, nhưng cho thấy “kháng lượng tử” không phải là một nhãn vĩnh viễn. Đây là một quá trình nghiên cứu và chuẩn hóa được xây dựng trên hoạt động phân tích mật mã liên tục.

Một số họ có các phép quy giảm hình thức mạnh hơn những họ khác, và một số có các đánh đổi thực tế như khóa, chữ ký hoặc bản mã lớn hơn. Wikipedia lưu ý rằng nhiều thuật toán PQC đòi hỏi kích thước khóa lớn hơn so với các hệ khóa công khai tiền lượng tử, và điều này có thể tạo ra đánh đổi về kích thước truyền tải và hiệu quả tính toán.

Thực tế chuẩn hóa và triển khai

Tín hiệu rõ nhất về trạng thái thực tiễn của PQC đến từ NIST.

NIST cho biết họ đã ban hành các tiêu chuẩn PQC chủ chốt trong 2024 và các tổ chức nên bắt đầu chuyển đổi ngay bây giờ. Các tiêu chuẩn được liệt kê là:

FIPS 203: ML-KEM
FIPS 204: ML-DSA
FIPS 205: SLH-DSA

NIST cũng nói rằng các tiêu chuẩn này nên là nền tảng cho phần lớn các triển khai và rằng các tiêu chuẩn bổ sung đang được thúc đẩy, bao gồm Falcon và HQC. Cơ quan này nói thêm rằng theo lộ trình chuyển đổi trong NIST IR 8547, các thuật toán dễ bị tổn thương trước lượng tử sẽ bị ngừng khuyến nghị và cuối cùng bị loại khỏi các tiêu chuẩn của NIST vào 2035, trong đó các hệ thống rủi ro cao hơn sẽ phải chuyển sớm hơn.

Đây là một điểm tương phản quan trọng với QKD. Bất kể quan điểm của mỗi người về giá trị dài hạn của từng cách tiếp cận, PQC đã bước vào một lộ trình chuyển đổi dựa trên tiêu chuẩn và hướng tới triển khai rộng khắp trên hạ tầng số thông thường.

So sánh song song: mỗi công nghệ bảo vệ trước điều gì

Aspect	Quantum key distribution	Post-quantum cryptography
Primary purpose	Create a shared secret key	Replace vulnerable public-key algorithms
Security basis	Quantum mechanics and detectable disturbance	Classical algorithms believed resistant to quantum attacks
What it directly protects	The confidentiality of key distribution	Key establishment, signatures, and other public-key functions in digital systems
Eavesdropping detection	Yes, as a built-in protocol property	No equivalent physical detection property
Hardware requirement	Requires a quantum channel plus classical channel	Runs on classical digital infrastructure
Authentication need	Requires an authenticated classical channel	Provides authentication mechanisms itself through signature/KEM standards
Deployment model	Specialized links and protocol setup	Software, hardware, and protocol migration across existing systems
Main trade-off in evidence	High cost and dependence on prior authentication	Larger keys/signatures and ongoing algorithm-evaluation risk

Vậy công nghệ nào bảo vệ “nhiều hơn”?

Không bên nào mặc định bảo vệ nhiều hơn một cách phổ quát; chúng bảo vệ theo những cách khác nhau.

QKD đưa ra một tuyên bố an ninh đặc thù cho việc phân phối khóa: về nguyên tắc, nỗ lực chặn bắt trên kênh lượng tử là có thể phát hiện. Với những ứng dụng mà thuộc tính đó mang tính quyết định, QKD có thể hấp dẫn. Nhưng nó đi kèm các giả định khắt khe, đặc biệt là nhu cầu về một kênh cổ điển đã được xác thực và hạ tầng truyền thông chuyên dụng.

PQC giải quyết bài toán hệ thống rộng hơn và cấp bách hơn: thay thế mật mã khóa công khai mà một máy tính lượng tử trong tương lai có thể phá được. Nó không cung cấp khả năng phát hiện nghe lén dựa trên vật lý như QKD, nhưng được thiết kế để bảo vệ các chức năng mật mã mà các mạng hiện đại thực sự phụ thuộc vào ở quy mô lớn.

Có thể diễn đạt theo cách khác:

Nếu điều bạn quan tâm là hai đầu cuối thiết lập khóa như thế nào qua một kênh có thể quan sát bằng lượng tử, thì QKD là công cụ phù hợp.
Nếu điều bạn quan tâm là internet, chuỗi cung ứng phần mềm, các hệ thống danh tính và dữ liệu mã hóa có vòng đời dài sẽ tồn tại thế nào khi các cuộc tấn công lượng tử xuất hiện, thì PQC là câu trả lời trung tâm.

Các câu hỏi còn bỏ ngỏ và những đánh đổi

Một góc nhìn cân bằng cần ghi nhớ một số điểm bất định.

Đối với QKD:

Câu chuyện an ninh của nó mạnh về mặt lý thuyết, nhưng phụ thuộc vào việc triển khai đúng.
Nó không loại bỏ nhu cầu xác thực.
Wikipedia nêu thẳng câu hỏi thực tế rằng liệu chi phí bổ sung có chính đáng hay không khi mã hóa xác thực cổ điển có thể đã đáp ứng được nhu cầu.

Đối với PQC:

Các thuật toán này được cho là, chứ chưa được chứng minh là, an toàn trước tấn công lượng tử.
Một số họ hoặc lược đồ ứng viên đã thất bại dưới phân tích mật mã.
Việc triển khai thực tế có thể đòi hỏi khóa lớn hơn và những đánh đổi khác về hiệu năng.

Dù vậy, NIST chỉ ra một đồng thuận vận hành hiện tại: hãy chuyển sang PQC đã được chuẩn hóa ngay bây giờ, vì chờ đến khi máy tính lượng tử thực sự trưởng thành có thể khiến không còn đủ thời gian để bảo vệ tính bí mật và tính xác thực có vòng đời dài.

Những điểm chính cần nhớ

QKD và PQC không phải là các phương án thay thế nhau theo nghĩa đơn giản. QKD phân phối khóa bí mật; PQC thay thế mật mã khóa công khai dễ bị tổn thương.
Điểm nổi bật của QKD là khả năng phát hiện nghe lén trên kênh lượng tử, bắt nguồn từ nhiễu do phép đo lượng tử.
QKD tự nó không mã hóa thông điệp và thường đòi hỏi một kênh cổ điển đã được xác thực, nghĩa là một nền tảng tin cậy nào đó phải tồn tại từ trước.
PQC nhắm vào bài toán chuyển đổi rộng hơn do mối đe dọa lượng tử tạo ra với các hệ khóa công khai hiện nay.
Mật mã đối xứng hiện tại ít bị xáo trộn bởi điện toán lượng tử hơn so với mật mã khóa công khai hiện tại, dù việc dùng kích thước khóa lớn hơn có thể là thận trọng.
PQC đã bắt đầu đi vào các tiêu chuẩn chính thống. NIST ban hành FIPS 203, 204 và 205 trong năm 2024 và cho biết các tổ chức nên bắt đầu chuyển đổi ngay.
Không có con đường nào là miễn phí. QKD mang theo gánh nặng về hạ tầng và xác thực; PQC mang theo bất định về thuật toán và các đánh đổi hiệu năng như khóa lớn hơn.
Với phần lớn tổ chức, PQC là phản ứng chính trong ngắn hạn trước rủi ro lượng tử, còn QKD xử lý một mục tiêu an ninh hẹp hơn và chuyên biệt hơn.