Luận văn thạc sĩ: Nghiên cứu các lược đồ chữ ký số lượng tử dựa trên hàm băm - ĐH CNTT&TT Thái Nguyên

Nghiên cứu chi tiết các lược đồ chữ kí số lượng tử dựa trên hàm băm. Phân tích cấu trúc, độ an toàn và khả năng kháng tấn công từ máy tính lượng tử.

• Tác giả: Khit Bounsaveng
• Người hướng dẫn: TS. Đỗ Thị Bắc
• Trường học: Trường Đại học Công nghệ Thông tin và Truyền thông – Đại học Thái Nguyên
• Chuyên ngành: Khoa học máy tính
• Đề tài: Nghiên cứu các lược đồ chữ kí số lượng tử dựa trên hàm băm
• Loại tài liệu: Luận văn thạc sĩ
• Năm xuất bản: 2023
• Địa điểm: Thái Nguyên

Tóm tắt

I. Tổng quan về chữ kí số lượng tử dựa trên hàm băm

Sự bùng nổ của công nghệ điện toán lượng tử mang lại bước đột phá lớn. Tuy nhiên, các thuật toán lượng tử như Shor có thể phá vỡ hệ mật mã khóa công khai truyền thống. Các thuật toán như RSA và ECC sẽ không còn an toàn. Do đó, nghiên cứu mật mã hậu lượng tử trở thành nhiệm vụ cấp thiết. Trong số các hướng tiếp cận, lược đồ chữ ký số dựa trên hàm băm được đánh giá rất cao. Phương pháp này xây dựng tính an toàn hoàn toàn dựa trên đặc tính của các hàm băm một chiều. Hàm băm mật mã chuẩn như SHA-256 hay SHAKE-256 có khả năng chống lại tấn công tiền ảnh và tấn công va chạm. Thuật toán Grover của máy tính lượng tử chỉ làm giảm một nửa độ phức tạp của hàm băm. Vì vậy, việc tăng độ dài ngõ ra của hàm băm sẽ dễ dàng bảo đảm an toàn. Lược đồ chữ ký hàm băm không dựa vào các bài toán cấu trúc đại số phức tạp. Điều này giúp hệ thống miễn nhiễm với các thuật toán phân tích số nguyên lượng tử. Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ đã chọn chữ ký hàm băm vào danh mục chuẩn hóa.

1.1. Nguyên lý nền tảng của chữ ký số dựa trên hàm băm

Nguyên lý cơ bản của chữ ký hàm băm bắt nguồn từ tính chất một chiều. Hàm băm biến đổi chuỗi dữ liệu bất kỳ thành chuỗi có độ dài cố định. Việc tìm lại dữ liệu ban đầu từ giá trị băm là bất khả thi về mặt tính toán. Khi tạo khóa, người ký tạo ra các chuỗi ngẫu nhiên bí mật. Sau đó, họ tính giá trị băm của các chuỗi này để công khai làm khóa công khai. Quá trình ký thông điệp thực chất là tiết lộ có chọn lọc các khóa bí mật tương ứng. Người xác minh chỉ cần băm các phần tử nhận được và so sánh với khóa công khai. Tính toàn vẹn dữ liệu được đảm bảo chặt chẽ nhờ tính kháng va chạm mạnh.

1.2. Tiến trình phát triển từ lược đồ Lamport đến SPHINCS

Lược đồ Lamport ra đời năm 1979 đặt nền móng cho chữ ký một lần. Tuy nhiên, Lamport có nhược điểm là khóa công khai lớn và chỉ ký được một lần duy nhất. Sau đó, Ralph Merkle đề xuất mô hình cây Merkle để ký nhiều thông điệp bằng một khóa công khai gốc. Các biến thể tiếp theo như WOTS và HORS giúp tối ưu kích thước chữ ký và tốc độ tạo khóa. Dù vậy, các hệ thống này đòi hỏi duy trì trạng thái ký để tránh tái sử dụng khóa. Nhằm khắc phục hạn chế này, lược đồ SPHINCS và SPHINCS+ được phát triển. SPHINCS+ là chữ ký số không trạng thái, cho phép ký nhiều thông điệp an toàn mà không cần theo dõi số lần ký.

II. Phân tích thách thức của chữ kí số lượng tử dựa trên hàm băm

Mặc dù sở hữu độ an toàn cao, các lược đồ chữ ký hàm băm vẫn đối mặt với nhiều rào cản kỹ thuật. Vấn đề nổi cộm đầu tiên nằm ở kích thước chữ ký và khóa công khai. So với RSA hay ECDSA, chữ ký hàm băm có dung lượng lớn hơn nhiều lần. Điều này gây áp lực lớn lên băng thông mạng và dung lượng bộ nhớ. Thách thức thứ hai liên quan đến chi phí tính toán khi tạo và xác minh chữ ký. Việc thực hiện hàng nghìn phép toán băm liên tiếp làm tăng độ trễ xử lý. Yếu tố này cản trở việc triển khai trong các giao dịch tài chính thời gian thực. Thêm vào đó, việc quản lý trạng thái trong các hệ thống như XMSS hay LMS tiềm ẩn rủi ro nghiêm trọng. Nếu một khóa bí mật bị tái sử dụng do lỗi đồng bộ, hệ thống sẽ bị tấn công tức thì. Ngoài ra, việc lựa chọn tham số cây băm đòi hỏi sự cân bằng khắt khe giữa tốc độ và dung lượng. Các nhà nghiên cứu cần giải quyết triệt để những điểm nghẽn này trước khi thương mại hóa rộng rãi.

2.1. Vấn đề kích thước chữ ký và chi phí lưu trữ

