Tổng quan về luận án

Sự bùng nổ của hạ tầng viễn thông và khung khổ pháp lý giao dịch điện tử tại Việt Nam đã thúc đẩy mạnh mẽ nhu cầu ứng dụng công nghệ mật mã khóa công khai trong chính phủ điện tử và thương mại điện tử. Tại các mô hình giao dịch mật mã "nhiều-một" (many-to-one)—điển hình như cổng dịch vụ hành chính công trực tuyến, cổng thông tin tiếp nhận hồ sơ tập trung, máy chủ xác thực chứng chỉ số (CA) hay hệ thống kiểm đếm phiếu trong bầu cử điện tử—hàng triệu người dùng gửi dữ liệu xác thực tới một đầu mối tiếp nhận duy nhất. Kiến trúc này tạo ra áp lực tính toán bất đối xứng khổng lồ lên máy chủ xác thực, đòi hỏi thuật toán kiểm tra chữ ký số (verification algorithm) phải đạt tốc độ xử lý tức thời với chi phí tính toán thấp nhất nhằm ngăn ngừa hiện tượng nghẽn cổ chai.

Luận án tiến sĩ toán học "Nghiên cứu phát triển một số lược đồ chữ ký số dựa trên hệ mật Rabin và RSA" của nghiên cứu sinh Hoàng Thị Mai, chuyên ngành Cơ sở Toán học cho Tin học (Mã số: 9 46 01 10) dưới sự hướng dẫn khoa học của TS. Nguyễn Hữu Mộng và TS. Ngô Trọng Mại tại Viện Khoa học và Công nghệ quân sự - Bộ Quốc phòng (2019), đã giải quyết trực diện bài toán tối ưu hóa này. Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án xác định là: trong khi các lược đồ chuẩn hóa quốc tế như RSA, DSA và ECDSA có chi phí kiểm tra chữ ký cao do phụ thuộc vào các phép tính lũy thừa lớn hoặc phép nhân điểm trên đường cong elliptic, lược đồ Rabin gốc (Rabin, 1979) dù sở hữu chi phí kiểm tra tối ưu (chỉ một phép bình phương modulo) nhưng lại chịu chi phí tạo chữ ký cao do phải tính 4 lần ký hiệu Jacobi với độ phức tạp $O(k^2)$.

Các câu hỏi và giả thuyết nghiên cứu được xác lập tường minh:

  1. Câu hỏi nghiên cứu 1 (RQ1): Có thể chứng minh chặt chẽ về mặt toán học rằng dòng chữ ký Rabin sở hữu chi phí kiểm tra tối ưu tuyệt đối so với mọi lược đồ chuẩn hóa quốc tế (RSA, DSA, ECDSA) ở mọi cấp độ an toàn hay không?
    • Giả thuyết 1 (H1): Với cùng độ dài tham số an toàn tương đương (NIST), chi phí kiểm tra chữ ký của dòng Rabin nhỏ hơn từ 18,182 đến 65,980 lần so với ECDSA.
  2. Câu hỏi nghiên cứu 2 (RQ2): Làm thế nào để triệt tiêu hoàn toàn chi phí tính ký hiệu Jacobi trong pha tạo chữ ký của họ Rabin-Williams mà vẫn bảo toàn tính toàn vẹn và độ an toàn?
    • Giả thuyết 2 (H2): Kỹ thuật định dạng thông báo kết hợp tiền tính toán các nhân tử bù cho phép xây dựng lược đồ chữ ký không Jacobi (Jacobi-free signing) với độ phức tạp thời gian tạo chữ ký tiệm cận chi phí khai căn trực tiếp.
  3. Câu hỏi nghiên cứu 3 (RQ3): Khung toán học nào cho phép mở rộng nguyên lý khai căn bậc ba ($e=3$) trên modulo tích hai số nguyên tố và kết hợp cấu trúc đại số lai ghép giữa RSA và Rabin?
    • Giả thuyết 3 (H3): Tồn tại các cấu trúc lai ghép Loại 2 ($e \mid (p-1)$ và $e \mid (q-1)$) và Loại 3 ($e \mid (p-1)$ và $\gcd(e, q-1)=1$) cho phép tạo ra các lược đồ chữ ký xác suất và tất định có tốc độ kiểm tra $e=3$ siêu nhanh cùng tính an toàn tương đương bài toán phân tích số nguyên (Integer Factorization Problem - FP).

