Tổng quan về luận án

Sự bùng nổ của cuộc Cách mạng Công nghiệp lần thứ tư đã xác lập vị thế trung tâm của các hệ thống tính toán nhúng trong hạ tầng công nghệ toàn cầu. Thống kê từ thực tế cho thấy "các thiết bị sử dụng hệ thống nhúng chiếm tới 90% các thiết bị tính toán hiện nay", trải rộng từ thiết bị IoT (Internet of Things), điện thoại thông minh, cảm biến môi trường, hệ thống điều khiển ô tô đến thẻ thông minh. Đồng thời, theo số liệu của Arm Holdings, "đã có trên 184 tỷ vi xử lý dựa trên ARM đã được sử dụng trên toàn thế giới tính đến năm 2020", khẳng định sự thống trị của kiến trúc RISC (Reduced Instruction Set Computer) trên các nền tảng di động và nhúng. Tuy nhiên, các thiết bị này luôn phải đối mặt với bài toán tối ưu đa mục tiêu đầy mâu thuẫn: năng lực xử lý giới hạn, dung lượng bộ nhớ (RAM, ROM, Flash) nhỏ hẹp, nguồn năng lượng pin hữu hạn, trong khi môi trường kết nối không dây lại tiềm ẩn nguy cơ cao về nghe lén, giả mạo và rò rỉ dữ liệu cá nhân.

+-------------------------------------------------------------------------+
|                  HẠ TẦNG MẬT MÃ TRÊN THIẾT BỊ NHÚNG                     |
+-------------------------------------------------------------------------+
| [Tầng Giao thức]     ECDSA (Ký số)         ECDH / ECMQV (Trao đổi khóa) |
|                            |                            |               |
| [Tầng Đường cong]   Nhân vô hướng k.P (NAF / Almost-NAF cải tiến)       |
|                            |                            |               |
| [Tầng Số học Điểm]  Cộng điểm (Point Add)  |  Nhân đôi (Point Double)   |
|                                            |                            |
| [Tầng Trường Hữu hạn]  Trường nhị phân GF(2^m) | Trường nguyên tố GF(p) |
|                     - Phân tầng Karatsuba     - Song song 2 phép nhân   |
|                                            |                            |
| [Tầng Phần cứng ARM] ARMv7 / ARMv8 NEON SIMD Engine (VMULL, PMULL)     |
+-------------------------------------------------------------------------+

Trước yêu cầu an toàn thông tin khắt khe, việc áp dụng các hệ mật mã khóa công khai truyền thống như RSA (Rivest-Shamir-Adleman) bộc lộ hạn chế nghiêm trọng. Xét về tương quan an toàn theo khuyến nghị của Viện Tiêu chuẩn và Công nghệ Quốc gia Hoa Kỳ (NIST), "để đạt độ an toàn tương đương 128-bit, đối với hệ mật RSA cần khóa có độ dài 3072-bit, trong khi đó ECC chỉ cần khóa có độ dài cỡ 256-bit". Nhờ kích thước khóa ngắn, giảm thiểu băng thông truyền dẫn và không gian lưu trữ, Mật mã Đường cong Elliptic (Elliptic Curve Cryptography - ECC) trở thành giải pháp lý tưởng. Mặc dù vậy, việc hiện thực hóa ECC trên thiết bị nhúng vẫn vấp phải rào cản tính toán lớn: phép nhân vô hướng $k \cdot P$ chiếm hơn 80% thời gian thực thi của toàn bộ hệ mật, vốn phụ thuộc trực tiếp vào các phép toán trường hữu hạn như nhân, cộng, chia và nghịch đảo modulo.

Khoảng trống nghiên cứu (Research Gap) then chốt mà luận án của Nghiên cứu sinh Phạm Văn Lực tập trung giải quyết xuất phát từ ba hạn chế cốt lõi trong y văn:

  1. Các mô hình đánh giá chi phí thuật toán nhân số lớn kinh điển chỉ thuần túy đếm số phép nhân cơ bản mà bỏ qua chi phí phép cộng, trong khi trên các kiến trúc vi xử lý hiện đại như ARMv7/ARMv8, tỷ số thời gian giữa phép nhân và phép cộng đã thu hẹp đáng kể.
  2. Các giải pháp tăng tốc phần cứng chuyên dụng (FPGA, GPU, ASIC) thiếu tính mềm dẻo, chi phí sản xuất cao và khó thích ứng khi thay đổi chuẩn mật mã quốc gia.
  3. Các nghiên cứu tối ưu phần mềm trước đây chủ yếu dựa vào các họ đường cong tham số đặc biệt (như đường cong Montgomery, Edwards của Bernstein & Schwabe), vốn không thỏa mãn các tiêu chuẩn mật mã ngặt nghèo trong an ninh - quốc phòng đòi hỏi đường cong chuẩn NIST ($F_{2^{283}}$, $F_{2^{251}}$, $F_{2^{571}}$ và $GF(p)$).

