Tổng quan về luận án

Sự bùng nổ của kỷ nguyên Internet vạn vật (IoT), thiết bị di động thông minh, thiết bị tính toán biên và các hệ thống điều khiển công nghiệp nhúng đặt ra những yêu cầu chưa từng có về an toàn, bảo mật dữ liệu. Chiếm tới hơn 90% tổng số thiết bị tính toán hiện nay trên toàn cầu, các hệ thống nhúng hoạt động trong môi trường truyền thông không dây tiềm ẩn nguy cơ cao về nghe lén, giả mạo và rò rỉ dữ liệu nhạy cảm. Tuy nhiên, rào cản cốt lõi nằm ở đặc thù phần cứng: năng lực xử lý của vi xử lý (CPU) hạn chế, dung lượng bộ nhớ (RAM, ROM, Flash) eo hẹp và hoạt động dựa trên nguồn pin đòi hỏi tối ưu hóa năng lượng nghiêm ngặt. Trong bối cảnh đó, các nguyên thủy mật mã khóa công khai truyền thống như RSA (yêu cầu độ dài khóa từ 2048-bit đến 3072-bit để đạt mức an toàn 112-bit đến 128-bit) trở nên quá nặng nề, gây quá tải tính toán và không thể đáp ứng yêu cầu độ trễ thời gian thực trong các giao thức như TLS, OpenVPN hay IKEv2/IPSec.

Mật mã đường cong Elliptic (Elliptic Curve Cryptography - ECC) nổi lên như giải pháp thay thế vượt trội nhờ kích thước khóa nhỏ gọn hơn nhiều (khóa ECC 256-bit cung cấp độ an toàn tương đương RSA 3072-bit theo khuyến nghị của NIST), giúp tiết kiệm băng thông và không gian lưu trữ. Dẫu vậy, việc triển khai thực tế ECC trên thiết bị nhúng vẫn đối mặt với bài toán nghẽn cổ chai: phép nhân vô hướng điểm $k.P$ trên đường cong Elliptic tiêu tốn phần lớn thời gian và tài nguyên xử lý, bản chất bị chi phối bởi các phép toán số học trường hữu hạn tầng thấp (nhân, bình phương, nghịch đảo modulo). Khoảng trống nghiên cứu (research gap) lớn hiện nay là:

  1. Các mô hình toán học kinh điển đánh giá chi phí thuật toán nhân số lớn thường chỉ tập trung đếm số phép nhân cơ bản ($M$) mà bỏ qua phép cộng ($A$) và chi phí truy cập bộ nhớ (Load/Store), điều này không còn phản ánh chính xác hiệu năng trên các kiến trúc vi xử lý hiện đại.
  2. Các giải pháp tăng tốc phần cứng chuyên dụng (FPGA, GPU, ASIC) tuy mang lại hiệu năng cao nhưng kém linh hoạt, chi phí đắt đỏ và khó thay đổi tham số chuẩn; trong khi các nghiên cứu phần mềm tối ưu dựa trên tham số đặc biệt (như Curve25519, FourQ) lại không phù hợp cho các tiêu chuẩn an ninh quốc gia vốn bắt buộc sử dụng tham số đường cong chuẩn của NIST trên trường nguyên tố $GF(p)$ và trường nhị phân $\mathbb{F}_{2^m}$.
  3. Thiếu vắng một giải pháp tối ưu hóa toàn diện kết hợp chặt chẽ giữa thuật toán cấu trúc toán học bậc cao với tập chỉ lệnh mở rộng SIMD NEON sẵn có trên vi xử lý ARMv7 và ARMv8.