Khung lý thuyết của công trình tích hợp lý thuyết số đại số, lý thuyết thặng dư bậc hai/bậc ba, Định lý phần dư Trung hoa (CRT) và lý thuyết độ phức tạp tính toán (Computational Complexity Theory). Phạm vi nghiên cứu bao quát các cấp độ an toàn 80, 112, 128, 192, và 256 bits tương ứng với kích thước khóa RSA/Rabin từ 1024, 2048, 3072, 8192 đến 15360 bits và tham số đường cong elliptic từ 160 đến 512 bits. Đóng góp đột phá của luận án là đã đề xuất thành công 5 lược đồ chữ ký số mới (RW0, R0, PCRS, DRSA-RABIN3, PRSA-RABIN3) giúp giải phóng hoàn toàn gánh nặng tính toán ký hiệu Jacobi và mở rộng thành công không gian tham số bậc ba cho các giao dịch mật mã "nhiều-một".

Literature Review và Positioning

Lịch sử mật mã khóa công khai chứng kiến sự phát triển song song của ba dòng bài toán khó kinh điển: Bài toán phân tích thừa số nguyên tố (Factorization Problem - FP), Bài toán Logarithm rời rạc (Discrete Logarithm Problem - DLP), và Bài toán Logarithm rời rạc trên đường cong Elliptic (ECDLP). Năm 1977, Ron Rivest, Adi Shamir và Leonard Adleman công bố hệ mật RSA (Rivest et al., 1978) dựa trên độ khó của FP với điều kiện $\gcd(e, \phi(n)) = 1$. Để tăng tốc độ kiểm tra, RSA thường chọn số mũ công khai $e$ nhỏ như $e=3$ hoặc $e=65537$ ($2^{16}+1$). Tuy nhiên, thuật toán kiểm tra của RSA vẫn đòi hỏi $T_{RSAVer} \approx \text{len}(e) + \text{wt}(e) - 2$ phép bình phương và nhân modulo lớn.

Năm 1979, Michael O. Rabin phát minh lược đồ chữ ký Rabin (Rabin, 1979) lựa chọn $e=2$ trên modulo Blum ($n=pq$ với $p \equiv q \equiv 3 \pmod 4$). Đột phá của Rabin là đưa chi phí kiểm tra về đúng 1 phép bình phương modulo duy nhất. Tuy nhiên, phương trình đồng dư bậc hai $x^2 \equiv u \pmod n$ sinh ra 4 nghiệm phân biệt, buộc người ký phải thực hiện 4 phép tính ký hiệu Jacobi $(a/n)$ để định vị đúng bản rõ, tạo ra độ trễ lớn trong khâu ký. Đến năm 1980, Hugh C. Williams đề xuất lược đồ cải tiến Rabin-Williams (Williams, 1980) được chuẩn hóa trong ISO/IEC 9796 (ISO/IEC, 1991), giảm số phép tính ký hiệu Jacobi từ 4 xuống còn 1 phép tính duy nhất bằng cách mở rộng kiểm tra các giá trị $\pm u$ hoặc $\pm u/2$. Loukas Kiesler (1989) tiếp tục tinh chỉnh công thức khai căn kết hợp ký hiệu Jacobi, trong khi Mario Schipani (2013) mở rộng modulo Rabin sang hai số nguyên tố tổng quát bất kỳ bằng cách thay ký hiệu Jacobi bằng tổng Dedekind $s(m,n)$, song phương pháp này vẫn đòi hỏi chi phí thuật toán đáng kể.

Ở hướng mở rộng số mũ kiểm tra lên bậc ba ($e=3$), các công bố quốc tế của Williams (1986), Jennifer Seberry và cộng sự (1992), cùng R. Scheidler (1998) đã đặt nền móng cho việc giải phương trình đồng dư bậc ba trên vành $\mathbb{Z}_n$. Trên nhánh thuật toán đường cong elliptic, Don Johnson, Alfred Menezes và Scott Vanstone (2001) đã chuẩn hóa ECDSA trong ANSI X9.62, IEEE 1363 và FIPS PUB 186-4. Mặc dù ECDSA cho phép sử dụng kích thước khóa ngắn hơn nhiều so với RSA/Rabin ở cùng cấp độ an toàn (ví dụ: khóa ECDSA 256 bits tương đương khóa RSA 3072 bits), việc kiểm tra chữ ký ECDSA lại đòi hỏi phép nhân vô hướng điểm trên đường cong thông qua biểu diễn Jacobian hỗn hợp ($J + A \to J$) và quy đổi Affine ($x = X/Z^2 \bmod p$), làm tăng chi phí tính toán thực tế lên rất cao.