Kích thước chữ ký là rào cản lớn nhất của các lược đồ dựa trên hàm băm. Trong khi chữ ký ECDSA chỉ chiếm khoảng 64 byte, chữ ký SPHINCS+ có thể lên tới hàng chục kilobyte. Cấu trúc chữ ký phải mang theo nhiều đường dẫn chứng thực trong cây Merkle. Việc truyền tải các gói tin lớn gây tắc nghẽn đường truyền mạng. Bộ nhớ đệm của các thiết bị nhúng và IoT thường không đủ dung lượng để chứa các chữ ký này. Điều này làm tăng chi phí hạ tầng phần cứng cho các trung tâm dữ liệu. Các nhà phát triển buộc phải tìm phương pháp nén dữ liệu hiệu quả để giảm thiểu gánh nặng lưu trữ.

2.2. Hạn chế về tốc độ xử lý và quản lý trạng thái khóa

Tốc độ xử lý là thách thức kỹ thuật lớn tiếp theo của hệ thống. Quá trình tạo chữ ký đòi hỏi tính toán hàng loạt chuỗi băm lặp đi lặp lại. Việc này tiêu tốn nhiều chu kỳ xử lý của CPU và làm tăng độ trễ dịch vụ. Bên cạnh đó, các lược đồ có trạng thái như XMSS gặp khó khăn trong môi trường phân tán. Hệ thống phải lưu trữ chính xác số thứ tự của khóa con đã sử dụng. Nếu xảy ra sự cố khôi phục bản sao lưu hoặc môi trường ảo hóa bị nhân bản, khóa con có nguy cơ bị dùng lại. Sự cố này sẽ làm sụp đổ hoàn toàn tính bảo mật của toàn bộ chữ ký.

III. Giải pháp tối ưu cho chữ kí số lượng tử dựa trên hàm băm

Để khắc phục những hạn chế tồn tại, nhiều giải pháp cải tiến đã được đề xuất và thực nghiệm thành công. Giải pháp cốt lõi là tối ưu hóa cấu trúc cây Merkle phân tầng và cây siêu cấu trúc Hyper-Tree. Mô hình này giúp giảm chiều cao của cây đơn lẻ, qua đó tăng tốc độ sinh khóa và giảm kích thước đường dẫn xác thực. Bên cạnh đó, việc áp dụng các hàm băm tiên tiến như SHAKE-256 hoặc Haraka giúp tăng tốc độ xử lý phần cứng đáng kể. Các kỹ thuật tăng tốc phần cứng thông qua tập lệnh AVX2 và phần cứng chuyên dụng FPGA cũng mang lại hiệu năng đột phá. Hơn nữa, việc chuyển dịch sang các lược đồ không trạng thái như SPHINCS+ loại bỏ hoàn toàn rủi ro tái sử dụng khóa. SPHINCS+ kết hợp lược đồ chữ ký vài lần FORS với cây siêu cấu trúc để đảm bảo an toàn tuyệt đối. Các phương án tiếp cận lai ghép giữa thuật toán truyền thống và thuật toán kháng lượng tử cũng là bước đi an toàn trong giai đoạn chuyển đổi. Những cải tiến này giúp chữ ký hàm băm sẵn sàng ứng dụng thực tế.

3.1. Kỹ thuật tối ưu hóa cấu trúc cây Merkle phân tầng

Cấu trúc cây Merkle phân tầng Hyper-Tree là giải pháp then chốt để xử lý số lượng chữ ký khổng lồ. Thay vì xây dựng một cây Merkle đơn lẻ với độ cao quá lớn, hệ thống chia thành nhiều tầng cây nhỏ hơn. Tầng trên cùng ký khóa công khai của cây ở tầng bên dưới. Cây ở tầng đáy thực hiện nhiệm vụ ký thông điệp thực tế. Cấu trúc này giảm tải bộ nhớ tính toán trong quá trình tạo khóa ban đầu. Tốc độ sinh chữ ký được cải thiện rõ rệt nhờ việc tính toán song song các nhánh cây độc lập. Chi phí lưu trữ đường dẫn xác thực cũng được tối ưu hóa đáng kể trên các thiết bị hạn chế tài nguyên.

3.2. Chuẩn hóa và triển khai mô hình SPHINCS

SPHINCS+ được NIST chính thức phê duyệt làm tiêu chuẩn chữ ký số hậu lượng tử không trạng thái. Thuật toán sử dụng cơ chế chữ ký vài lần FORS để phân tán rủi ro giả mạo thông điệp. Việc loại bỏ hoàn toàn nhu cầu quản lý trạng thái giúp đơn giản hóa quy trình tích hợp vào phần mềm hiện có. Hệ thống không cần đồng bộ hóa cơ sở dữ liệu khóa giữa các cụm máy chủ phân tán. Các nhà phát triển có thể tùy biến các bộ tham số như SPHINCS+-128s hoặc SPHINCS+-256f. Tùy chọn này giúp cân bằng linh hoạt giữa dung lượng chữ ký nhỏ gọn và tốc độ ký nhanh theo nhu cầu thực tế.

IV. Ứng dụng thực tiễn của chữ kí số lượng tử dựa trên hàm băm