Luận án tiến sĩ của Nghiên cứu sinh Phạm Văn Lực, thực hiện tại Học viện Công nghệ Bưu chính Viễn thông dưới sự hướng dẫn của PGS. Hoàng Đăng Hải và TS. Lều Đức Tân, đã giải quyết triệt để các thách thức trên với đề tài: "Giải pháp nâng cao hiệu quả sử dụng mật mã đường cong Elliptic trên các thiết bị tính toán nhúng". Luận án xác lập các câu hỏi nghiên cứu ($RQ$) và giả thuyết khoa học ($H$):

  • $RQ_1$: Làm thế nào để xây dựng một mô hình đánh giá chi phí thuật toán nhân số lớn chính xác dựa trên tương quan thời gian thực thi giữa phép nhân và phép cộng trên vi xử lý hiện đại?
  • $RQ_2$: Cấu trúc thuật toán nhân phân tầng nào kết hợp tối ưu với tập chỉ lệnh SIMD NEON trên trường nhị phân $\mathbb{F}_{2^m}$ nhằm đạt hiệu năng cao nhất trên ARMv7 và ARMv8?
  • $RQ_3$: Kỹ thuật biểu diễn vô hướng và xử lý song song nào tối ưu hóa được phép nhân điểm trên trường nguyên tố $GF(p)$ mà vẫn đảm bảo tính tương thích với tham số chuẩn NIST?
  • $H_1$: Việc tái định thức mô hình chi phí theo tỷ số $m/a$ (thời gian nhân/thời gian cộng) cho phép xác định chính xác cấu trúc nhân phân tầng tối ưu toàn cục.
  • $H_2$: Tận dụng triệt để kiến trúc SIMD NEON (chỉ lệnh VMULL.P8, PMULL, PMULL2) kết hợp phân rã Karatsuba sẽ tăng tốc độ nhân đa thức nhị phân lên hơn 5 lần so với phương pháp truyền thống.
  • $H_3$: Kỹ thuật song song hai phép nhân trường trên thanh ghi NEON kết hợp cải tiến dạng biểu diễn NAF/wNAF sẽ giảm thiểu đáng kể số chu kỳ thực thi phép nhân vô hướng $k.P$ trên hệ tọa độ Jacobian.

Phạm vi thực nghiệm của luận án tập trung trên hai nền tảng phần cứng tiêu chuẩn công nghiệp: Kit ZesBoard Xilinx Zynq-7000 SoC ZC702 (chứa lõi kép ARM Cortex-A9 32-bit, kiến trúc ARMv7) và NXP i.MX 8M (4 lõi ARM Cortex-A53 1.5 GHz 64-bit, kiến trúc ARMv8-A), ứng dụng trực tiếp vào hai giao thức truyền thông an toàn ECDH và ECDSA.

Literature Review và Positioning

Lịch sử nghiên cứu tối ưu hóa hệ mật đường cong Elliptic cho hệ thống tính toán giới hạn tài nguyên phân hóa thành ba dòng tư tưởng khoa học chính:

Thứ nhất, dòng nghiên cứu về cấu trúc thuật toán số học thuần túy: Hankerson, Menezes và Vanstone (2004) đã thiết lập nền tảng chuẩn mực cho số học đường cong Elliptic, phân định rõ mô hình phân tầng ba lớp (Upper Layer: nhân vô hướng $k.P$; Middle Layer: cộng/nhân đôi điểm trên tọa độ Affine/Projective/Jacobian; Lower Layer: số học trường hữu hạn). Các công trình của Barrett (1986) và Montgomery (1985) tập trung vào tối ưu phép giảm modulo nhanh. Về biểu diễn vô hướng, kỹ thuật Non-Adjacent Form (NAF) và sliding window NAF (wNAF) được chứng minh giúp giảm mật độ các bit khác không của số mũ $k$ xuống xấp xỉ $1/(w+1)$, từ đó giảm số lượng phép cộng điểm trên đường cong. Tuy nhiên, các tiếp cận này đa phần giả định mô hình tính toán tuần tự lý thuyết, chưa tính đến độ trễ pipeline và xung đột tài nguyên thanh ghi trong vi xử lý hiện đại.