Positioning của luận án nằm tại điểm giao thoa giữa việc khắc phục triệt để nhược điểm tính toán ký hiệu Jacobi của dòng Rabin-Williams và việc thiết lập khung phân tích số học mới cho các hệ lai ghép RSA-Rabin bậc ba. So sánh trực tiếp với hai nghiên cứu quốc tế tiêu biểu:

  1. So với lược đồ Rabin-Williams chuẩn hóa trong ISO/IEC 9796 (Williams, 1980), các lược đồ RW0 và R0 của tác giả Hoàng Thị Mai loại bỏ hoàn toàn 100% các phép tính ký hiệu Jacobi trong quá trình ký, giảm độ phức tạp thời gian tạo chữ ký từ $O(k^2)$ của phép tính Jacobi về các phép gán số học tức thời.
  2. So với công trình của Mario Schipani (2013) vốn sử dụng tổng Dedekind có chi phí tiệm cận lớn để tổng quát hóa modulo, luận án tập trung tối ưu hóa triệt để cấu trúc số Blum và vành $\mathbb{Z}_n$ thông qua thuật toán Garner CRT cải tiến và hàm nghịch đảo tiền tính toán, mang lại hiệu năng thực thi phần mềm vượt trội.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Luận án mở rộng và làm sâu sắc thêm lý thuyết hệ mật khóa công khai dựa trên bài toán phân tích số nguyên thông qua việc phân loại và thiết lập cấu trúc đại số cho ba lớp lược đồ lũy thừa modulo $n=pq$:

  • Lớp 1 (RSA truyền thống): $\gcd(e, \phi(n)) = 1$, số mũ $e$ nguyên tố cùng nhau với cả $(p-1)$ và $(q-1)$.
  • Lớp 2 (Dòng Rabin mở rộng): $e \mid (p-1)$ và $e \mid (q-1)$, bao gồm trường hợp bậc hai $e=2$ (Rabin gốc, Williams, RW0, R0) và bậc ba $e=3$ (lược đồ PCRS đề xuất).
  • Lớp 3 (Hệ lai ghép RSA-Rabin): $e \mid (p-1)$ trong khi $\gcd(e, q-1) = 1$, được hiện thực hóa qua các lược đồ DRSA-RABIN3 và PRSA-RABIN3.

Đóng góp lý thuyết mang tính bản lề là việc chứng minh Mệnh đề 1.1 trong văn bản luận án: "Trong toàn bộ các lược đồ chữ ký được ban hành thành chuẩn với cùng bộ tham số đầu vào... thì các lược đồ dòng Rabin là có chi phí kiểm tra thấp nhất." Bằng phương pháp giải tích thuật toán số học kết hợp phương pháp nhân số lớn Karatsuba-Ofman và thuật toán rút gọn modulo Barrett, luận án đã định lượng hóa sự vượt trội về độ phức tạp của Rabin trước RSA, DSA và ECDSA.

Mô hình lý thuyết được củng cố bằng Bổ đề 2.3 thiết lập điều kiện khả vi căn bậc hai trên vành số Blum: $$\text{Với } s = \text{CRT}(s_p, s_q) = (v^{(p+1)/4} \bmod p, v^{(q+1)/4} \bmod q), \quad s^2 \bmod n \in {v, n - v} \iff \left(\frac{v}{n}\right) = 1$$ Mệnh đề 2.2 tiếp tục chứng minh tính đúng đắn toàn vẹn của lược đồ RW0: khi $(v/n) = -1$, phép nhân hiệu chỉnh $s \leftarrow d \cdot s \bmod n$ với tham số tiền tính toán $d = (c \cdot d_p \bmod p, d_q \bmod q)$ ($d_p = 2^{(p+1)/4} \bmod p, d_q = 2^{(q+1)/4} \bmod q$) sẽ tự động đưa $s^2 \bmod n$ về tập nghiệm ${2v, n - 2v}$, loại bỏ dứt điểm nhu cầu phân nhánh theo ký hiệu Jacobi.