Lược đồ chữ ký số dựa trên hàm băm đóng vai trò trụ cột trong việc thiết lập an ninh mạng tương lai. Lĩnh vực đầu tiên hưởng lợi trực tiếp là các hệ thống xác thực cập nhật phần mềm và firmware an toàn. Do tần suất cập nhật không quá dày đặc và kích thước chữ ký chấp nhận được, các lược đồ hàm băm đảm bảo mã nguồn thiết bị không bị kẻ tấn công can thiệp. Ứng dụng tiếp theo là trong hạ tầng khóa công khai PKI và các chứng chỉ số số hóa dài hạn. Các tài liệu số có yêu cầu lưu trữ và bảo vệ pháp lý hàng chục năm cần chữ ký số kháng lượng tử để chống lại việc giải mã hồi tố. Ngoài ra, công nghệ chuỗi khối Blockchain và tiền điện tử đang tích cực thử nghiệm tích hợp các thuật toán như SPHINCS+ để bảo vệ ví tiền và giao dịch trước máy tính lượng tử. Ngành tài chính ngân hàng cũng chuẩn bị lộ trình thay thế RSA bằng chữ ký hàm băm để bảo vệ giao dịch liên ngân hàng. Quá trình chuyển đổi này sẽ đảm bảo tính bảo mật bền vững cho nền kinh tế số.

4.1. Tích hợp an toàn trong hệ thống Blockchain

Hệ thống Blockchain đối mặt với nguy cơ sụp đổ khi máy tính lượng tử đủ mạnh để phá khóa ECDSA. Việc tích hợp chữ ký số dựa trên hàm băm tạo ra lá chắn vững chắc cho sổ cái phi tập trung. Các địa chỉ ví tiền mã hóa sử dụng cây Merkle kháng lượng tử nhằm ngăn chặn nguy cơ đánh cắp tài sản. Mạng lưới giao dịch được xác thực an toàn mà không lo ngại thuật toán lượng tử đảo ngược khóa riêng tư. Các nền tảng hợp đồng thông minh cũng nâng cấp thư viện xác thực chữ ký SPHINCS+. Sự kết hợp này duy trì tính minh bạch, bất biến và an toàn tối đa cho hệ sinh thái Web3.

4.2. Bảo vệ hạ tầng khóa công khai và truyền thông số

Hạ tầng khóa công khai PKI toàn cầu đang bước vào quá trình chuyển dịch sang mật mã hậu lượng tử. Chứng chỉ số TLS/SSL ứng dụng chữ ký hàm băm giúp bảo vệ lưu lượng web trước các cuộc tấn công nghe lén và giải mã sau này. Các cơ quan chính phủ và tổ chức tài chính bắt đầu thử nghiệm chứng chỉ số lai ghép giữa chuẩn X.509 truyền thống và SPHINCS+. Hệ thống chữ ký số văn bản điện tử quốc gia được nâng cấp để duy trì giá trị pháp lý vĩnh viễn cho tài liệu. Đây là nền tảng cốt lõi đảm bảo an toàn chủ quyền dữ liệu trong kỷ nguyên số.

Nội dung chính

Tổng quan nghiên cứu

Sự phát triển đột phá của công nghệ tính toán lượng tử đang đặt ra những thách thức nghiêm trọng đối với an ninh mạng toàn cầu. Từ năm 1994, khi thuật toán Shor được công bố với khả năng giải bài toán phân tích thừa số nguyên tố và logarit rời rạc trong thời gian đa thức, toàn bộ nền tảng mật mã khóa công khai truyền thống như RSA-3072 hay đường cong Elliptic ECDSA P-256 đã đứng trước nguy cơ bị phá vỡ hoàn toàn, đưa mức độ an toàn lượng tử của chúng về mức 0 bit. Trước thực tế đó, năm 2016, Viện Tiêu chuẩn và Công nghệ Quốc gia Mỹ (NIST) đã chính thức khởi động dự án chuẩn hóa mật mã hậu lượng tử (PQC) nhằm tìm kiếm các thuật toán thay thế an toàn. Trong tổng số 82 thuật toán đệ trình tại vòng 1 vào năm 2018, chỉ có 23 lược đồ chữ ký số và nhóm chữ ký số dựa trên hàm băm nổi lên như một giải pháp vững chắc hàng đầu nhờ độ an toàn chỉ phụ thuộc vào tính chất kháng va chạm của hàm băm thay vì các bài toán đại số phức tạp.

Đề tài luận văn thạc sĩ chuyên ngành Khoa học máy tính tập trung nghiên cứu toàn diện các lược đồ chữ ký số kháng lượng tử dựa trên hàm băm tiêu biểu gồm Lamport, Merkle, HORS, SPHINCS+ và Picnic. Mục tiêu trọng tâm của công trình là phân tích sâu cấu trúc giải thuật, đánh giá độ phức tạp tính toán, kiểm thử thực nghiệm hiệu năng trên cả môi trường phần mềm CPU và phần cứng FPGA, từ đó xây dựng bức tranh toàn cảnh về khả năng ứng dụng thực tế. Nghiên cứu được thực hiện trong mốc thời gian bản lề 2023 - 2025, giai đoạn NIST chuẩn bị ban hành các chuẩn PQC chính thức. Đóng góp của luận văn mang giá trị học thuật và thực tiễn cao, hỗ trợ đắc lực cho các tổ chức công nghệ và tài chính trong việc định hình lộ trình chuyển đổi hệ thống an toàn thông tin sang kỷ nguyên hậu lượng tử với mức bảo mật tiêu chuẩn 128 bit đến 256 bit.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu xây dựng trên nền tảng cơ học lượng tử, mật mã học hiện đại và lý thuyết hàm băm một chiều. Cơ sở lý thuyết nền tảng đầu tiên là mô hình tiên tri ngẫu nhiên (Random Oracle Model - ROM) do Bellare và Rogaway đề xuất năm 1993, cho phép đánh giá độ an toàn của lược đồ chữ ký trước các cuộc tấn công chọn thông điệp thích ứng cấp độ 4 (EU-CMA). Trong không gian lượng tử, các nguyên lý vật lý như trạng thái chồng chập (superposition) của qubit và hiện tượng rối lượng tử (quantum entanglement) tạo ra sức mạnh tính toán vượt trội, đòi hỏi hàm băm mật mã phải đạt chuẩn an toàn kháng tiền ảnh (pre-image resistance) và kháng tiền ảnh thứ hai (second pre-image resistance) ở mức tối thiểu 256 bit.