Để giải quyết triệt để các khoảng trống trên, luận án đặt ra ba câu hỏi nghiên cứu và giả thuyết khoa học:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để xây dựng một mô hình đánh giá độ phức tạp thuật toán nhân số lớn phản ánh chính xác tương quan giữa phép nhân và phép cộng trên kiến trúc vi xử lý ARM hiện đại?
    • Giả thuyết 1 (H1): Khi mô hình hóa chi phí qua tỷ số thực nghiệm $m = 2a$ (chi phí 1 phép nhân bằng 2 phép cộng), thuật toán nhân phân tầng kết hợp Karatsuba sẽ đạt chi phí tổng thể tối ưu tuyệt đối cho các kích thước từ xác định.
  • Câu hỏi nghiên cứu 2 (RQ2): Có thể khai thác tập chỉ lệnh SIMD NEON trên ARMv7 và ARMv8 để tối ưu hóa phép nhân đa thức trên trường nhị phân $GF(2^m)$ cho các đường cong chuẩn NIST mà không cần phần cứng phụ trợ hay không?
    • Giả thuyết 2 (H2): Kết hợp thuật toán nhân phân tầng với tập lệnh đa thức VMULL.p8 (ARMv7) và PMULL/PMULL2 (ARMv8) sẽ tạo ra bước nhảy vọt về thông lượng xử lý trường nhị phân.
  • Câu hỏi nghiên cứu 3 (RQ3): Làm thế nào để loại bỏ tình trạng nghẽn cổ chai khi thực thi phép nhân điểm vô hướng trên trường số nguyên tố $GF(p)$?
    • Giả thuyết 3 (H3): Việc mở rộng dạng biểu diễn NAF sang "Dạng biểu diễn hầu không liền kề" kết hợp kỹ thuật song song hóa hai phép nhân trường $GF(p)$ trên thanh ghi vector 128-bit sẽ giảm thiểu số lượng phép cộng điểm và rút ngắn chu kỳ xử lý của giao thức ECDSA và ECDH.

Khung lý thuyết của công trình tích hợp giữa Lý thuyết Độ phức tạp Tính toán (Computational Complexity Theory), Đại số Số học Trường hữu hạn (Finite Field Arithmetic), Lý thuyết Nhóm Đường cong Elliptic (Elliptic Curve Group Theory) và Kiến trúc Xử lý Song song Cấp Chỉ lệnh (Instruction-Level Parallelism - ILP/SIMD). Phạm vi thực nghiệm của luận án được triển khai trên hai nền tảng phần cứng tiêu biểu: Kit Xilinx Zynq-7000 SoC ZC702 (tích hợp lõi ARM Cortex-A9 32-bit thuộc kiến trúc ARMv7-A) và NXP i.MX 8M Quad (lõi ARM Cortex-A53 64-bit thuộc kiến trúc ARMv8-A, xung nhịp 1.8 GHz, bộ nhớ đệm L1 32 KB, L2 512 KB, hỗ trợ Media Processing Engine NEON).

Literature Review và Positioning

Lịch sử phát triển của mật mã đường cong Elliptic gắn liền với các công trình kinh điển của Koblitz (1985) và Miller (1986). Độ an toàn của ECC bắt nguồn từ tính bất khả quy của Bài toán Logarit Rời rạc trên Nhóm Điểm Đường cong Elliptic (Elliptic Curve Discrete Logarithm Problem - ECDLP): cho điểm $P \in E(F_q)$ cấp $n$ và điểm $Q \in E(F_q)$, việc tìm số nguyên $k \in [0, n-1]$ sao cho $Q = k \cdot P$ đòi hỏi chi phí hàm mũ đối với các thuật toán giải mã tổng quát tốt nhất hiện nay như Pollard's rho.

Y VĂN KINH ĐIỂN VÀ CÁC LUỒNG TRANH LUẬN HỌC THUẬT:
=============================================================================
Luồng 1: Tối ưu Phần cứng Chuyên dụng (FPGA / ASIC / Co-processors)
  - Đại diện: Amara & Siad (2011), Sandeeps & Shanavas (2012).
  - Quan điểm: Đạt thông lượng cực đại, trút tải hoàn toàn cho CPU.
  - Hạn chế: Kém linh hoạt, diện tích chip lớn, khó thay đổi tham số mật mã.

Luồng 2: Tối ưu Tham số Đặc biệt (Non-standard Curves / Software-only)
  - Đại diện: Bernstein & Schwabe (2012), Hamburg (2012).
  - Quan điểm: Tối ưu tốc độ cao dựa trên trường Montgomery/Edwards (Curve25519).
  - Hạn chế: Không tương thích các tiêu chuẩn NIST ngặt nghèo trong an ninh.

Luồng 3: Định vị của Luận án (Tối ưu Đa tầng trên Chuẩn NIST + NEON SIMD)
  - Tác giả: Phạm Văn Lực (2022).
  - Đóng góp: Tái lập mô hình chi phí (m = 2a), nhân phân tầng trên GF(2^m), 
              dạng biểu diễn NAF mở rộng & song song 2 phép nhân trên GF(p).
=============================================================================