Khung phân tích độc đáo

Khung phân tích của luận án kết hợp ba trụ cột lý thuyết: (1) Lý thuyết trường hữu hạn $\text{GF}(p)$ và luật bình phương tương hỗ Gauss, (2) Giải thuật mở rộng Tonelli-Shanks cho khai căn bậc ba của Adleman-Manders-Miller (1977) và Nozomu Nishihara cùng cộng sự (2009), và (3) Mô hình máy ngẫu nhiên (Random Oracle Model - ROM) trong phân tích an toàn mật mã.

Biên giới hạn định (boundary conditions) của các mô hình:

  • Các lược đồ RW0 và R0 vận hành trên modulo Blum $n=pq$ với $p \equiv q \equiv 3 \pmod 4$.
  • Lược đồ PCRS vận hành trên cấu trúc số nguyên tố $p \equiv q \equiv 1 \pmod 3$ (chi tiết hóa cho $p, q \equiv 4, 7 \pmod 9$).
  • Lược đồ DRSA-RABIN3 và PRSA-RABIN3 yêu cầu điều kiện cấu trúc bất đối xứng: $p \equiv 1 \pmod 3$ và $q \equiv 2 \pmod 3$, tạo ra tính chất song ánh trên $\mathbb{Z}_q^$ và phân nhánh thặng dư bậc ba trên $\mathbb{Z}_p^$.

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ thế giới quan thực chứng (positivism) và chủ nghĩa duy lý toán học (mathematical rationalism). Nghiên cứu áp dụng thiết kế đa tầng kết hợp giữa chứng minh toán học thuần túy (analytical mathematical proofs) và mô phỏng thực nghiệm độ phức tạp thuật toán (algorithmic complexity benchmarking).

Quy trình thiết kế đa tầng bao gồm:

  1. Tầng 1 - Cấu trúc đại số: Xây dựng các hàm toán học mới (hàm định dạng thông báo ngẫu nhiên hóa $f(R, H)$, hàm căn bậc ba Tonelli-Shanks mở rộng).
  2. Tầng 2 - Chứng minh an toàn hình thức: Chứng minh tính đúng đắn (correctness), tính đầy đủ (completeness) và độ an toàn tương đương (reducibility) với bài toán phân tích số nguyên lớn FP.
  3. Tầng 3 - Mô hình hóa chi phí độ phức tạp: Quy đổi mọi thao tác tính toán số học về đơn vị chuẩn Phép toán Bit (Bit Operations - BO) và đơn vị nhân cơ sở $M(k)$ theo phương pháp Karatsuba-Ofman.

Quy trình nghiên cứu rigorous

Quy trình đánh giá độ phức tạp thuật toán tuân thủ nghiêm ngặt các tiêu chuẩn quốc tế FIPS PUB 186-2/4 của NIST và ISO/IEC 15946-2. Cụ thể:

  • Chuẩn hóa tham số đầu vào: Sử dụng bộ tham số tương đương an toàn NIST từ 80 đến 256 bits (Bảng 1.3 trong luận án):
    • Mức 80-bit: $n = 1024$ bits (RSA/Rabin), $q = 160$ bits (ECDSA/DL).
    • Mức 112-bit: $n = 2048$ bits (RSA/Rabin), $q = 224$ bits (ECDSA/DL).
    • Mức 128-bit: $n = 3072$ bits (RSA/Rabin), $q = 256$ bits (ECDSA/DL).
    • Mức 192-bit: $n = 8192$ bits (RSA/Rabin), $q = 384$ bits (ECDSA/DL).
    • Mức 256-bit: $n = 15360$ bits (RSA/Rabin), $q = 512$ bits (ECDSA/DL).
  • Thiết lập giao thức đo lường vi mô:
    • Phép nhân hai số nguyên $k$-bit: $M(k) = O(k^{\ln 3 / \ln 2})$.
    • "Thuật toán rút gọn một số 2.k-bít theo một modulo k-bít theo thuật toán của Barrett cần đến 2 phép nhân các số k-bít... Chi phí thực hiện một phép nhân rút gọn theo modulo n là xấp xỉ $3 \cdot M(\text{len}(n)/2)$."
    • Phép tính ký hiệu Jacobi: $O(k^2)$.
    • Phép tính nghịch đảo modular và phép chia: $O(k^2 / \ln k)$.