Khung kiến trúc của các lược đồ chữ ký số dựa trên hàm băm phân nhánh thành hai trường phái: có trạng thái (stateful) và không trạng thái (stateless). Lược đồ chữ ký một lần (OTS) của Lamport và Winternitz (WOTS/WOTS+) đóng vai trò là các nguyên thủy mật mã cơ bản. Cấu trúc cây băm nhị phân Merkle (Merkle Tree) cho phép liên kết hàng nghìn khóa OTS thành một khóa công khai gốc duy nhất, tạo tiền đề cho chuẩn XMSS theo RFC 8391. Đối với nhóm không trạng thái, SPHINCS+ kết hợp cấu trúc siêu cây Merkle nhiều tầng (hypertree) cùng cơ chế ký vài lần HORST nhằm loại bỏ hoàn toàn yêu cầu lưu vết chỉ mục khóa, ngăn chặn triệt để nguy cơ tái sử dụng khóa bí mật khi sao lưu hệ thống.

Phương pháp nghiên cứu

Nghiên cứu áp dụng cỡ mẫu gồm 5 thuật toán đại diện tiêu biểu nhất cho các giai đoạn tiến hóa của chữ ký số hàm băm: Lamport OTS (nguyên thủy cổ điển), Merkle Signature Scheme (cấu trúc cây trạng thái cơ bản), HORS (chữ ký vài lần), SPHINCS+ (chuẩn không trạng thái lọt vào vòng chung kết NIST) và Picnic (lược đồ dựa trên chứng minh không tiết lộ tri thức và hàm băm Haraka). Phương pháp chọn mẫu là chọn mẫu định hướng chuyên gia, căn cứ vào tính đa dạng kiến trúc thuật toán và tiến trình chuẩn hóa thực tế của NIST PQC giai đoạn 2018 - 2023.

Quy trình đánh giá thực nghiệm sử dụng phương pháp phân tích so sánh định lượng đa chiều trên hai môi trường độc lập có cùng độ dài khóa 256 bit:

• Nền tảng phần mềm: Hệ thống máy chủ trang bị bộ vi xử lý Intel Core i7-6700K, thực thi mã nguồn C/C++ tích hợp trong thư viện mật mã chuẩn OpenSSL.
• Nền tảng phần cứng: Bo mạch FPGA Xilinx Zynq-7020, thực thi mã nguồn thiết kế phần cứng chuyên dụng bằng ngôn ngữ Verilog HDL.

Lý do lựa chọn phương pháp phân tích này là nhằm đánh giá chính xác thông lượng xử lý số phép tính trên giây (Operations Per Second - OPS), đo lường sự tương quan giữa độ phức tạp lý thuyết và hiệu năng vật lý, từ đó loại bỏ các sai số giả định khi triển khai vào hạ tầng công nghệ thông tin thực tế.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình phân tích lý thuyết và kiểm nghiệm thực nghiệm đã chỉ ra những phát hiện cốt lõi về hiệu năng và đặc tính cấu trúc của 5 lược đồ chữ ký số kháng lượng tử:

Thứ nhất, tốc độ thực thi trên phần cứng FPGA Zynq-7020 cho thấy sự vượt trội rõ rệt so với môi trường phần mềm CPU Intel Core i7-6700K. Cụ thể, lược đồ Merkle đạt thông lượng ấn tượng 30,000 OPS trên FPGA, tăng trưởng 200% so với mức 10,000 OPS trên CPU. Lược đồ Lamport tăng từ 650 OPS lên 1,500 OPS (tăng hơn 130%). Đáng chú ý nhất, SPHINCS+ đạt bước nhảy vọt từ 20 OPS trên CPU lên 180 OPS trên FPGA, tương đương mức tăng 800% về hiệu suất xử lý ký và xác thực.

Thứ hai, các thuật toán không trạng thái hiện đại đòi hỏi chi phí tính toán rất lớn. Picnic chỉ đạt 4 OPS trên CPU và 20 OPS trên FPGA do cấu trúc chứng minh ZK phức tạp. Về độ phức tạp tính toán lý thuyết, trong khi Merkle và Picnic duy trì độ phức tạp O(n log n), thì SPHINCS+ có độ phức tạp lên tới O(n k^2), giải thích cho tốc độ xử lý thấp hơn trên các thiết bị hạn chế tài nguyên.

Thứ ba, sự chênh lệch lớn về kích thước khóa và chữ ký. SPHINCS+-256 mang lại mức an toàn lượng tử 128 bit và an toàn cổ điển 256 bit, với kích thước khóa công khai chỉ 64 bytes và khóa bí mật 128 bytes, nhưng kích thước chữ ký dao động từ 29,792 bytes đến 49,216 bytes. Con số này lớn gấp hơn 77 đến 128 lần so với kích thước chữ ký 384 bytes của chuẩn RSA-3072 truyền thống. Ngược lại, lược đồ XMSS có kích thước chữ ký gọn hơn ở mức 4,964 bytes nhưng lại chịu ràng buộc khắt khe về quản lý trạng thái khóa.

Thảo luận kết quả

Khi xem xét toàn diện dữ liệu, mối quan hệ giữa thông lượng xử lý OPS và kích thước chữ ký có thể được minh họa trực quan qua biểu đồ phân tán hai trục tọa độ: trục hoành thể hiện dung lượng chữ ký tính bằng Kilobytes và trục tung biểu diễn tốc độ ký tính bằng logarit của OPS. Qua cách trình bày này, người phân tích dễ dàng nhận thấy sự phân cực rõ rệt giữa hai nhóm giải pháp. Nhóm trạng thái (Merkle, XMSS) nằm ở góc phần tư tốc độ cao và kích thước chữ ký nhỏ, trong khi nhóm không trạng thái (SPHINCS+, Picnic) tập trung ở vùng kích thước chữ ký lớn và tốc độ trung bình thấp.