Trong y văn thế giới, tổng hợp các luồng nghiên cứu tối ưu hóa ECC chia thành ba trường phái chính với nhiều tranh luận học thuật sâu sắc:

  1. Luồng nghiên cứu Tối ưu hóa Thuật toán và Đại số Trường hữu hạn: Hankerson, Menezes và Vanstone (2004) trong công trình nền tảng "Guide to Elliptic Curve Cryptography" đã phân cấp cấu trúc thực thi ECC thành 3 tầng: tầng trên (nhân vô hướng $k \cdot P$), tầng giữa (cộng và nhân đôi điểm trên các hệ tọa độ Affine, Projective, Jacobian) và tầng dưới (số học trường hữu hạn: nhân, bình phương, nghịch đảo). Các kỹ thuật kinh điển như thuật toán nhân Karatsuba (1962), thuật toán khử modulo Barrett (1986) và thuật toán Montgomery (1985) đóng vai trò xương sống. Tranh luận học thuật tại tầng này xoay quanh sự đánh đổi giữa biểu diễn NAF (Non-Adjacent Form) và wNAF (window NAF) nhằm giảm trọng số Hamming của số mũ $k$, đối trọng với chi phí bộ nhớ bảng tính trước (pre-computed table).

  2. Luồng nghiên cứu Tăng tốc Phần cứng Chuyên dụng (FPGA/ASIC/GPU): Các tác giả như Moncef Amara & Amar Siad (2011), Sandeeps & Hameen Shanavas (2012) tập trung cứng hóa phép nhân điểm trên FPGA nhằm giảm độ trễ trao đổi khóa. Tuy nhiên, luồng quan điểm đối lập chỉ ra rằng việc tích hợp chip chuyên dụng làm tăng đáng kể chi phí BOM (Bill of Materials), tiêu hao công suất tĩnh và hoàn toàn bị động khi các chuẩn mật mã thay đổi tham số hoặc khi cần tích hợp sâu vào hệ điều hành di động (Android/Linux).

  3. Luồng nghiên cứu Khai thác Vi kiến trúc Vi xử lý và Đồng xử lý SIMD NEON: Công trình đột phá của Bernstein & Schwabe (2012) trên Cortex-A8 đạt mức 527 Kcycles cho việc tính khóa bí mật chia sẻ trên trường nguyên tố $F(2^{256}-19)$ ở mức an toàn 128-bit. Cùng năm, Hamburg (2012) hiện thực hóa ECC trên Cortex-A9 không dùng NEON trên trường $F(2^{252}-2^{232}-1)$ đạt 616 Kcycles. Polyakov (OpenSSL Project) tối ưu hàm băm GHASH với NEON đạt 15 chu kỳ/byte (cpb). Dù đạt hiệu năng ấn tượng, các nghiên cứu quốc tế này đều dựa trên các đường cong phi chuẩn (non-standard curves).

Vị thế khoa học của luận án được xác lập rõ ràng: Không đánh đổi tính chuẩn hóa để lấy hiệu năng. Thay vào đó, luận án tiên phong tối ưu hóa các đường cong tiêu chuẩn NIST trên trường nhị phân $GF(2^m)$ ($m \in {251, 283, 571}$) và trường nguyên tố $GF(p)$ thông qua việc tái cấu trúc toán học từ tầng số học cơ bản đến tầng lệnh hợp ngữ NEON Assembly trên vi xử lý ARM Cortex-A9 (ARMv7) và Cortex-A53 (ARMv8).

Đó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à hoàn thiện lý thuyết tối ưu hóa cấu trúc tính toán mật mã thông qua ba đóng góp toán học:

  1. Thiết lập Mô hình Đánh giá Chi phí Toàn diện Phụ thuộc Phép cộng Cơ bản: Thách thức mô hình truyền thống $Cost = f(Multiplications)$, luận án chứng minh rằng trên các vi xử lý RISC hiện đại, thời gian thực thi của một phép nhân cơ bản chỉ xấp xỉ gấp đôi phép cộng ($m \approx 2a$). Khi đó, hàm chi phí tổng quát của thuật toán nhân số nguyên lớn $t$ từ được biểu diễn chuẩn hóa: $$C(t) = N_m(t) \cdot m + N_a(t) \cdot a = [2 \cdot N_m(t) + N_a(t)] \cdot a$$ Mô hình này cho phép giải bài toán quy hoạch tối ưu để xác định ngưỡng phân rã đệ quy chính xác cho thuật toán nhân phân tầng, loại bỏ các phép tính thừa mà mô hình cũ không phát hiện được.

  2. Lý thuyết Dạng Biểu diễn Hầu Không Liền Kề (Almost-NAF): Mở rộng lý thuyết biểu diễn số nguyên của dạng không liền kề NAF chuẩn (vốn có tính chất không có hai bit khác không đứng cạnh nhau, đảm bảo trọng số Hamming trung bình là $n/3$), luận án đề xuất thuật toán chuyển đổi biểu diễn số nguyên dương $k$ sang dạng "Hầu không liền kề". Cải tiến này giảm thiểu số phép toán cộng điểm $\mathcal{O}(P + Q)$ trong khi tối ưu hóa việc sử dụng các thanh ghi tạm thời của bộ xử lý, kiểm soát chặt chẽ độ dài chuỗi biểu diễn.

  3. Mô hình Song song Hóa Kép Phép nhân Trường Nguyên tố: Chứng minh mặt lý thuyết về tính độc lập dữ liệu trong chuỗi tính toán tọa độ Jacobian khi thực hiện phép cộng điểm ($14M$) và nhân đôi điểm ($5M$). Luận án xây dựng mô hình ghép cặp song song hai phép nhân trường $GF(p)$ độc lập thành một khối tính toán vector SIMD duy nhất.

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

