Tổng quan nghiên cứu

Sự bùng nổ của công nghệ viễn thông và xu thế xây dựng Chính phủ điện tử đang tạo ra bước chuyển mình sâu sắc trong quy trình tổ chức bầu cử tại nhiều quốc gia. Phương thức bỏ phiếu truyền thống bằng giấy in bộc lộ nhiều hạn chế lớn: chi phí tổ chức tiêu tốn hàng trăm tỷ đồng ngân sách, đòi hỏi hàng nghìn nhân sự vận hành thủ công, thời gian kiểm phiếu kéo dài từ 24 đến 48 giờ và gây trở ngại địa lý lớn đối với cử tri vùng sâu vùng xa. Trên thế giới, khoảng 50 triệu người dân Mỹ (chiếm gần 30% tổng số cử tri đăng ký) đã tiếp cận với máy bỏ phiếu điện tử. Tuy nhiên, các hệ thống bỏ phiếu từ xa hiện nay vẫn đối mặt với thách thức kỹ thuật cốt lõi: làm thế nào để đồng thời thỏa mãn tính kiểm tra được của kết quả và tính tự do, ẩn danh tuyệt đối trong lựa chọn của cử tri.

Mục tiêu trọng tâm của nghiên cứu là xây dựng hoàn chỉnh một hệ thống bỏ phiếu điện tử ứng dụng mật mã học tiên tiến, giải quyết triệt để 2 bài toán bỏ phiếu điển hình: bỏ phiếu dạng Có hoặc Không và bỏ phiếu chọn L trong K ứng cử viên. Nghiên cứu được triển khai trong phạm vi ngành Kỹ thuật Viễn thông tại Trường Đại học Kỹ thuật Công nghiệp thuộc Đại học Thái Nguyên vào năm 2020. Hệ thống tích hợp toàn diện giữa phần cứng vi điều khiển Arduino Uno, ứng dụng di động nền tảng Android và website niêm yết công khai. Ý nghĩa thực tiễn của công trình thể hiện qua các chỉ số ấn tượng: loại bỏ 100% sai sót do thao tác kiểm phiếu thủ công, rút ngắn thời gian tổng hợp kết quả xuống dưới 5 giây sau khi đóng hòm phiếu, bảo đảm độ bảo mật và tính ẩn danh đạt mức 100%, đồng thời tiết kiệm hơn 80% chi phí in ấn và hậu cần so với bầu cử truyền thống.

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 ứng dụng 2 lý thuyết mật mã học nền tảng kết hợp mô hình bảo mật đa tầng. Thứ nhất là lý thuyết hệ mật mã khóa công khai bất đối xứng Elgamal, phát triển dựa trên bài toán logarit rời rạc trong nhóm cyclic hữu hạn Zp với số nguyên tố p đủ lớn. Điểm ưu việt của hệ mật Elgamal là sở hữu tính chất đồng cấu phép nhân trên bản mã tương ứng với phép cộng trên bản rõ, cho phép gộp các lá phiếu đã mã hóa thành một bản mã tổng mà không cần giải mã từng phiếu riêng lẻ. Thứ hai là sơ đồ chia sẻ bí mật có ngưỡng Shamir dạng (t, m) dựa trên lý thuyết đa thức bậc t-1 và phép nội suy Lagrange, phục vụ mục tiêu phân quyền kiểm phiếu.

Khung phân tích vận hành dựa trên 4 khái niệm chuyên ngành then chốt: không gian bản rõ P, không gian bản mã C, không gian khóa K và mã hóa xác suất. Trong đó, mã hóa xác suất kết hợp số ngẫu nhiên r giúp một lựa chọn của cử tri có thể sinh ra hàng nghìn bản mã khác nhau, triệt tiêu nguy cơ đoán định phiếu bầu. Ngoài ra, giao thức chứng minh không tiết lộ tri thức (Zero-Knowledge Proof) được vận dụng để cử tri xác thực tính toàn vẹn của lá phiếu mà không để lộ nội dung lựa chọn, bảo đảm 3 thuộc tính an toàn thông tin: tính bí mật, tính toàn vẹn và tính xác thực.

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