Nguyên nhân cốt lõi của sự đánh đổi này nằm ở cơ chế loại bỏ trạng thái của SPHINCS+. Để tránh việc ghi nhớ các nút lá đã sử dụng, SPHINCS+ buộc phải xây dựng kiến trúc siêu cây nhiều tầng với hàng triệu cây Merkle con được băm ngẫu nhiên, dẫn đến đường dẫn xác thực dài hơn và khối lượng dữ liệu phình to. Khi so sánh với các nghiên cứu công bố trong RFC 8391 và báo cáo kỹ thuật của NIST, kết quả thực nghiệm hoàn toàn trùng khớp với định hướng chuẩn hóa: SPHINCS+ là lựa chọn tối ưu cho các giao thức không thể đồng bộ trạng thái như chứng chỉ số SSL/TLS và DNSSEC, trong khi XMSS phù hợp hoàn hảo cho các tác vụ cập nhật firmware hệ thống nhúng IoT với số lượng chữ ký xác định trước.

Đề xuất và khuyến nghị

Nhằm giải quyết các hạn chế về kích thước chữ ký và độ trễ tính toán của các lược đồ chữ ký số kháng lượng tử dựa trên hàm băm, bốn giải pháp chiến lược được đề xuất triển khai:

Thứ nhất, tăng tốc phần cứng bằng vi mạch chuyên dụng. Các doanh nghiệp công nghệ và trung tâm dữ liệu cần ưu tiên tích hợp các khối IP Core xử lý hàm băm SHA-256 và SHAKE-256 trực tiếp trên phần cứng FPGA/ASIC. Mục tiêu kỹ thuật là nâng thông lượng xác thực của SPHINCS+ từ mức 180 OPS hiện tại lên trên 2,000 OPS vào năm 2025, đáp ứng yêu cầu xử lý giao dịch thời gian thực cho các sàn thương mại điện tử và hệ thống ngân hàng lõi.

Thứ hai, áp dụng mô hình mật mã lai ghép (Hybrid Cryptography). Trong giai đoạn chuyển giao từ năm 2024 đến năm 2027, các kiến trúc sư bảo mật nên triển khai cơ chế ký số kép kết hợp chuẩn cổ điển ECDSA P-256 cùng chuẩn kháng lượng tử SPHINCS+-128. Giải pháp này vừa duy trì tính tương thích với các tiêu chuẩn chứng thực hiện hành, vừa đảm bảo dữ liệu lưu trữ dài hạn không bị giải mã trong tương lai khi máy tính lượng tử quy mô 1,000 qubit vật lý xuất hiện.

Thứ ba, chuẩn hóa quy trình quản trị trạng thái cho thiết bị biên IoT. Đối với các hệ thống hạ tầng năng lượng, viễn thông và thiết bị thông minh, các đơn vị vận hành cần áp dụng chuẩn XMSS theo RFC 8391 kết hợp bộ nhớ bảo mật bất biến (NVRAM) để kiểm soát chỉ mục khóa. Biện pháp này giúp tận dụng kích thước chữ ký nhỏ dưới 5 KB của XMSS mà loại trừ 100% rủi ro lỗ hổng giả mạo chữ ký do khôi phục trạng thái bộ nhớ ngoài ý muốn.

Thứ tư, xây dựng khung chính sách chuyển đổi mật mã quốc gia. Các cơ quan quản lý nhà nước như Ban Cơ yếu Chính phủ và Bộ Thông tin và Truyền thông cần sớm ban hành lộ trình chuẩn hóa mật mã hậu lượng tử giai đoạn 2024 - 2030, hướng dẫn các tổ chức chứng thực chữ ký số công cộng (CA) nâng cấp hạ tầng gốc PKI sẵn sàng tích hợp các thuật toán đã được NIST phê duyệt.

Đối tượng nên tham khảo luận văn

Luận văn mang lại giá trị tham khảo chuyên môn sâu sắc cho 4 nhóm đối tượng chính:

1. Kỹ sư an toàn thông tin và kiến trúc sư Blockchain: Cung cấp đầy đủ thông số kỹ thuật, mã giả thuật toán và phân tích dung lượng khối, hỗ trợ việc thiết kế lại các hợp đồng thông minh, chữ ký ví điện tử và giao thức mạng ngang hàng an toàn trước các đòn tấn công lượng tử.
2. Chuyên gia phát triển phần cứng và hệ thống nhúng: Cung cấp số liệu đo lường thực tế trên chip FPGA Zynq-7020 và vi xử lý 64-bit, giúp các kỹ sư lựa chọn phương án tối ưu hóa vi mạch và ước lượng tài nguyên bộ nhớ logic khi triển khai bảo mật cho thiết bị IoT.
3. Chuyên gia phân tích an ninh mạng ngành Tài chính - Ngân hàng: Nắm bắt bức tranh toàn cảnh về độ trễ giao dịch và chi phí băng thông khi nâng cấp từ RSA sang SPHINCS+, từ đó xây dựng kế hoạch đầu tư hạ tầng thanh toán số đáp ứng tiêu chuẩn quốc tế.
4. Giảng viên, học viên cao học và nghiên cứu sinh ngành Công nghệ thông tin: Tài liệu đóng vai trò là giáo trình tham khảo học thuật hoàn chỉnh với hệ thống lý thuyết lượng tử, cơ chế hàm băm có khóa, mô hình ROM và các bảng so sánh tham số chuẩn hóa.

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