Khung phân tích của luận án tích hợp liên tầng từ mức thuật toán đại số trừu tượng đến mức vi kiến trúc phần cứng ARM:

+-------------------------------------------------------------------------+
|                  KHUNG PHÂN TÍCH TỐI ƯU HÓA LIÊN TẦNG                   |
+-------------------------------------------------------------------------+
|  TẦNG 1: ỨNG DỤNG BẢO MẬT & GIAO THỨC                                   |
|  - Giao thức bắt tay TLS 1.2/1.3 / OpenVPN (Client/Server Key Exchange)  |
|  - Giao thức xác thực IKEv2 / IPsec VPN (Giai đoạn IKE_SA_INIT & AUTH)   |
|                                |                                        |
|  TẦNG 2: NGUYÊN THỦY MẬT MÃ KHÓA CÔNG KHAI                              |
|  - Ký số & Xác thực: ECDSA (Ký: s = k^-1(m + da*r); Kiểm tra: V = R)   |
|  - Trao đổi khóa: ECDH (K = a*Pb = b*Pa), ECMQV, ECIES                  |
|                                |                                        |
|  TẦNG 3: SỐ HỌC ĐƯỜNG CONG ELLIPTIC                                     |
|  - Nhân vô hướng: Q = k.P (Thuật toán Binary R-to-L, Sliding Window NAF)|
|  - Tọa độ Jacobian: Chuyển đổi (X:Y:Z) -> (X/Z^2, Y/Z^3); Triệt tiêu    |
|    phép nghịch đảo (Inversion) trong vòng lặp cộng/nhân đôi điểm        |
|                                |                                        |
|  TẦNG 4: SỐ HỌC TRƯỜNG HỮU HẠN & VI KIẾN TRÚC ARM                       |
|  - Phân tầng đa thức GF(2^m): Bộ nhân 128-bit/192-bit + Karatsuba      |
|  - Song song GF(p): Xử lý song song 2 luồng nhân trên NEON 128-bit      |
|  - Lệnh SIMD: VMULL.p8, VADD, VLD, VST (ARMv7) | PMULL, PMULL2 (ARMv8)  |
+-------------------------------------------------------------------------+

Khung phân tích xác lập các điều kiện biên (Boundary Conditions) rõ ràng:

  • Áp dụng cho các hệ mật mã đường cong định nghĩa trên trường nguyên tố $GF(p)$ và trường nhị phân $GF(2^m)$ với độ dài khóa từ 224-bit đến 571-bit.
  • Tối ưu hóa tập trung trên các dòng vi xử lý ARM kiến trúc Cortex-A hỗ trợ engine NEON với các thanh ghi vector 128-bit ($Q_0 - Q_{15}$ trên ARMv7 hoặc $V_0 - V_{31}$ trên ARMv8).

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

Thiết kế nghiên cứu

Nghiên cứu tuân thủ chặt chẽ nguyên lý Thực chứng (Positivism) và phương pháp luận Thiết kế Kỹ thuật Thực nghiệm (Empirical Engineering Research Paradigm). Thiết kế nghiên cứu được tổ chức theo mô hình đa tầng:

+-------------------------------------------------------------------------+
|                  THIẾT KẾ NGHIÊN CỨU THỰC NGHIỆM ĐA TẦNG                |
+-------------------------------------------------------------------------+
| [Cấp độ Vi mô - Micro] Đánh giá chu kỳ chỉ lệnh (Instruction Clock Cycles)
|   - Tinh chỉnh Pipeline, đo xung nhịp tập lệnh VMULL, PMULL, VLD/VST.
|                                |
| [Cấp độ Trung mô - Meso] Đo thời gian tính toán Số học Điểm & Trường
|   - Phép nhân đa thức GF(2^m), cộng/nhân đôi điểm Jacobian, nhân vô hướng k.P.
|                                |
| [Cấp độ Vĩ mô - Macro] Đo hiệu năng Giao thức Trao đổi khóa & Ký số
|   - Thời gian xác thực ECDSA (Sign/Verify), ECDH, ECMQV, bắt tay TLS/IKEv2.
+-------------------------------------------------------------------------+

Quy trình nghiên cứu rigorous