Data và phân tích

Dữ liệu phân tích trong luận án là dữ liệu giải tích số học chính xác tuyệt đối được tính toán qua công thức vi phân độ phức tạp. Luận án xây dựng hàm tỷ số chi phí kiểm tra giữa ECDSA và Rabin: $$T_{ECDSAVer} \approx \frac{22}{3} \cdot \text{len}(p) \cdot M(\text{len}(p))$$ $$T_{RabinVer} \approx 3 \cdot M\left(\frac{\text{len}(n)}{2}\right) = 3 \cdot \left(\frac{1}{2}\right)^{\ln 3/\ln 2} M(\text{len}(n))$$ $$\frac{T_{ECDSAVer}}{T_{RabinVer}} \approx \frac{22}{9} \cdot \text{len}(p) \cdot \left[\frac{\text{len}(p)}{\text{len}(n)}\right]^{\ln 3 / \ln 2}$$

Dữ liệu tính toán định lượng chính xác được công bố tại Bảng 1.5 của luận án:

  • Tại mức 80-bit ($\text{len}(p)=160, \text{len}(n)=1024$): $[\text{len}(p)/\text{len}(n)]^{\ln 3/\ln 2} \approx 0.053$, tỷ số $T_{ECDSAVer} / T_{RabinVer} = \mathbf{65.980}$.
  • Tại mức 112-bit ($\text{len}(p)=224, \text{len}(n)=2048$): tỷ lệ cơ sở $0.030$, tỷ số $T_{ECDSAVer} / T_{RabinVer} = \mathbf{52.408}$.
  • Tại mức 128-bit ($\text{len}(p)=256, \text{len}(n)=3072$): tỷ lệ cơ sở $0.019$, tỷ số $T_{ECDSAVer} / T_{RabinVer} = \mathbf{38.906}$.
  • Tại mức 192-bit ($\text{len}(p)=384, \text{len}(n)=8192$): tỷ lệ cơ sở $0.008$, tỷ số $T_{ECDSAVer} / T_{RabinVer} = \mathbf{23.421}$.
  • Tại mức 256-bit ($\text{len}(p)=512, \text{len}(n)=15360$): tỷ lệ cơ sở $0.005$, tỷ số $T_{ECDSAVer} / T_{RabinVer} = \mathbf{18.182}$.