Chữ ký số dựa trên hàm băm có thực sự chống lại được máy tính lượng tử không? Hoàn toàn có. Khác với RSA hay ECC dựa trên bài toán thừa số nguyên tố có thể bị phá bởi thuật toán Shor, các lược đồ chữ ký hàm băm dựa trên tính kháng tiền ảnh của hàm băm một chiều. Đối với hàm băm n-bit, thuật toán lượng tử Grover chỉ giúp giảm độ phức tạp tìm kiếm xuống O(2^(n/2)), do đó sử dụng hàm băm 256 bit vẫn đảm bảo an toàn tuyệt đối ở mức 128 bit lượng tử.

Vì sao kích thước chữ ký SPHINCS+ lại lớn hơn nhiều so với RSA và ECDSA? Do tính chất không trạng thái, SPHINCS+ không lưu vết các khóa đã ký mà phải tạo ra một siêu cây Merkle nhiều tầng. Khi ký một thông điệp, chữ ký phải bao gồm toàn bộ đường dẫn xác thực qua nhiều cây con cùng chữ ký vài lần HORST, dẫn đến độ dài chữ ký lên tới 29,792 đến 49,216 bytes so với mức 64 đến 384 bytes của thuật toán truyền thống.

Sự khác biệt cốt lõi giữa lược đồ có trạng thái XMSS và không trạng thái SPHINCS+ là gì? Lược đồ có trạng thái như XMSS yêu cầu bộ nhớ phải cập nhật và ghi nhớ chỉ mục nút lá đã ký sau mỗi lần thực thi; nếu trạng thái bị lặp lại khi khôi phục bản sao lưu, khóa bí mật sẽ bị lộ. Ngược lại, SPHINCS+ chọn ngẫu nhiên các nút lá trên cấu trúc cây khổng lồ, cho phép ký thông điệp không giới hạn mà không cần duy trì bộ nhớ trạng thái nội bộ.

Tại sao tốc độ ký trên phần cứng FPGA lại nhanh hơn nhiều so với CPU? Phần cứng FPGA cho phép thiết kế các đường ống xử lý song song (pipelining) và cấu hình trực tiếp các cổng logic cho các phép tính băm XOR, dịch bit của SHA-256. Thực nghiệm trên FPGA Zynq-7020 cho thấy tốc độ của Merkle đạt 30,000 OPS, vượt trội gấp 3 lần so với mức 10,000 OPS trên CPU Intel Core i7-6700K vốn bị giới hạn bởi chu kỳ lệnh tuần tự.

Khi nào các tổ chức cần hoàn tất quá trình chuyển đổi sang chữ ký số hậu lượng tử? Theo khuyến nghị của NIST và các tổ chức an ninh quốc tế, lộ trình chuẩn hóa sẽ hoàn tất vào giai đoạn 2024 - 2025. Các tổ chức nắm giữ dữ liệu nhạy cảm có vòng đời bảo mật từ 10 đến 20 năm cần phải bắt đầu tích hợp thử nghiệm mật mã lai ngay trong năm 2024 để phòng ngừa chiến lược thu thập dữ liệu mã hóa trước nhằm giải mã sau này.

Kết luận

• Luận văn đã hệ thống hóa toàn diện cơ sở lý thuyết về máy tính lượng tử, tác động phá vỡ của thuật toán Shor đối với mật mã cổ điển và vai trò then chốt của các lược đồ chữ ký số dựa trên hàm băm.
• Phân tích chi tiết cấu trúc giải thuật, mã giả và cơ chế vận hành của 5 thuật toán tiêu biểu: Lamport, Merkle, HORS, SPHINCS+ và Picnic theo chuẩn đánh giá của NIST PQC.
• Thực nghiệm đo lường định lượng thành công hiệu năng trên cả hai nền tảng CPU Intel Core i7-6700K và FPGA Zynq-7020 với khóa 256-bit, chứng minh tốc độ của phần cứng vượt trội tới 800% đối với SPHINCS+.
• Xác định rõ sự đánh đổi kỹ thuật giữa tốc độ xử lý, tính không trạng thái và dung lượng chữ ký, từ đó đề xuất 4 nhóm giải pháp công nghệ và chính sách chuyển đổi khả thi.
• Công trình đặt nền móng nghiên cứu quan trọng cho cộng đồng an toàn thông tin tại Việt Nam trong giai đoạn bản lề chuẩn hóa PQC từ năm 2024 đến năm 2026.

Các tổ chức, doanh nghiệp và nhà nghiên cứu quan tâm đến việc bảo vệ hệ thống trước mối đe dọa lượng tử hãy chủ động tham khảo toàn văn luận văn để xây dựng giải pháp bảo mật vững chắc cho tương lai.

Trích đoạn nội dung tài liệu

CHƯƠNG 1. TỔNG QUAN VỀ VỀ MÁY TÍNH LƯỢNG TỬ VÀ SỰ PHÁT TRIỂN CỦA CÁC LƯỢC ĐỒ CHỮ KÍ SỐ KHÁNG LƯỢNG TỬ DỰA TRÊN HÀM BĂM Máy tính lượng tử và các lược đồ chữ ký số kháng lượng tử dựa trên hàm băm đang là những lĩnh vực nổi bật trong lĩnh vực công nghệ thông tin hiện đại. Trong thời đại mà sự phát triển của công nghệ thông tin đang ngày càng trở nên quan trọng, máy tính lượng tử và các lược đồ chữ ký số kháng lượng tử mang đến những tiềm năng to lớn. Máy tính lượng tử là một dạng máy tính sử dụng nguyên lý của vật lý lượng tử để thực hiện các phép tính.