Quy trình thực nghiệm được chuẩn hóa nhằm triệt tiêu các sai số ngẫu nhiên của môi trường hệ điều hành:

   [Thiết kế Toán học] 
          │ (Đại số trường hữu hạn, NAF mở rộng, mô hình m = 2a)
          ▼
   [Lập trình Cấp thấp & Tối ưu Hợp ngữ Assembly]
          │ (Sử dụng GCC Intrinsics <arm_neon.h> và Inline Assembly)
          ▼
   [Kiểm soát Vi kiến trúc ARM Pipeline]
          │ (Tránh xung đột cấu trúc Load/Store, triệt tiêu bong bóng Pipeline)
          ▼
   [Đo đạc Thực nghiệm Độc lập]
          │ (Zynq-7000 Cortex-A9 & NXP i.MX 8M Cortex-A53)
          ▼
   [Đối chiếu & Kiểm định Chuẩn Mật mã Quốc tế]
          │ (NIST SP 800-186, FIPS 186-2, OpenSSL Baseline)
          ▼
   [Đánh giá Hiệu năng Giao thức Truyền thông]
          (TLS 1.2/1.3 Handshake, IPSec IKEv2, OpenVPN)
  • Kỹ thuật lập trình và quản lý bộ nhớ: Sử dụng kết hợp hàm nội tại (NEON intrinsics trong arm_neon.h) và lập trình hợp ngữ nhúng (asm volatile). Dữ liệu vector được căn chỉnh bộ nhớ (memory alignment) 128-bit để tối ưu hóa chỉ lệnh nạp VLD và lưu VST.
  • Triệt tiêu trễ Pipeline: Tái sắp xếp trật tự chỉ lệnh (Instruction Scheduling) nhằm che giấu độ trễ truy xuất dữ liệu từ bộ nhớ đệm L1 (Load-to-Use Latency) và tránh xung đột tài nguyên trong đơn vị số học VFP/NEON.

Data và phân tích

Toàn bộ dữ liệu thực nghiệm được đo đạc lặp lại $10^5$ lần cho mỗi phép toán nhằm loại bỏ nhiễu hệ thống từ các ngắt của hệ điều hành Linux nhúng.

  • Nền tảng 1: Xilinx Zynq-7000 SoC ZC702 (Dual-core ARM Cortex-A9 @ 667 MHz, 32-bit ARMv7-A, Linux OS).
  • Nền tảng 2: NXP i.MX 8M Quad Development Kit (Quad-core ARM Cortex-A53 @ 1.8 GHz, 64-bit ARMv8-A, 32 KB L1 Instruction/Data Cache, 512 KB L2 Cache, Linux OS).

Các bộ số liệu kiểm định bao gồm: Tham số đường cong chuẩn NIST $B-283$ ($m=283$, đa thức quy giản $f(x) = x^{283} + x^{12} + x^7 + x^5 + 1$), NIST $B-251$, NIST $B-571$, và các trường nguyên tố chuẩn NIST $P-256$.

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

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

+-------------------------------------------------------------------------+
|                  CÁC PHÁT HIỆN ĐỘT PHÁ CỦA LUẬN ÁN                      |
+-------------------------------------------------------------------------+
| 1. Xác lập Tỷ số m = 2a:                                                |
|    Xác định chính xác tỷ lệ thực thi giữa phép nhân và phép cộng trên   |
|    lõi ARM Cortex-A, tạo nền tảng thiết kế bộ nhân tối ưu chi phí.      |
|                                                                         |
| 2. Đột phá Hiệu năng Đa thức Nhị phân (Tăng tốc 5.5 lần):               |
|    Thuật toán phân tầng trên ARMv8 (PMULL) nhanh hơn 5.5 lần so với     |
|    kỹ thuật tốt nhất trên ARMv7 (VMULL.p8) trên trường GF(2^283).       |
|                                                                         |
| 3. Tối ưu Hóa Song song Kép trên GF(p):                                 |
|    Thực thi đồng thời 2 phép nhân trường trên thanh ghi NEON 128-bit,   |
|    giảm trực tiếp 35-40% chu kỳ tính toán tọa độ Jacobian.              |
|                                                                         |
| 4. Tăng tốc Toàn diện Giao thức Thực tế:                                |
|    Rút ngắn thời gian ký/kiểm tra ECDSA và trao đổi khóa ECDH/ECMQV     |
|    trên cả 2 nền tảng phần cứng Cortex-A9 và Cortex-A53.                |
+-------------------------------------------------------------------------+

  1. Chứng minh Tính Ưu việt Tuyệt đối của Thuật toán Nhân Phân tầng trên ARMv8: Kết quả thực nghiệm trên NXP i.MX 8M chứng minh rằng: việc kết hợp bộ nhân đa thức 64-bit (PMULL/PMULL2) với cấu trúc phân tầng Karatsuba giúp "thuật toán nhân đa thức trên ARMv8 nhanh hơn 5,5 lần so với các kỹ thuật trên ARMv7". Đối với đa thức trên trường nhị phân $F_{2^{283}}$, thời gian thực thi giảm từ hàng nghìn chu kỳ xuống mức tối ưu kỷ lục, vượt trội hoàn toàn so với các cài đặt OpenSSL chuẩn trên cùng phần cứng.

  2. Hiệu năng Thực thi Song song Kép trên Trường Nguyên tố $GF(p)$: Trong hệ tọa độ Jacobian, phép nhân đôi điểm ($2P$) đòi hỏi $5M + 4S$ và phép cộng điểm ($P+Q$) đòi hỏi $14M + 4S$. Bằng cách triển khai thuật toán song song hai phép nhân trên các làn vector 32-bit $\times$ 4 của NEON (VMULL.U32), thời gian thực hiện phép toán số học điểm trên ARMv7 và ARMv8 giảm từ 35% đến 42% so với phương pháp tuần tự truyền thống.

  3. Cắt giảm Độ trễ Giao thức An toàn Thực tế (ECDH, ECDSA, ECMQV):

    • Trên nền tảng Xilinx Zynq-7000 (ARMv7), thời gian tạo chữ ký ECDSA và xác thực chữ ký số giảm đáng kể, đáp ứng hoàn hảo yêu cầu thời gian thực.
    • Trên nền tảng NXP i.MX 8M (ARMv8), thời gian trao đổi khóa ECDH và thỏa thuận khóa ECMQV đạt mức dưới 1.2 ms, giải quyết triệt để bài toán trễ bắt tay trong các đường hầm bảo mật.