Thứ hai, dòng nghiên cứu tăng tốc phần cứng chuyên biệt: Moncef Amara và Amar Siad (2011), Sandeeps và Hameen Shanavas I (2012) tập trung vào việc thiết kế bộ đồng xử lý mật mã trên nền tảng FPGA và mạch tích hợp ASIC để thực thi trực tiếp các phép toán nhân điểm ECC. Mặc dù các giải pháp phần cứng đạt tốc độ ấn tượng, chúng bộc lộ nhược điểm cố hữu: tính linh hoạt kém, chi phí sản xuất phần cứng cao, khó nâng cấp khi phát sinh lỗ hổng thuật toán và việc cố định tham số gây cản trở khi hệ thống cần chuyển đổi giữa các đường cong khác nhau hoặc tích hợp vào các thiết bị tiêu dùng phổ thông.

Thứ ba, dòng nghiên cứu tối ưu hóa phần mềm dựa trên kiến trúc vi xử lý (Architecture-aware Software Optimization):

  • Bernstein và Schwabe (2012) đã công bố triển khai đột phá các nguyên thủy mật mã phi chuẩn trên Cortex-A8 sử dụng NEON engine ở mức an toàn 128-bit với đường cong Montgomery và Edwards trên trường nguyên tố $\mathbb{F}_{2^{256}-19}$, đạt 527.000 chu kỳ (Kcycles) cho phép tính khóa bí mật chia sẻ ECDH có khả năng kháng tấn công kênh kề.
  • Hamburg (2012) tối ưu hóa trên Cortex-A9 không dùng NEON với đường cong Edwards trên trường $\mathbb{F}_{2^{252}-2^{232}-1}$, đạt mốc 616 Kcycles.
  • Chen et al. (2014) với đường cong FourQ mang lại tốc độ vượt bậc nhưng dựa hoàn toàn trên cấu trúc đường cong đặc biệt có cấu trúc nhân tử phức nội mạc (endomorphism).
  • Về trường nhị phân, các nghiên cứu tận dụng chỉ lệnh VMULL.P8 trên ARMv7 để xây dựng bộ nhân 64-bit kết hợp phân rã Karatsuba trên các trường $\mathbb{F}{2^{251}}$, $\mathbb{F}{2^{283}}$, $\mathbb{F}_{2^{571}}$. Trên ARMv8, các nghiên cứu khai thác chỉ lệnh PMULL 64-bit giúp tăng tốc độ nhân đa thức lên 5,5 lần so với ARMv7.

Tranh luận học thuật cốt lõi tồn tại giữa hai trường phái: Một bên ủng hộ việc chuyển đổi sang các đường cong đặc thù (Edwards, Montgomery, Twisted Edwards) nhằm tận dụng tối đa cấu trúc số học đặc biệt để đạt tốc độ cực hạn; bên còn lại kiên định với việc tối ưu hóa các đường cong tiêu chuẩn do Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST) khuyến nghị (như P-256, B-283, B-571) bởi đây là yêu cầu bắt buộc trong các hệ thống an ninh viễn thông, chính phủ và chuẩn mã hóa quốc tế (FIPS 186-2, ISO/IEC 14888-3). Luận án của NCS Phạm Văn Lực định vị chắc chắn ở trường phái thứ hai, tập trung giải quyết bài toán hóc búa: Làm thế nào để các tham số đường cong chuẩn của NIST đạt được hiệu năng tiệm cận các đường cong đặc thù trên phần cứng ARM thương mại mà không cần thêm phần cứng hỗ trợ chuyên biệt.

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

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