So với máy tính truyền thống dựa trên bit cổ điển, máy tính lượng tử có khả năng xử lý thông tin vượt trội, với khả năng tính Hơn nữa, việc phát triển các lược đồ chữ ký số kháng lượng tử cũng đòi hỏi sự tiến bộ trong việc xây dựng phần cứng lượng tử và các thuật toán phức tạp. Điều này đòi hỏi sự đầu tư về nghiên cứu và phát triển, cũng như một hệ thống hạ tầng mạnh mẽ để triển khai các ứng dụng lượng tử. Ngoài ra, vấn đề về bảo mật của máy tính lượng tử cũng đang được quan tâm đặc biệt. Mặc dù lượng tử học cung cấp nền tảng vững chắc cho bảo mật, nhưng cũng tồn tại những thách thức về việc phân tích và tấn công các hệ thống lượng tử.

Các công nghệ tiên tiến như việc phát triển lược đồ chữ ký số kháng lượng tử cần đảm bảo tính toàn vẹn và bảo mật của thông tin trong môi trường mạng ngày càng phức tạp và đa dạng. Trong chương này sẽ làm rõ những nội dung trên. Tổng quan về máy tính lượng tử 1. Sự ra đời của máy tính lượng tử MTLT là một trong những công nghệ tiên tiến nhất của thế kỷ 21.

Tuy nhiên, ý tưởng về MTLT đã xuất hiện từ rất sớm, vào những năm đầu của thế kỷ 20. Những năm đầu 1900, nhà toán học người Đức Max Planck đưa ra định luật bức xạ, trong đó ông giới thiệu khái niệm "hạt" của ánh sang [1, 4, 5]. Điều này đánh dấu sự khởi đầu của lý thuyết về cơ học lượng tử. Sau đó, các nhà khoa học khác như Albert Einstein, Niels Bohr, Werner Heisenberg và Erwin Schrödinger đã phát triển các khái niệm và công thức toán học để mô tả cơ học lượng tử.

Trong những năm 1980, Richard Feynman đã đề xuất ý tưởng về MTLT trong bài phát biểu tại Hội nghị Vật lý Công nghệ và Giới hạn của nó tại MIT [1, 4]. Tuy nhiên, đến tận năm 1994, Peter Shor đã công bố một giải thuật giải mã số nguyên tố bằng MTLT [4], chứng tỏ rằng MTLT có thể giải quyết các bài toán phức tạp mà MTTT không thể. 4 Kể từ đó, nhiều nhà khoa học và các công ty công nghệ hàng đầu trên thế giới đã bắt đầu đầu tư nghiên cứu và phát triển MTLT. Trong vài thập kỷ qua, MTLT đã được phát triển nhanh chóng và trở thành một trong những công nghệ tiên tiến nhất hiện nay và các nhà nghiên cứu đang tiếp tục nghiên cứu và phát triển các thiết bị và công nghệ liên quan đến MTLT, với mục tiêu tạo ra các MTLT hoàn hảo hơn và có khả năng giải quyết các bài toán phức tạp hơn nữa.1: Máy tính lượng tử 1.

Tiến trình phát triển của MTLT Trong quá trình phát triển MTLT, đã có nhiều thành tựu đáng chú ý đã đạt được. Dưới đây là một số ví dụ:  Thiết bị đầu tiên sử dụng nguyên lý lượng tử: MTLT đầu tiên được giới thiệu vào năm 1982 bởi Richard Feynman và Paul Benioff [1, 5, 6]. Thiết bị này sử dụng nguyên lý của lượng tử để thực hiện các phép tính.  Cổng cơ bản của MTLT: Cổng Hadamard, được giới thiệu vào năm 1995 bởi Peter Shor và Leonard Grover [1, 4], là một cổng cơ bản của MTLT.

Nó cho phép chuyển đổi trạng thái của một qubit từ trạng thái cơ bản sang trạng thái siêu dẫn.  Thuật toán Shor: Thuật toán Shor, được giới thiệu vào năm 1994 bởi Peter Shor, là một thuật toán quan trọng trong MTLT. Nó có thể giải quyết bài toán phân tích số nguyên tố nhanh hơn các thuật toán truyền thống [1]. 5  Thiết bị lưu trữ thông tin lượng tử: Thiết bị lưu trữ thông tin lượng tử (quantum memory) cho phép lưu trữ thông tin ở dạng lượng tử trong thời gian dài hơn [3, 8].

Điều này rất quan trọng để tạo ra MTLT thực tế.  Sự phát triển của MTLT hiện đại: MTLT hiện đại nhất hiện nay là Google's Sycamore [5], có khả năng tính toán vượt trội so với MTTT. Đây là một bước tiến lớn trong lĩnh vực MTLT và mở ra nhiều triển vọng trong việc ứng dụng của nó. Những thành tựu đó đã đánh dấu một bước tiến lớn trong lĩnh vực MTLT, mở ra nhiều triển vọng và cơ hội cho việc phát triển và ứng dụng trong tương lai.

Các thành tựu đáng chú ý của các công ty và tập đoàn Một trong những thành tựu đáng chú ý nhất của MTLT là quá trình đạt được quantum supremacy, tức là khả năng của MTLT vượt trội hơn so với MTTT trong một nhiệm vụ cụ thể [6, 9]. Thành tựu đầu tiên trong lĩnh vực này thuộc về Google vào năm 2019, khi họ đã sử dụng một MTLT 54 qubit để giải một bài toán phức tạp trong thời gian ngắn hơn so với MTTT [5]. Tuy nhiên, có những tranh cãi xung quanh việc xác định rõ ràng của khái niệm quantum supremacy [10, 11]. IBM cũng đã đạt được quantum supremacy vào năm 2020 với một MTLT 65 qubit [11].