Cấp độ an toàn (bits) Độ dài khóa ECDSA $p$ (bits) Độ dài khóa RSA/Rabin $n$ (bits) $[\text{len}(p)/\text{len}(n)]^{\ln 3/\ln 2}$ Tỷ số chi phí kiểm tra $T_{ECDSAVer} / T_{RabinVer}$
80 (SKIPJACK) 160 1024 0.053 65.980 lần
112 (Triple-DES) 224 2048 0.030 52.408 lần
128 (AES-Small) 256 3072 0.019 38.906 lần
192 (AES-Medium) 384 8192 0.008 23.421 lần
256 (AES-Large) 512 15360 0.005 18.182 lần

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Minh chứng toán học về tốc độ kiểm tra vượt trội của dòng Rabin: Nghiên cứu đã chứng minh bằng giải tích toán học rằng lược đồ Rabin có tốc độ kiểm tra chữ ký nhanh nhất thế giới trong số các chuẩn mã hóa khóa công khai hiện hành, vượt trội gấp 18.182 đến 65.980 lần so với ECDSA, vượt trội hơn $2(\text{len}(k) + \text{wt}(k) - 2)$ phép nhân modulo của DSA và ưu việt hơn hẳn RSA ($e \ge 3$).
  2. Loại bỏ hoàn toàn chi phí tính ký hiệu Jacobi trong lược đồ RW0: "Giá trị $s$ tìm được trong thuật toán tạo chữ ký theo lược đồ RW0 chính là giá trị tính theo công thức với $s_p, s_q$... không cần tính toán ký hiệu Jacobi." Phát hiện này đập tan rào cản tính toán $O(k^2)$ vốn tồn tại suốt 4 thập kỷ trong dòng chữ ký Rabin-Williams kể từ công bố năm 1980 của Williams.
  3. Cơ chế tiền tính toán hệ số bù đại số: Việc thiết lập bộ khóa mật $(n, p, q, c, d)$ với $d$ được tính sẵn qua Garner CRT từ $d_p = 2^{(p+1)/4} \bmod p$ và $d_q = 2^{(q+1)/4} \bmod q$ cho phép chuyển dịch toàn bộ gánh nặng tính toán ký hiệu Jacobi sang phép nhân modulo đơn giản $s \leftarrow d \cdot s \bmod n$ chỉ khi $(v/n) = -1$.
  4. Phát triển thành công lược đồ chữ ký bậc ba PCRS: Xây dựng hoàn chỉnh thuật toán ký xác suất cho trường hợp $e=3$ trên modulo Blum mở rộng, trong đó pha kiểm tra chỉ đòi hỏi duy nhất 1 phép lũy thừa bậc ba $v \equiv s^3 \pmod n$, duy trì chi phí kiểm tra cực thấp.
  5. Thiết lập kiến trúc chữ ký lai ghép DRSA-RABIN3 và PRSA-RABIN3: Khai thác đặc tính $\gcd(3, q-1)=1$ để biến phép khai căn bậc ba modulo $q$ thành phép lũy thừa đơn ánh $x_q \equiv u^{d_q} \pmod q$, đồng thời xử lý khai căn bậc ba trên $\mathbb{Z}_p^*$ ($3 \mid (p-1)$) bằng thuật toán Tonelli-Shanks cải tiến, kết hợp hoàn hảo ưu điểm bảo mật của RSA và tốc độ của Rabin.
                                       Nhận thông báo $m$
                              Sinh số ngẫu nhiên $R \in \{0,1\}^k$
                             Tính băm $u = f(R, \text{Hash}(m))$
                         Khai căn song song trên 2 trường nguyên tố:
                           $s_p = u^{(p+1)/4} \bmod p$
                           $s_q = u^{(q+1)/4} \bmod q$
                            Ghép nghiệm Garner CRT: $s = \text{CRT}(s_p, s_q)$
                          [ ĐÚNG ]                          [ SAI ]
                       $((v/n) = 1)$                     $((v/n) = -1)$
                                  Xuất chữ ký hợp lệ $(R, s)$
                                   (KHÔNG CẦN TÍNH JACOBI)

Implications đa chiều

  • Ý nghĩa lý thuyết: Công trình cung cấp hệ thống phân loại toàn diện cho các hệ mật lũy thừa modulo trên vành $\mathbb{Z}_n$, mở rộng lý thuyết thặng dư bậc cao và giải quyết bài toán tối ưu hóa nghiệm số học trong mật mã khóa công khai.
  • Ý nghĩa phương pháp luận: Khung đánh giá độ phức tạp bit chuẩn hóa theo phép nhân Karatsuba-Ofman và rút gọn Barrett thiết lập một chuẩn mực phương pháp luận tin cậy cho các nghiên cứu đánh giá hiệu năng thuật toán mật mã trong tương lai.
  • Ứng dụng thực tiễn: Các lược đồ RW0, R0 và DRSA-RABIN3 là giải pháp công nghệ lý tưởng cho các hạ tầng dịch vụ công quốc gia, hệ thống IoT công nghiệp (nơi thiết bị đầu cuối có năng lực tính toán hạn chế cần thuật toán ký đơn giản) và các máy chủ chứng thực số quy mô lớn xử lý hàng chục triệu lượt xác thực mỗi giây.
  • Đóng góp chính sách: Kết quả nghiên cứu cung cấp cơ sở khoa học xác đáng cho các cơ quan quản lý nhà nước (Ban Cơ yếu Chính phủ, Bộ Thông tin và Truyền thông) trong việc ban hành tiêu chuẩn kỹ thuật chữ ký số chuyên dùng cho Chính phủ điện tử và Đô thị thông minh.

Limitations và Future Research

Mặc dù đạt được những đột phá vượt bậc về mặt lý thuyết và hiệu năng, luận án thẳng thắn chỉ ra các giới hạn nghiên cứu:

  1. Giới hạn cấu trúc khóa: Các lược đồ RW0 và R0 vẫn phụ thuộc vào cấu trúc số Blum ($p \equiv q \equiv 3 \pmod 4$), chưa mở rộng hoàn toàn sang tích của hai số nguyên tố ngẫu nhiên bất kỳ như hệ RSA tiêu chuẩn.
  2. Kích thước chữ ký: Lược đồ xác suất RW0 và PCRS yêu cầu đính kèm tham số ngẫu nhiên $R \in {0,1}^k$ vào chữ ký số $(s, R)$, dẫn đến độ dài chữ ký tăng thêm $k$ bits so với lược đồ tất định.
  3. Phạm vi an toàn hậu lượng tử: Độ an toàn của toàn bộ các lược đồ đề xuất vẫn neo vào độ khó của bài toán phân tích số nguyên lớn FP, vốn có nguy cơ bị phá vỡ trên máy tính lượng tử bởi thuật toán Shor ($O((\log n)^3)$).