Luận án mang lại những bước tiến lý thuyết quan trọng trong lĩnh vực mật mã số học tính toán:

  1. Xây dựng mô hình toán học đánh giá chi phí thuật toán nhân số lớn theo tỷ số $m/a$: Luận án phá vỡ định kiến truyền thống khi chỉ đếm số phép nhân cơ bản. Tác giả chứng minh rằng trên các vi xử lý RISC hiện đại, thời gian thực hiện một phép nhân cơ bản ($m$) và một phép cộng cơ bản ($a$) không còn chênh lệch quá lớn (thường $m \approx 2a$). Luận án thiết lập hàm mục tiêu chi phí tổng thể $C(t) = N_m \cdot m + N_a \cdot a + N_{ld/st} \cdot c_{mem}$, từ đó quy đổi toàn bộ chi phí về bội số của phép cộng cơ bản, cho phép tìm kiếm thuật toán tối ưu toán học chính xác cho các số nguyên/đa thức có độ dài $t$ từ từ (words) với $t \in [1, 480]$.

  2. Lý thuyết nhân phân tầng (Layered Multiplication) trong trường hữu hạn: Mở rộng và tổng quát hóa thuật toán nhân Karatsuba đa tầng. Tác giả chứng minh rằng việc kết hợp phân tầng linh hoạt giữa các khối nhân kích thước nhỏ (nhân phổ thông, Karatsuba 2 phân đoạn, 3 phân đoạn) với các bộ nhân cơ sở 128-bit và 192-bit sẽ tạo ra chi phí tính toán thấp hơn đáng kể so với việc đệ quy đồng nhất một thuật toán duy nhất.

  3. Mở rộng lý thuyết dạng biểu diễn số nguyên NAF: Đề xuất dạng biểu diễn "Hầu không liền kề" (Almost Non-Adjacent Form) và thuật toán mới tìm NAF($k$), giúp tối ưu hóa trọng số Hamming của số mũ bí mật $k$, trực tiếp làm giảm số phép toán cộng điểm trên nhóm Abel của đường cong Elliptic.

       Mô hình 3 tầng nâng cao hiệu năng hệ mật ECC của luận án

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

Khung phân tích của luận án tích hợp một cách chặt chẽ ba tầng tương tác:

  • Tầng số học cơ sở (Microarchitectural Arithmetic Layer): Ánh xạ cấu trúc đại số của trường nhị phân $\mathbb{F}_{2^m}$ và trường nguyên tố $GF(p)$ trực tiếp vào tập thanh ghi vector 128-bit của ARM NEON (Q0-Q15 trên ARMv7 và V0-V31 trên ARMv8).
  • Tầng hình học đại số (Algebraic Geometric Layer): Tối ưu hóa luật nhóm đường cong $y^2 = x^3 + ax + b$ trong hệ tọa độ xạ ảnh Jacobian $(X/Z^2, Y/Z^3)$ để loại bỏ hoàn toàn phép chia/nghịch đảo trường đắt đỏ trong quá trình nhân điểm lặp, chuyển đổi sang chuỗi các phép nhân và bình phương đồng thời.
  • Tầng thực thi song song (SIMD Parallelism): Khai thác cơ chế đa làn (multiple lanes) để thực thi hai phép nhân trường độc lập trong cùng một luồng lệnh SIMD, giải quyết triệt để sự mất cân bằng giữa đơn vị tính toán số học ALU và đơn vị nạp/lưu dữ liệu (Load/Store Unit).

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) kết hợp phương pháp luận thực nghiệm định lượng chính xác cao. Toàn bộ các đề xuất lý thuyết đều được chuyển hóa thành mã nguồn thực thi bậc thấp và đo đạc trực tiếp trên phần cứng vật lý.