Công ty này đã sử dụng máy tính của mình để giải một bài toán liên quan đến phân tích ngôn ngữ tự nhiên với độ chính xác cao hơn so với các giải pháp truyền thống. Ngoài Google và IBM, nhiều công ty và tổ chức khác cũng đang nỗ lực để đạt được quantum supremacy và phát triển những ứng dụng thực tiễn của MTLT. Ví dụ, vào năm 2020, Honeywell đã công bố một MTLT 6 qubit với độ chính xác cao hơn so với các MTLT cùng cấp độ. Còn Alibaba và Microsoft đang phát triển các MTLT với số lượng qubit lớn hơn [12].

Các thành tựu trên đang mở ra một tương lai rực rỡ cho lĩnh vực MTLT và nhiều ứng dụng mới có thể được tạo ra trong tương lai gần. So sánh giữa MTLT và MTTT MTLT và MTTT đều là những công cụ để xử lý thông tin, tuy nhiên chúng khác nhau về cách thức hoạt động và cách tiếp cận vấn đề. Trong Bảng 1 trình bày sự khác nhau theo một số cách tiếp cận chính tạo ra sự khác biệt vượt trội như: cách biểu diễn thông tin, thao tác lưu trữ, phương pháp giải quyết bài toán.2: So sánh sự khác biệt giữa MTLT và MTTT Tóm lại, MTLT và MTTT đều có sức mạnh và hạn chế riêng, và có thể được sử dụng để giải quyết các bài toán khác nhau. Tuy nhiên, vì tính đặc biệt của MTLT, nó có thể giải quyết các bài toán phức tạp và lớn hơn nhiều so với MTTT.

Song việc phát triển và sử dụng MTLT vẫn còn rất khó khăn và đòi hỏi sự đầu tư lớn về kỹ thuật và tài chính. Hiện nay, MTLT được sử dụng trong nhiều lĩnh vực như lĩnh vực tài chính, y học, và khoa học vật lý. Với sự phát triển của công nghệ, các ứng dụng của MTLT dự kiến sẽ tiếp tục mở rộng và đóng góp vào sự phát triển của nhiều lĩnh vực khác nhau.1: So sánh sự khác biệt giữa MTLT và MTTT Nội dung MTTT MTLT - Sử dụng các qubit để biểu diễn Sử dụng hệ thống nhị thông tin. Các qubit có trạng thái Cách biểu phân để biểu diễn thông superposition, tức có thể đồng thời diễn thông tin dưới dạng các bit 0 và mang các giá trị 0 và 1 [1- 6, 13] tin 1.

- Cung cấp sức mạnh tính toán lớn hơn [1- 6, 13]. Thông tin được xử lý - Thông tin được xử lý bằng cách sử Thao tác và dưới dạng các phép toán dụng các cổng lượng tử như cổng lưu trữ thông logic cơ bản, thực hiện Hadamard, cổng CNOT, cổng tin trên các bit. Việc giải quyết các bài - Các bài toán phức tạp có thể được toán phức tạp thường giải quyết một cách hiệu quả hơn phải dựa trên sức mạnh bằng cách sử dụng các thuật toán Phương pháp tính toán của vi xử lý và lượng tử như thuật toán Grover, thuật giải quyết bài bộ nhớ, và thường có thể toán Shor, v. Các nguyên tắc hoạt động của MTLT MTLT hoạt động dựa trên một số nguyên tắc vật lý cơ bản, bao gồm nguyên lý siêu dẫn, nguyên lý bù trừ và nguyên lý siêu vị nhân [14, 15].

Nguyên lý siêu dẫn (superconductivity) là nguyên tắc vật lý mô tả sự dẫn điện hoàn toàn của vật liệu khi được làm lạnh đến một nhiệt độ rất thấp. Điều này cho phép các dòng điện chạy qua vật liệu mà không gặp phải sự trở kháng. Nguyên tắc này được sử dụng trong các quantum bit (qubit) của MTLT để giữ trạng thái của qubit với độ chính xác cao. Nguyên lý bù trừ (quantum entanglement) là nguyên tắc vật lý mô tả sự liên kết giữa các hạt với nhau, dù chúng có thể ở cách xa nhau đến hàng trăm nghìn kilômét.

Khi hai qubit liên kết với nhau thông qua nguyên tắc này, thì sự thay đổi của một qubit sẽ ảnh hưởng đến trạng thái của qubit kia, bất kể khoảng cách giữa hai qubit đó. Nguyên lý siêu vị nhân (quantum tunneling) là nguyên tắc vật lý mô tả sự xuyên qua của các hạt qua một vật liệu mà không gặp sự trở kháng. Điều này cho phép qubit có khả năng chuyển trạng thái một cách rất nhanh chóng, mà không cần mất thời gian để vượt qua các vật liệu giữa. Các nguyên tắc này tạo nên cơ sở cho sự hoạt động của MTLT, giúp nó có thể giải quyết các bài toán phức tạp một cách nhanh chóng hơn so với MTTT.

Các thành phần cấu tạo của MTLT MTLT được tạo ra để thực hiện tính toán bằng cách sử dụng các phép toán trên các trạng thái lượng tử. Các thành phần cấu tạo của MTLT bao gồm qubit, quantum gate và quantum register [1, 6, 16, 17]. 8  Qubit: Qubit (quantum bit) là đơn vị cơ bản của MTLT và tương đương với bit trong máy tính cổ điển. Tuy nhiên, qubit không chỉ mang giá trị 0 hoặc 1 như bit, mà có thể tồn tại trong một trạng thái siêu dẫn của 0 và 1 đồng thời (superposition).

Điều này cho phép qubit thực hiện các tính toán đồng thời trên nhiều giá trị hơn là một giá trị duy nhất như trên máy tính cổ điển.