Implications đa chiều

  • Về mặt Lý thuyết: Định hình lại lý thuyết thiết kế giải thuật số học mật mã cho kiến trúc RISC thế hệ mới; xác lập quy chuẩn đánh giá độ phức tạp dựa trên chi phí thực thi tập lệnh thực tế thay vì đếm phép toán đại số trừu tượng.
  • Về mặt Phương pháp luận: Cung cấp khung phương pháp luận co-design (kết hợp giải thuật toán học bậc cao với vi kiến trúc tập lệnh bậc thấp) có khả năng chuyển giao cho các bài toán tối ưu mật mã hậu lượng tử (Post-Quantum Cryptography - PQC) trên phần cứng nhúng.
  • Về mặt Ứng dụng Thực tiễn: Ứng dụng trực tiếp vào các sản phẩm bảo mật trọng yếu:
    • Bảo mật Truyền thông Thời gian thực: Tăng tốc giai đoạn bắt tay (handshake) của giao thức TLS/OpenVPN và giai đoạn thiết lập liên kết IKEv2/IPSec trong các thiết bị truyền thông mật mã VoIP chuyên dụng.
    • Hệ thống IoT và Công nghiệp 4.0: Đảm bảo các cảm biến biên, công tơ thông minh, thiết bị SCADA có thể xác thực khóa công khai với mức tiêu thụ năng lượng cực thấp.
  • Về mặt Chính sách và An ninh Quốc gia: Cho phép các cơ quan chuyên trách làm chủ hoàn toàn công nghệ lõi mật mã, tự chủ triển khai các thuật toán mật mã khóa công khai tiêu chuẩn trên phần cứng thương mại mà không phụ thuộc vào các khối IP phần cứng bảo mật độc quyền của nước ngoài.

Limitations và Future Research

Nhìn nhận một cách khách quan và khoa học, công trình còn tồn tại một số giới hạn nghiên cứu (Limitations):

+-------------------------------------------------------------------------+
|                  GIỚI HẠN VÀ ĐỊNH HƯỚNG PHÁT TRIỂN                      |
+-------------------------------------------------------------------------+
| [Giới hạn 1] Phụ thuộc Vi kiến trúc:                                    |
|   Tối ưu hóa chuyên biệt cho ARM Cortex-A hỗ trợ NEON; chưa bao phủ     |
|   họ vi điều khiển siêu nhỏ ARM Cortex-M0/M3/M4 thiếu khối SIMD.        |
|                                                                         |
| [Giới hạn 2] Phạm vi An toàn Tiền lượng tử:                              |
|   Tập trung vào hệ mật ECC truyền thống, chưa tích hợp các thuật toán   |
|   mật mã hậu lượng tử (PQC - Lattice/Isogeny-based Cryptography).       |
|                                                                         |
| [Giới hạn 3] Kháng Tấn công Kênh kề Vật lý (Physical Side-Channel):     |
|   Mới tối ưu thời gian thực thi; cần đánh giá toàn diện dưới tấn công   |
|   phân tích công suất vi sai (DPA) và tấn công gây lỗi (Fault Attacks).|
+-------------------------------------------------------------------------+

Từ các giới hạn trên, lộ trình nghiên cứu tiếp theo (Future Research Agenda) được xác định qua 4 hướng trọng tâm:

  1. Mở rộng khung tối ưu hóa sang tập chỉ lệnh ARMv9 với phần mở rộng Scalable Vector Extension 2 (SVE2).
  2. Phát triển các kỹ thuật tính toán thời gian hằng số (Constant-Time Execution) và chèn mặt nạ ngẫu nhiên (Masking) trên NEON nhằm triệt tiêu hoàn toàn rò rỉ kênh kề quang phổ và công suất.
  3. Nghiên cứu chuyển giao mô hình nhân phân tầng để tăng tốc các phép toán nhân đa thức trên vành số nguyên phục vụ các thuật toán mật mã hậu lượng tử (như CRYSTALS-Kyber, CRYSTALS-Dilithium) trên thiết bị nhúng.
  4. Tích hợp giải pháp vào nhân hệ điều hành thời gian thực (FreeRTOS, Zephyr) phục vụ các hệ thống nhúng tự hành đòi hỏi tiêu chuẩn an toàn cấp độ SIL-4.

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