Thiết kế đa tầng thực nghiệm bao gồm:

  1. Nền tảng ARMv7-A (32-bit): Thử nghiệm trên Kit ZesBoard (Xilinx Zynq-7000 SoC ZC702) tích hợp vi xử lý ARM Cortex-A9 lõi kép, tập lệnh ARMv7 với đơn vị mở rộng NEON (16 thanh ghi 128-bit Q0-Q15 hoặc 32 thanh ghi 64-bit D0-D31).
  2. Nền tảng ARMv8-A (64-bit): Thử nghiệm trên Kit NXP i.MX 8M Quad-core ARM Cortex-A53, hỗ trợ kiến trúc AArch64 với 31 thanh ghi tổng quát 64-bit (X0-X30) và 32 thanh ghi vector 128-bit (V0-V31), tích hợp các chỉ lệnh chuyên dụng nhân đa thức nhị phân PMULL và PMULL2.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu được chuẩn hóa qua các giai đoạn nghiêm ngặt:

  • Xây dựng giải thuật số học: Thiết kế thuật toán nhân phân tầng cho các đa thức bậc $t = 32, 48, 64, 128, 256, 480$ trên trường nhị phân và thuật toán nhân kép song song trên trường nguyên tố $GF(p)$.
  • Cài đặt mức hệ thống: Lập trình kết hợp giữa ngôn ngữ C (sử dụng hàm nội tại NEON Intrinsics trong thư viện <arm_neon.h>) và hợp ngữ trực tiếp (Assembly ASM inline / file .s độc lập) nhằm kiểm soát tuyệt đối việc gán thanh ghi, loại bỏ hiện tượng tràn thanh ghi (register spilling) và tối ưu hóa đường ống lệnh (pipeline stages: Fetch, Decode, Rename, Dispatch, Execute, Writeback).
  • Kiểm thử tính đúng đắn: Xác thực kết quả đầu ra của tất cả các phép toán điểm, ký số ECDSA và bắt tay ECDH với tập dữ liệu vector kiểm chuẩn (test vectors) do NIST công bố.
  • Đo lường hiệu năng: Sử dụng bộ đếm chu kỳ hiệu năng phần cứng (Performance Monitor Unit - PMU) của ARM để đo chính xác số chu kỳ xung nhịp (clock cycles) và thời gian thực thi (microsecond/millisecond) trung bình qua hàng triệu lượt chạy thử nghiệm trên nền hệ điều hành Linux nhúng.

Data và phân tích

Các chỉ số đo lường hiệu năng được đối chiếu trực tiếp giữa thuật toán cải tiến của luận án và các thư viện mã nguồn mở chuẩn mực (như OpenSSL 1.1.1) cũng như các công bố quốc tế tiêu biểu trong cùng điều kiện phần cứng:

  • Số chu kỳ nạp/lưu (VLD/VST).
  • Thời gian thực hiện các phép toán cơ sở: Phép nhân trường $\mathbb{F}{2^{283}}$, phép nhân trường $GF(p{256})$, phép cộng điểm (Point Add), phép nhân đôi điểm (Point Double).
  • Thời gian tính toán tổng thể các giao thức: Trao đổi khóa ECDH, sinh chữ ký số ECDSA (Sign), kiểm tra chữ ký số ECDSA (Verify).

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

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

  1. Xác lập bảng chi phí tối ưu cho thuật toán nhân phân tầng: Với giả thiết thực nghiệm $m = 2a$ trên ARM Cortex-A, luận án đã tính toán và chứng minh chính xác cấu trúc phân tầng đạt chi phí tối thiểu cho mọi kích thước $t$. Cụ thể, với các đa thức nhị phân lớn trên đường cong NIST $\mathbb{F}{2^{283}}$ và $\mathbb{F}{2^{571}}$, việc phân rã thành các bộ nhân cơ sở 128-bit và 192-bit bằng chỉ lệnh SIMD mang lại chi phí thấp hơn từ 15% đến 28% so với phương pháp Karatsuba cổ điển.

  2. Khai thác đột phá chỉ lệnh VMULL.P8 trên ARMv7: Luận án đề xuất kỹ thuật sắp xếp lại luồng dữ liệu theo hướng hàng (row-wise data flow), cho phép chỉ lệnh VMULL.P8 thực hiện nhân đồng thời 8 đa thức 8-bit trên 8 làn dữ liệu độc lập, sau đó kết hợp biến đổi vector $C_i$ thành $D_i$ để xây dựng bộ nhân đa thức 128-bit và 192-bit tốc độ cao trên Zynq-7000 SoC.

  3. Tận dụng sức mạnh vượt trội của PMULL/PMULL2 trên ARMv8: Trên vi xử lý 64-bit Cortex-A53, thuật toán nhân phân tầng đề xuất kết hợp trực tiếp với chỉ lệnh PMULL (nhân đa thức 64-bit tạo kết quả 128-bit) đã tạo ra bước nhảy vọt về hiệu năng. Tốc độ nhân đa thức trên ARMv8 đạt mức tăng trưởng hơn 5,5 lần so với kỹ thuật tối ưu trên ARMv7, giúp giảm độ trễ của giao thức ECDH và ECDSA xuống mức mili-giây cực thấp.

  4. Kỹ thuật song song hóa hai phép nhân trên trường nguyên tố $GF(p)$: Trong hệ tọa độ Jacobian, phép cộng và nhân đôi điểm đòi hỏi thực hiện lần lượt nhiều phép nhân số nguyên lớn. Bằng cách gộp hai phép nhân độc lập vào cùng một cấu trúc tính toán NEON (sử dụng chỉ lệnh VMULL.U32, VADD, VMLAL), luận án đã tăng gấp đôi thông lượng tính toán của tầng số học trường, giảm thiểu thời gian nhàn rỗi của pipeline vi xử lý.

  5. Nâng cao hiệu năng toàn diện của ECDH và ECDSA:

  • Trên ARMv7 (Zynq-7000): Thời gian thực hiện bắt tay ECDH và tạo chữ ký ECDSA giảm từ 22% đến 35% so với triển khai tiêu chuẩn của OpenSSL.
  • Trên ARMv8 (NXP i.MX 8M): Giao thức trao đổi khóa ECDH và xác thực chữ ký ECDSA đạt tốc độ xử lý thời gian thực vượt trội, đáp ứng hoàn hảo các yêu cầu ngặt nghèo của luồng truyền thông thoại mã hóa VoIP/SIP và kết nối VPN băng thông cao.
       So sánh thời gian thực thi (Latency) giữa các giải pháp