Chương trình nghiên cứu tiếp theo (Future Research Agenda) bao gồm 4 hướng chiến lược:

  • Mở rộng kỹ thuật triệt tiêu Jacobi cho modulo $n = pq$ với $p, q$ là số nguyên tố tổng quát bất kỳ kết hợp cấu trúc thặng dư bậc cao.
  • Triển khai tối ưu hóa mã nguồn mức vi kiến trúc phần cứng (FPGA, ASIC, tập lệnh mở rộng AVX-512) để lượng hóa tốc độ thực thi nano-giây trong môi trường siêu tính toán.
  • Nghiên cứu tích hợp cơ chế chống tấn công kênh kề (Side-Channel Attacks - SCA) và tấn công phân tích năng lượng vi sai (DPA) đối với thuật toán ký không Jacobi.
  • Thử nghiệm kết hợp nguyên lý tối ưu hóa kiểm tra của Rabin vào các hệ mật mã hậu lượng tử dựa trên mạng tinh thể (Lattice-based Cryptography) như Dilithium hoặc Falcon.

Tác động và ảnh hưởng

  • Tác động học thuật: Luận án mở ra hướng tiếp cận mới trong thiết kế hệ mật mã khóa công khai có cấu trúc bất đối xứng về chi phí tính toán, với tiềm năng tạo ra hàng trăm trích dẫn học thuật trong các nhánh mật mã ứng dụng và lý thuyết số tính toán.
  • Chuyển đổi công nghiệp: Ứng dụng trực tiếp vào kiến trúc của các Trung tâm chứng thực chữ ký số công cộng (Public CA) và chuyên dùng chính phủ, giúp cắt giảm hơn 70-80% chi phí đầu tư phần cứng máy chủ xác thực nhờ tốc độ kiểm tra vượt bậc của dòng Rabin.
  • Lợi ích kinh tế - xã hội: Giảm thiểu độ trễ giao dịch trong các hệ sinh thái thanh toán điện tử, ngân hàng số, hải quan điện tử và sàn giao dịch chứng khoán, nâng cao năng lực phục vụ hàng triệu giao dịch đồng thời trong giờ cao điểm.
  • Giá trị quốc tế: Đóng góp các giải thuật tối ưu hóa có khả năng đề xuất bổ sung vào các tiêu chuẩn mật mã quốc tế thuộc danh mục ISO/IEC JTC 1/SC 27.

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Giới nghiên cứu mật mã: Tiếp cận khung phân tích toán học mẫu mực về lý thuyết thặng dư bậc hai/bậc ba và phương pháp luận đánh giá độ phức tạp bit chính xác.
  • Kỹ sư R&D và Kiến trúc sư hệ thống an toàn thông tin: Sở hữu các lược đồ chữ ký số mã nguồn mở có chi phí kiểm tra cực thấp để tích hợp vào các thiết bị IoT, Smart Cards, thiết bị vi điều khiển nhúng và hệ thống máy chủ xác thực tải cao.
  • Cơ quan quản lý và hoạch định chính sách: Có cơ sở dữ liệu định lượng khoa học để xây dựng bộ tiêu chuẩn kỹ thuật mật mã quốc gia phục vụ chuyển đổi số và phát triển kinh tế số bền vững.

Câu hỏi chuyên sâu

1. Đóng góp lý thuyết độc đáo nhất của luận án là gì và đã mở rộng lý thuyết nào?
Trả lời: Đóng góp độc đáo nhất là việc xây dựng thành công cơ chế tạo chữ ký số dòng Rabin-Williams hoàn toàn không sử dụng ký hiệu Jacobi (lược đồ RW0), mở rộng trực tiếp lý thuyết thặng dư bậc hai và cấu trúc nhóm nhân $\mathbb{Z}_n^*$ của Williams (1980) và ISO/IEC 9796 thông qua kỹ thuật tiền tính toán hệ số bù Garner CRT.