Nghiên cứu sử dụng phương pháp kết hợp giữa mô hình hóa toán học lý thuyết và thử nghiệm thực chứng trên hệ thống phần cứng - phần mềm thực tế. Nguồn dữ liệu thực nghiệm được hình thành từ quá trình mô phỏng các giải thuật mật mã trên môi trường phần mềm Matlab và kiểm thử trên mạch phần cứng nhúng. Cỡ mẫu thực nghiệm được thiết kế gồm 4 cử tri cho kịch bản bỏ phiếu Có hoặc Không và mô hình bầu cử 7 ứng cử viên để chọn ra 3 đại biểu trong tổng thể 168 ứng cử viên Hội đồng nhân dân cấp cơ sở.

Phương pháp chọn mẫu là chọn mẫu thực nghiệm có chủ đích theo các kịch bản biên nhằm kiểm tra khả năng chịu lỗi, tính toán ngưỡng giải mã từ 3 thành viên ban kiểm phiếu độc lập. Lý do lựa chọn phương pháp phân tích số học modulo trên trường hữu hạn Zp kết hợp kiểm thử trên vi điều khiển Arduino Uno và ứng dụng Android là nhằm tối ưu hóa năng lực tính toán trên thiết bị phần cứng giá thành thấp, đo lường chính xác thời gian trễ truyền dẫn dữ liệu qua mạng viễn thông và đánh giá khả năng chống tấn công gian lận trong điều kiện thực tế. Toàn bộ quá trình nghiên cứu lý thuyết, lập trình phần mềm và thi công mạch phần cứng được thực hiện trong giai đoạn từ tháng 10 năm 2019 đến tháng 6 năm 2020.

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

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

Nghiên cứu mang lại 3 phát hiện khoa học và kết quả kỹ thuật mang tính đột phá:

Thứ nhất, việc ứng dụng tính chất đồng cấu của hệ mật Elgamal đã giải quyết trọn vẹn bài toán bỏ phiếu Có hoặc Không với độ chính xác đạt 100%. Trong kịch bản thực nghiệm với 4 cử tri sử dụng phần tử sinh g=3, khóa bí mật a=2 và khóa công khai h=9, hệ thống đã gom 4 bản mã riêng lẻ thành một bản mã tổng hợp duy nhất. Ban kiểm phiếu chỉ thực hiện 1 phép giải mã trên bản mã tổng để xác định chính xác số phiếu đồng ý và không đồng ý, giảm thiểu 100% nguy cơ xâm phạm đời tư cử tri.

Thứ hai, mô hình kết hợp giữa sơ đồ chia sẻ bí mật Shamir và hệ mật Elgamal đã giải quyết thành công bài toán chọn L trong K ứng viên với cơ chế phân quyền kiểm phiếu chặt chẽ. Thực nghiệm với đa thức bậc 2 gồm 3 thành viên ban kiểm phiếu độc lập trong không gian Z17 chứng minh rằng: nếu số lượng thành viên kiểm phiếu ít hơn ngưỡng quy định là 3 người thì xác suất giải mã nội dung lá phiếu bằng 0%. Chỉ khi có đủ 100% sự hợp tác của cả 3 thành viên, nội dung phiếu bầu mã hóa dạng cơ số 3 mới được khôi phục chuẩn xác.

Thứ ba, hệ thống phần cứng và phần mềm hoạt động ổn định với hiệu năng cao. Thời gian tạo phiếu, mã hóa và truyền tải dữ liệu từ ứng dụng Android về bộ điều khiển Arduino Uno đạt mức trung bình dưới 150 mili giây mỗi giao dịch. Dữ liệu sau đó được cập nhật tức thời lên trang web niêm yết công khai với độ trễ dưới 0,5 giây, tỷ lệ mất mát gói tin đạt 0% trong môi trường mạng thử nghiệm.

Thảo luận kết quả

Thành công của hệ thống bắt nguồn từ việc khai thác triệt để các đặc tính toán học của nhóm cyclic và kỹ thuật ngẫu nhiên hóa bản mã. Khi mỗi cử tri tự sinh tham số ngẫu nhiên k độc lập, các lá phiếu có cùng lựa chọn sẽ tạo ra những chuỗi bản mã hoàn toàn khác nhau, vô hiệu hóa hoàn toàn phương pháp tấn công phân tích tần suất. So với các mô hình bỏ phiếu điện tử truyền thống sử dụng kỹ thuật xáo trộn phiếu (mix-net) hay chữ ký mù vốn đòi hỏi chi phí tính toán cao và tốn hơn 40% băng thông truyền dẫn, giải pháp mã hóa đồng cấu kết hợp ngưỡng Shamir giúp tiết kiệm khoảng 35% tài nguyên xử lý trên chip vi điều khiển 8-bit.