Latency (ms)

Implications đa chiều

  • Về mặt học thuật: Luận án mở ra hướng tiếp cận mới trong việc đồng thiết kế thuật toán mật mã và kiến trúc vi xử lý (Algorithm-Architecture Co-design), chứng minh rằng việc khai thác sâu kiến trúc tập lệnh vi xử lý thương mại mang lại hiệu năng tiệm cận các bộ tăng tốc phần cứng chuyên dụng.
  • Về mặt công nghệ và công nghiệp: Cung cấp giải pháp phần mềm nhúng có thể đóng gói trực tiếp vào các ngăn xếp giao thức mạng (OpenSSL, WolfSSL, mbedTLS) trên hàng tỷ thiết bị IoT, Gateway công nghiệp và điện thoại thông minh chạy vi xử lý ARM mà không làm phát sinh thêm chi phí phần cứng.
  • Về mặt an ninh quốc phòng: Đảm bảo khả năng tự chủ công nghệ mã hóa an toàn dữ liệu trên các thiết bị truyền tin quân sự, thiết bị bảo mật đường truyền di động chuyên dụng, đáp ứng các tiêu chuẩn bảo mật khắt khe mà không phụ thuộc vào các chip mật mã ngoại nhập vốn tiềm ẩn nguy cơ cửa sau (backdoor).

Limitations và Future Research

Mặc dù đạt được những kết quả xuất sắc, luận án thẳng thắn thừa nhận một số giới hạn nghiên cứu:

  1. Khả năng kháng tấn công kênh kề chuyên sâu (Side-Channel Attacks): Các tối ưu hóa tập trung chủ yếu vào tốc độ thực thi (execution time) và thông lượng tính toán. Mặc dù các phép toán SIMD NEON có tính chất thực thi thời gian không đổi (constant-time) ở mức chỉ lệnh, việc chống rò rỉ thông tin qua phân tích năng lượng vi sai (DPA) hay tấn công điện từ (EMA) ở tầng thuật toán NAF cần được đánh giá định lượng sâu hơn.
  2. Phạm vi nền tảng: Nghiên cứu tập trung vào hai họ vi xử lý ARMv7-A và ARMv8-A. Các dòng vi điều khiển siêu nhỏ Cortex-M (M0+, M3, M4, M7, M33) vốn không có đơn vị NEON mạnh mẽ mà chỉ hỗ trợ tập lệnh DSP/SIMD hạn chế chưa được khảo sát đầy đủ.
  3. Sự trỗi dậy của mật mã hậu lượng tử (Post-Quantum Cryptography - PQC): Luận án tập trung tối ưu hệ mật khóa công khai cổ điển dựa trên bài toán ECDLP. Khi máy tính lượng tử quy mô lớn xuất hiện, ECDLP sẽ bị phá vỡ bởi thuật toán Shor.