+-------------------------------------------------------------------------+
|                    BẢN ĐỒ TÁC ĐỘNG VÀ ẢNH HƯỞNG                         |
+-------------------------------------------------------------------------+
|                                                                         |
|  [HỌC THUẬT QUỐC TẾ]         [CÔNG NGHIỆP BẢO MẬT & DI ĐỘNG]            |
|  - Trích dẫn trong các bài   - Tích hợp vào thư viện mã nguồn mở       |
|    báo IEEE / ACM / Cryptology (OpenSSL, mbedTLS, WolfSSL).             |
|  - Đặt nền móng đánh giá     - Nâng cao hiệu suất thiết bị IoT,         |
|    chi phí thuật toán RISC.    camera an ninh, hộp đen ô tô.            |
|               \                       /                                 |
|                \                     /                                  |
|                 \                   /                                   |
|               [AN NINH QUỐC GIA & CHÍNH PHỦ]                            |
|               - Làm chủ giải pháp mật mã trên thiết bị liên lạc quân sự.|
|               - Đáp ứng tiêu chuẩn bảo vệ dữ liệu truyền thông quốc gia.|
|                                                                         |
+-------------------------------------------------------------------------+
  • Tác động Học thuật: Cung cấp cơ sở lý thuyết và bằng chứng thực nghiệm vững chắc cho cộng đồng nghiên cứu mật mã ứng dụng; mở ra phương pháp tiếp cận mới trong việc mô hình hóa chi phí tính toán cho các cấu trúc phần cứng bất đối xứng.
  • Chuyển dịch Công nghiệp: Giải quyết trực tiếp bài toán "thắt nút cổ chai" trong xác thực thiết bị đầu cuối cho các doanh nghiệp viễn thông và nhà sản xuất thiết bị nhúng thông minh, giúp tiết kiệm chi phí phần cứng ước tính hàng triệu USD nhờ tận dụng tối đa năng lực xử lý của lõi ARM sẵn có.
  • An ninh - Quốc phòng: Đóng góp trực tiếp vào nhiệm vụ bảo vệ bí mật thông tin quốc gia, phục vụ phát triển các dòng máy điện thoại mật mã, bộ định tuyến an toàn và thiết bị bảo mật truyền tin hoạt động tin cậy trong môi trường tác chiến điện tử.

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

+-------------------------------------------------------------------------------+
|                            ĐỐI TƯỢNG HƯỞNG LỢI                                |
+-------------------------------------------------------------------------------+
| 1. Nhà nghiên cứu Mật mã & Tiến sĩ:                                           |
|    Thừa hưởng mô hình chi phí (m = 2a) và giải thuật biểu diễn số nguyên mới. |
|                                                                               |
| 2. Kỹ sư R&D Hệ thống Nhúng & IoT:                                            |
|    Sở hữu mã nguồn tối ưu hợp ngữ NEON, tăng tốc trực tiếp sản phẩm thương mại|
|                                                                               |
| 3. Chuyên gia An ninh Mạng Doanh nghiệp:                                      |
|    Triển khai giải pháp VPN/TLS hiệu năng cao trên máy chủ và Gateway ARM.   |
|                                                                               |
| 4. Cơ quan Quản lý Tiêu chuẩn & An ninh Quốc gia:                             |
|    Cơ sở khoa học để ban hành tiêu chuẩn kỹ thuật mật mã khóa công khai.      |
+-------------------------------------------------------------------------------+

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à nó mở rộng lý thuyết nào?

Đóng góp độc đáo nhất là việc tái định nghĩa mô hình hàm chi phí của thuật toán nhân số nguyên lớn trên kiến trúc vi xử lý RISC hiện đại và xây dựng Lý thuyết Nhân phân tầng Tối ưu. Luận án đã mở rộng Lý thuyết Phân rã Đa thức Karatsuba (1962) và lý thuyết độ phức tạp tính toán số học của Hankerson et al. (2004). Thay vì giả định truyền thống $C = \mathcal{O}(N^{\log_2 3})$ thuần túy theo số phép nhân, luận án chứng minh tỷ số thực tế $m = 2a$ trên ARM, từ đó xác lập công thức giải tích chính xác để tìm cấu trúc cây đệ quy có tổng số chỉ lệnh (nạp, lưu, cộng, nhân) là cực tiểu cho mọi kích thước $t$ từ máy tính xác định.

2. Đột phá về phương pháp luận nghiên cứu so với các công trình quốc tế tiền nhiệm?

So với công trình của Bernstein & Schwabe (2012) (tối ưu hóa cục bộ cho đường cong phi chuẩn Curve25519) và Hamburg (2012) (tối ưu hóa thuần phần mềm không khai thác SIMD), đột phá phương pháp luận của luận án nằm ở Khung tối ưu hóa liên tầng đồng thời (Cross-layer Co-design):

  • Không thay đổi cấu trúc toán học của các đường cong chuẩn quốc gia NIST.
  • Khai thác triệt để các lệnh chuyên dụng đa thức nhị phân (VMULL.p8, PMULL) kết hợp với kỹ thuật song song hóa kép trên các thanh ghi vector 128-bit.
  • Triệt tiêu hoàn toàn sự phụ thuộc vào các bộ tăng tốc phần cứng FPGA/ASIC cồng kềnh.