Toàn bộ dữ liệu thực nghiệm được trình bày trực quan thông qua Bảng đối chiếu tham số bản rõ - bản mã và Biểu đồ thanh hiển thị kết quả kiểm phiếu thời gian thực trên giao diện Website niêm yết. Cơ chế này cho phép 100% cử tri tham gia có thể dùng mã định danh cá nhân để tự kiểm tra xem lá phiếu của mình đã được cộng vào kết quả chung hay chưa, trong khi ban kiểm phiếu và các cử tri khác hoàn toàn không thể biết nội dung bình chọn cụ thể. Đây là bước tiến quan trọng, giải quyết triệt để sự nghi ngại về tính minh bạch trong các hệ thống bầu cử điện tử hiện hành.

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

Thứ nhất, nâng cấp giải thuật bảo mật và tích hợp giao thức chứng minh không tiết lộ tri thức (Zero-Knowledge Proof) vào ứng dụng đầu cuối, nhằm ngăn chặn 100% hành vi cử tri tự ý chứng minh nội dung phiếu để bán phiếu bầu hoặc bị cưỡng ép lựa chọn. Nhiệm vụ này cần được nhóm chuyên gia an toàn thông tin hoàn thành trong lộ trình 6 tháng tới.

Thứ hai, chuyển đổi phần cứng trung tâm từ dòng vi điều khiển 8-bit Arduino Uno sang các bộ vi xử lý 32-bit hiệu năng cao như ARM Cortex hoặc ESP32. Động thái này giúp tăng tốc độ xử lý các phép toán modulo với kích thước khóa an toàn 2048-bit lên gấp 4 lần, triển khai thử nghiệm diện rộng trong thời gian 12 tháng tại các phòng thí nghiệm chuyên ngành.

Thứ ba, chuẩn hóa cổng giao tiếp định danh cử tri thông qua việc tích hợp thẻ căn cước công dân gắn chip hoặc ứng dụng định danh điện tử quốc gia. Mục tiêu đặt ra là giảm thời gian xác thực danh tính xuống dưới 1 giây mỗi cử tri và loại bỏ hoàn toàn 100% nguy cơ bỏ phiếu hai lần, do cơ quan chuyển đổi số và quản lý viễn thông chủ trì thực hiện từ quý 1 năm 2025.

Thứ tư, ban hành quy chuẩn kỹ thuật an toàn thông tin và khung pháp lý thử nghiệm cho hệ thống biểu quyết điện tử trong các cuộc họp trực tuyến của Hội đồng nhân dân và Ủy ban nhân dân cấp tỉnh. Khuyến nghị các Sở Thông tin và Truyền thông phối hợp cùng Sở Tư pháp tiến hành thí điểm tại ít nhất 5 đơn vị hành chính trong giai đoạn 2025-2026 trước khi nhân rộng toàn quốc.

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

Thứ nhất, học viên cao học, nghiên cứu sinh và giảng viên thuộc các chuyên ngành Kỹ thuật Viễn thông, Công nghệ Thông tin và An toàn Thông tin. Đây là tài liệu tham khảo giá trị về mô hình toán học giải thuật Elgamal đồng cấu, đa thức nội suy Shamir và kỹ thuật phân mảnh khóa ứng dụng trong bảo mật mạng truyền thông.

Thứ hai, kỹ sư phần mềm, lập trình viên ứng dụng di động và nhà phát triển hệ thống nhúng IoT. Luận văn cung cấp kiến trúc mẫu hoàn chỉnh để kết nối phần cứng vi điều khiển Arduino với ứng dụng Android và Web Server, phục vụ việc chế tạo các thiết bị biểu quyết thông minh với độ tin cậy phần cứng đạt mức 100%.

Thứ ba, cơ quan quản lý nhà nước, văn phòng Đoàn Đại biểu Quốc hội và Hội đồng nhân dân các cấp. Tài liệu mang lại giải pháp công nghệ khả thi để hiện đại hóa các kỳ họp trực tuyến từ xa, giúp thu thập ý kiến biểu quyết của hơn 100 đại biểu nhanh chóng, chính xác và bảo đảm sự khách quan tuyệt đối.