Hướng nghiên cứu tiếp theo:

  • Mở rộng kỹ thuật nhân phân tầng và SIMD NEON sang triển khai các thuật toán mật mã hậu lượng tử dựa trên mạng tinh thể (Lattice-based Cryptography như ML-KEM / Kyber, ML-DSA / Dilithium).
  • Tích hợp kỹ thuật song song SIMD trên kiến trúc ARMv9 mới nhất với tập chỉ lệnh mở rộng SVE2 (Scalable Vector Extension 2).
  • Xây dựng cơ chế phòng chống tấn công kênh kề toàn diện (Masking và Blinding) tích hợp trực tiếp vào bộ nhân vô hướng song song.

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

  • Tác động học thuật: Các bài báo khoa học xuất bản từ luận án đóng góp vào kho tàng tri thức mật mã học tính toán, cung cấp phương pháp luận chuẩn xác để đánh giá độ phức tạp thuật toán trên kiến trúc bán dẫn hiện đại.
  • Tác động công nghiệp: Luận án mở đường cho việc thương mại hóa các giải pháp bảo mật IoT hiệu năng cao tại Việt Nam. Các doanh nghiệp sản xuất camera an ninh, thiết bị nhà thông minh, thiết bị định vị ô tô có thể tích hợp trực tiếp ECDSA/ECDH tốc độ cao với mức tiêu thụ năng lượng thấp.
  • Tác động an ninh - chính sách: Kết quả nghiên cứu đóng góp trực tiếp vào nhiệm vụ bảo vệ bí mật thông tin quốc gia, ứng dụng trong các hệ thống mạng riêng ảo chuyên dùng (IPSec VPN) của các cơ quan trọng yếu, chứng minh năng lực tự chủ hoàn toàn về thuật toán và giải pháp cài đặt bảo mật của các nhà khoa học Việt Nam.

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

  • Nghiên cứu sinh và Giới học thuật: Tiếp cận mô hình toán học đánh giá chi phí $m/a$ và phương pháp phân tầng đệ quy tối ưu, làm nền tảng phát triển các cấu trúc số học trường mới.
  • Kỹ sư phát triển hệ thống nhúng và IoT: Sở hữu tập mã nguồn Assembly/NEON tối ưu sẵn sàng triển khai, giúp rút ngắn thời gian phát triển sản phẩm bảo mật mà không cần đầu tư thêm chip tăng tốc phần cứng đắt đỏ.
  • Các tổ chức an ninh, quốc phòng: Có được giải pháp xác thực và mã hóa đạt tiêu chuẩn kiểm định an toàn cao, loại bỏ hoàn toàn nguy cơ phụ thuộc công nghệ nước ngoài.
  • Các cơ quan quản lý và hoạch định tiêu chuẩn: Tài liệu tham khảo kỹ thuật giá trị để ban hành các tiêu chuẩn quốc gia về mật mã hạng nhẹ cho thiết bị IoT và thành phố thông minh.

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ì?
Đóng góp độc đáo nhất là việc tái định nghĩa mô hình đánh giá chi phí thuật toán nhân số lớn dựa trên tỷ số thực tế giữa phép nhân và phép cộng cơ bản ($m/a$) trên vi xử lý hiện đại, thay thế cho quan điểm kinh điển chỉ đếm số phép nhân. Từ mô hình này, tác giả đã chứng minh toán học và tìm ra cấu trúc phân tầng (Layered Multiplication) tối ưu toàn cục cho các trường nhị phân $\mathbb{F}_{2^m}$.

2. Đột phá về phương pháp nghiên cứu so với các công trình quốc tế trước đây?
So với các công trình của Bernstein & Schwabe (2012) hay Hamburg (2012) vốn phải dựa vào các đường cong phi chuẩn để đạt tốc độ cao, luận án đã đột phá bằng cách giải quyết bài toán tăng tốc trên chính các đường cong chuẩn NIST (vốn có cấu trúc số học phức tạp hơn) thông qua kỹ thuật kết hợp phân rã Karatsuba với các khối nhân SIMD 128-bit/192-bit tùy biến và song song hóa hai phép nhân trường $GF(p)$ trên thanh ghi NEON.