2. Đột phá phương pháp luận của luận án khi so sánh với các công bố quốc tế tiền nhiệm?
Trả lời: So với Williams (1980) (cần 1 phép Jacobi) và Schipani (2013) (cần tổng Dedekind phức tạp), luận án đã thiết lập quy trình tính toán song song trên hai trường con $\text{GF}(p)$ và $\text{GF}(q)$ kết hợp hàm định dạng $f(R, H)$ để chuyển đổi toàn bộ nhánh phân kỳ Jacobi thành một phép so sánh tập nghiệm ${v, n-v}$ và phép nhân modulo bù, đạt độ phức tạp tiệm cận tối ưu $O(1)$ cho pha quyết định nhánh.

3. Phát hiện thực nghiệm/định lượng gây bất ngờ nhất trong nghiên cứu?
Trả lời: Phát hiện định lượng gây bất ngờ nhất là tại cấp độ an toàn 80 bits, chi phí kiểm tra của ECDSA cao gấp 65.980 lần so với Rabin; và ngay cả ở cấp độ an toàn tối đa 256 bits (khóa RSA/Rabin 15360 bits, khóa EC 512 bits), chi phí kiểm tra của ECDSA vẫn cao gấp 18.182 lần so với Rabin. Điều này đập tan định kiến phổ biến cho rằng ECDSA luôn vượt trội hơn các hệ mật dựa trên bài toán phân tích số trong mọi tình huống triển khai.

4. Nghiên cứu có cung cấp giao thức tái lập (Replication Protocol) hoàn chỉnh không?
Trả lời: Có. Luận án mô tả chi tiết từng bước thuật toán bằng giả mã toán học chuẩn xác (từ Thuật toán sinh khóa, Thuật toán ký đến Thuật toán kiểm tra cho cả 5 lược đồ RW0, R0, PCRS, DRSA-RABIN3, PRSA-RABIN3) kèm theo các bổ đề chứng minh tính đúng đắn đại số, cho phép tái lập 100% trên mọi ngôn ngữ lập trình mật mã như C/C++, Rust hoặc Python (OpenSSL/GMP).

5. Lộ trình nghiên cứu 10 năm được định hình như thế nào?
Trả lời: Lộ trình tập trung vào: (1) Chuẩn hóa các lược đồ cải tiến vào tiêu chuẩn mật mã quốc gia, (2) Phát triển thư viện mật mã tối ưu hóa trên phần cứng nhúng và máy chủ đám mây, và (3) Nghiên cứu cơ chế lai ghép kháng lượng tử (Post-Quantum Hybrid Schemes) kết hợp dòng Rabin tối ưu với mật mã mạng tinh thể.

Kết luận

Luận án tiến sĩ của tác giả Hoàng Thị Mai đã hoàn thành xuất sắc mục tiêu nghiên cứu với 6 đóng góp cốt lõi:

  1. Chứng minh toán học chặt chẽ Mệnh đề 1.1 khẳng định lược đồ dòng Rabin có chi phí kiểm tra thấp nhất tuyệt đối trong toàn bộ các chuẩn chữ ký số quốc tế hiện hành.
  2. Sáng tạo lược đồ chữ ký RW0 triệt tiêu hoàn toàn 100% phép tính ký hiệu Jacobi trong thuật toán tạo chữ ký, khắc phục triệt để điểm nghẽn tính toán kéo dài gần 40 năm của họ Rabin-Williams.
  3. Đề xuất lược đồ R0 tối ưu hóa hiệu năng tạo chữ ký cho mô hình chữ ký xác suất.
  4. Xây dựng thành công lược đồ chữ ký bậc ba PCRS ($e=3$) dựa trên thuật toán khai căn Tonelli-Shanks mở rộng.
  5. Thiết kế hoàn chỉnh hai lược đồ chữ ký lai ghép DRSA-RABIN3 (tất định) và PRSA-RABIN3 (xác suất) kết hợp hoàn hảo ưu điểm cấu trúc của RSA và Rabin.
  6. Cung cấp hệ thống dữ liệu định lượng độ phức tạp bit chính xác tuyệt đối, mở ra hướng ứng dụng mang tính cách mạng cho các giao dịch mật mã "nhiều-một" trong kỷ nguyên số hóa quốc gia.