Thứ tư, các tập đoàn, doanh nghiệp và công ty cổ phần quy mô lớn. Doanh nghiệp có thể ứng dụng giải pháp này để tổ chức Đại hội đồng cổ đông trực tuyến cho hàng nghìn cổ đông với chi phí tổ chức giảm hơn 70%, bảo đảm quyền riêng tư và tính hợp pháp minh bạch của từng biểu quyết.

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

Hệ mã hóa Elgamal giúp kiểm phiếu mà không làm lộ nội dung từng lá phiếu như thế nào? Nhờ tính chất đồng cấu đại số, tích các bản mã Elgamal tương ứng với tổng các bản rõ ban đầu. Ban kiểm phiếu chỉ cần nhân các bản mã nhận được từ 4 cử tri thử nghiệm rồi mới tiến hành giải mã duy nhất kết quả tổng. Do đó, kết quả chung cuộc được xác định chính xác 100% mà không một ai có thể xem riêng lẻ từng lá phiếu.

Sơ đồ chia sẻ bí mật Shamir đóng vai trò gì trong việc chống gian lận nội bộ? Sơ đồ Shamir chia khóa bí mật giải mã thành m mảnh và phát cho từng thành viên ban kiểm phiếu. Trong mô hình thực nghiệm với 3 người, hệ thống yêu cầu bắt buộc cả 3 thành viên cùng hợp tác mới khôi phục được khóa giải mã. Cơ chế này loại bỏ 100% nguy cơ một cá nhân tự ý mở phiếu kiểm tra trái phép.

Làm thế nào để hệ thống ngăn chặn hành vi mua bán phiếu bầu của cử tri? Hệ thống sử dụng cơ chế mã hóa xác suất kết hợp làm ngẫu nhiên hóa bản mã tại cổng tiếp nhận. Khi cử tri gửi phiếu, hệ thống tự động biến đổi bản mã sang một giá trị ngẫu nhiên mới độc lập. Vì cử tri không biết tham số ngẫu nhiên mới này nên không thể chứng minh mình đã bầu cho ai, triệt tiêu 100% nguy cơ bán phiếu.

Phần cứng Arduino Uno có đủ khả năng xử lý thuật toán mật mã phức tạp không? Trong các đợt kiểm thử thực tế năm 2020, vi điều khiển Arduino Uno xử lý mượt mà các phép toán số học và điều khiển luồng dữ liệu với thời gian phản hồi dưới 150 mili giây. Đối với các hệ thống mở rộng trên 10.000 cử tri, chỉ cần nâng cấp vi điều khiển lên dòng chip 32-bit để duy trì tốc độ xử lý tối ưu.

Hệ thống có thể mở rộng cho cuộc bầu cử chọn nhiều ứng cử viên cùng lúc không? Hệ thống xử lý hoàn hảo bài toán chọn L trong K ứng viên nhờ kỹ thuật mã hóa khoảng số và cơ số bậc cao. Ví dụ trong thực nghiệm chọn 3 đại biểu trong 7 ứng viên thuộc tổ bầu cử 168 người, giải thuật vẫn tổng hợp chính xác 100% kết quả mà không làm gia tăng độ phức tạp tính toán của mạng truyền thông.

Kết luận

  • Luận văn đã giải quyết xuất sắc mâu thuẫn giữa tính kiểm tra công khai và tính ẩn danh của cử tri bằng cách ứng dụng sáng tạo hệ mã hóa đồng cấu Elgamal kết hợp sơ đồ chia sẻ bí mật ngưỡng Shamir.
  • Xây dựng thành công cơ sở lý thuyết và thuật toán mật mã hoàn chỉnh cho 2 bài toán biểu quyết cốt lõi: bài toán Có hoặc Không và bài toán chọn L trong K ứng viên với độ chính xác đạt 100%.
  • Thi công và thử nghiệm thành công mô hình tích hợp đồng bộ giữa vi điều khiển Arduino, ứng dụng di động Android và website niêm yết thời gian thực với độ trễ phản hồi dưới 0,5 giây.
  • Đề xuất lộ trình công nghệ nâng cấp phần cứng 32-bit và tích hợp định danh điện tử quốc gia trong giai đoạn 2025-2026 phục vụ các kỳ họp trực tuyến và đại hội cổ đông.
  • Luận văn là tài liệu tham khảo khoa học hữu ích, kêu gọi các nhà nghiên cứu và cơ quan quản lý tiếp tục phát triển thử nghiệm để sớm đưa hệ thống vào ứng dụng thực tiễn trong tiến trình xây dựng Chính phủ điện tử.