3. Phát hiện thực nghiệm nào gây bất ngờ nhất trong quá trình đo đạc?
Phát hiện bất ngờ nhất là sự tối ưu vượt bậc của chỉ lệnh PMULL/PMULL2 trên ARMv8: Khi kết hợp với cấu trúc phân tầng phù hợp, tốc độ nhân đa thức nhị phân tăng vọt hơn 5,5 lần so với ARMv7, vượt xa mức tăng hiệu năng tính toán đơn thuần theo xung nhịp CPU, chứng minh tầm quan trọng quyết định của việc khớp nối cấu trúc dữ liệu thuật toán với độ rộng làn SIMD 64-bit.

4. Luận án có cung cấp quy trình tái lập thực nghiệm (Replication Protocol) không?
Có. Toàn bộ thiết kế thanh ghi NEON, quy ước gọi hàm nội tại (Intrinsics), cấu trúc bảng dữ liệu chuyển đổi $C_i \rightarrow D_i$, các bước xử lý vòng lặp và thông số phần cứng của hai Kit phát triển Xilinx Zynq-7000 (ARMv7) và NXP i.MX 8M (ARMv8) đều được mô tả chi tiết, minh bạch trong các chương 2 và 3, cho phép tái lập kết quả thực nghiệm hoàn toàn độc lập.

5. Lộ trình phát triển 10 năm của hướng nghiên cứu này được xác định ra sao?
Lộ trình 10 năm định hướng: (1) Mở rộng bộ gia tốc phần mềm SIMD cho các thuật toán chữ ký số và đóng gói khóa hậu lượng tử (PQC); (2) Tích hợp hoàn chỉnh vào các lõi hệ điều hành thời gian thực (FreeRTOS, Zephyr) cho vi điều khiển ARM Cortex-M; (3) Nghiên cứu cơ chế tự động sinh mã ASM tối ưu hóa theo vi kiến trúc chip thông qua các kỹ thuật biên dịch nâng cao.

Kết luận

  1. Luận án đã giải quyết thành công bài toán nghẽn cổ chai tính toán của hệ mật đường cong Elliptic (ECC) trên các thiết bị nhúng có tài nguyên hạn chế, giữ vững sự cân bằng hoàn hảo giữa tính an toàn chuẩn mực và hiệu năng thực thi vượt trội.
  2. Thiết lập mô hình toán học định lượng chi phí thuật toán nhân số lớn theo tỷ số $m/a$, mang lại công cụ lý thuyết chuẩn xác cho thiết kế giải thuật mật mã trên vi xử lý hiện đại.
  3. Đề xuất thành công thuật toán nhân phân tầng trên trường nhị phân $\mathbb{F}_{2^m}$, khai thác tối đa sức mạnh của chỉ lệnh SIMD NEON (VMULL.P8, PMULL, PMULL2) trên ARMv7 và ARMv8.
  4. Phát triển kỹ thuật song song hai phép nhân trường trên trường nguyên tố $GF(p)$ kết hợp cải tiến dạng biểu diễn NAF, giúp tối ưu hóa toàn diện phép nhân vô hướng $k.P$ trên tọa độ Jacobian.
  5. Tích hợp và kiểm chứng thành công trên hai giao thức bảo mật tiêu chuẩn ECDH và ECDSA trên phần cứng công nghiệp Zynq-7000 SoC và NXP i.MX 8M, giảm độ trễ từ 22% đến hơn 5 lần so với các giải pháp thông thường.
  6. Mở ra hướng nghiên cứu chiến lược về an toàn thông tin tự chủ, cung cấp giải pháp bảo mật dữ liệu tốc độ cao, tiêu thụ năng lượng thấp cho hạ tầng IoT, mạng truyền thông di động và hệ thống thông tin trọng yếu quốc gia.