3. Phát hiện bất ngờ nhất từ dữ liệu thực nghiệm là gì?

Phát hiện ấn tượng nhất là Hiệu ứng gia tốc phi tuyến trên vi xử lý ARMv8 64-bit: Phép nhân đa thức trường nhị phân $GF(2^{283})$ trên ARMv8 đạt mức tăng tốc lên tới 5.5 lần so với ARMv7. Dữ liệu thực nghiệm chứng minh rằng lệnh PMULL 64-bit trên Cortex-A53 khi kết hợp với cấu trúc phân tầng đề xuất không chỉ giảm số lượng lệnh tính toán mà còn giảm tới 68% số lệnh truy cập bộ nhớ VLD/VST, giúp đường ống Pipeline vận hành gần như không có độ trễ treo (stall).

4. Luận án có cung cấp quy trình tái lập thực nghiệm (Replication Protocol) hoàn chỉnh không?

Hoàn toàn có. Luận án cung cấp chi tiết:

  • Toàn bộ bảng tham số đường cong NIST ($B-283$, $P-256$).
  • Bảng ánh xạ véc tơ chỉ lệnh hợp ngữ NEON, cấu trúc thanh ghi đầu vào/đầu ra ($D_0-D_{31}$, $Q_0-Q_{15}$, $V_0-V_{31}$).
  • Cấu hình môi trường biên dịch (GNU GCC với cờ tối ưu hóa -O3 -mfpu=neon).
  • Quy tắc thiết lập phần cứng chuẩn mực trên Kit Xilinx ZC702 và NXP i.MX 8M, đảm bảo tính tái lập 100% trong môi trường phòng thí nghiệm độc lập.

5. Định hướng nghiên cứu 10 năm tới được phác thảo như thế nào?

Chiến lược nghiên cứu dài hạn tập trung vào việc Chuyển dịch sang Kỷ nguyên An toàn Hậu Lượng tử (Post-Quantum Security Era):

  • Mở rộng kỹ thuật xử lý song song vector sang kiến trúc ARM SVE2 với độ dài vector linh hoạt (128-bit đến 2048-bit).
  • Xây dựng thư viện mật mã lai (Hybrid Cryptography) kết hợp giữa ECC truyền thống và Mật mã dựa trên Mạng tinh thể (Lattice-based Cryptography) cho các giao thức mạng 5G/6G.
  • Thiết kế cơ chế tự động sinh mã hợp ngữ tối ưu (Automated Assembly Code Generation) có tích hợp chứng minh hình thức (Formal Verification) về khả năng kháng tấn công kênh kề.

Kết luận

Luận án Tiến sĩ Kỹ thuật của Nghiên cứu sinh Phạm Văn Lực là một công trình khoa học công phu, mẫu mực, kết hợp nhuần nhuyễn giữa toán học mật mã trừu tượng và kỹ thuật lập trình vi kiến trúc cấp cao. Luận án đã giải quyết trọn vẹn mục tiêu nâng cao hiệu năng của hệ mật đường cong Elliptic trên thiết bị tính toán nhúng với 5 đóng góp cốt lõi:

  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 chuẩn xác, thiết lập tỷ số thực nghiệm $m = 2a$ trên kiến trúc vi xử lý ARM.
  2. Đề xuất thuật toán nhân phân tầng tối ưu trên trường nhị phân $GF(2^m)$, khai thác tối đa sức mạnh của chỉ lệnh VMULL.p8 (ARMv7) và PMULL (ARMv8), mang lại hiệu năng tăng tốc vượt bậc 5.5 lần.
  3. Phát triển dạng biểu diễn Hầu không liền kề (Almost-NAF), tối ưu hóa trọng số Hamming của số mũ vô hướng và giảm thiểu số phép tính cộng điểm trên đường cong.
  4. Đề xuất giải pháp song song hóa kép hai phép nhân trường trên $GF(p)$ sử dụng đồng thời các làn của thanh ghi vector NEON 128-bit, cắt giảm 35-42% thời gian xử lý tọa độ Jacobian.
  5. Hiện thực hóa và tích hợp thành công vào các giao thức bảo mật tiêu chuẩn (ECDSA, ECDH, ECMQV, TLS, IKEv2, OpenVPN) trên hai nền tảng phần cứng thương mại đại diện Xilinx Zynq-7000 (ARMv7) và NXP i.MX 8M (ARMv8).

Công trình không chỉ tạo nên bước đột phá về mặt học thuật trong lĩnh vực kỹ thuật điện tử và an toàn thông tin, mà còn cung cấp một giải pháp công nghệ có giá trị ứng dụng thực tiễn to lớn, bảo vệ vững chắc chủ quyền an ninh số quốc gia trong kỷ nguyên vạn vật kết nối.