Chương 457: Nó chỉ là máy móc thôi

Màn hình cuồn cuộn hiển thị vô số đoạn mã đặc trưng tấn công, kịch bản chiến thuật xâm nhập, cùng với thư viện quy tắc phân tầng của Sắt Màn 3, anh nhanh chóng lướt qua, trong lòng đã có đánh giá sơ bộ. Những phương thức tấn công này trông có vẻ đa dạng, nhưng về bản chất đều đang tìm kiếm những lỗ hổng chưa được thư viện ghi nhận. Tất cả phòng tuyến của Sắt Màn 3, xét cho cùng, đều là cùng một loại phòng tuyến, tức là chờ kẻ tấn công đến rồi mới phân tích đặc trưng của chúng. Kiểu phòng thủ bị động này luôn luôn chậm hơn tấn công một bước, bởi vì phía tấn công luôn nắm giữ lợi thế tiên phát, còn phía phòng thủ chỉ có thể học cách phòng thủ sau khi đã bị đánh.

Tiêu Túc cau mày nhìn dữ liệu trên màn hình, tình thế bị động này khiến anh không hài lòng chút nào. Anh thu gọn lông mày suy nghĩ một lát, rồi một mạch tư duy rõ ràng hiện lên trong đầu. Bây giờ tiếp tục gia cố bức tường lửa này chẳng còn ý nghĩa gì nữa, cho dù xây bức tường dày đến đâu cũng chẳng thể ngăn được đạn pháo từ trên trời rơi xuống.

Tiêu Túc muốn thiết kế một hệ thống phòng thủ thông minh phân tán phi tập trung. Lõi giao thức của hệ thống phòng thủ này dựa trên mật mã kháng lượng tử và cấu trúc tương đương quỹ đạo nhóm vui vẻ, sinh ra cho mỗi nút mạng một tập hợp chứng thực danh tính an toàn lượng tử không thể làm giả về mặt toán học. Tất cả gói dữ liệu trên đường truyền liên lạc đều được mã hóa đầu-cuối bằng hàm cửa bẫy mật mã lưới, như vậy, ngay cả khi kẻ tấn công sở hữu máy tính lượng tử tương lai cũng chẳng thể phá giải trong thời gian đa thức được.

Trên nền tảng kháng lượng tử này, anh sẽ nhúng lõi thuật toán của Tiểu Trí vào, chuyên dùng để nhận diện mối đe dọa theo thời gian thực, nhờ đó có thể phản ứng và phòng thủ tức thì. Nhưng như vậy vẫn chưa đủ. Nếu chỉ phòng thủ, đối phương vẫn sẽ tiếp tục tấn công không ngừng. Chúng có thể dùng xâm nhập phân mảnh để vượt qua ngưỡng phát hiện, có thể dùng tấn công dai dẳng nâng cao để ẩn nấp suốt nhiều năm, có thể thay đổi liên tục máy chủ ủy quyền và mạng bot để thăm dò lặp đi lặp lại. Cuối cùng, sự kiên nhẫn và tài nguyên của phía phòng thủ cũng sẽ bị bào mòn hết.

Cách phòng thủ tốt nhất không phải là bị động chịu đòn, mà phải tấn công chủ động. Tiêu Túc đưa tay viết ngay vào mép giấy trắng một dòng chữ: Cơ chế phân tán truy nguyên và định vị ngược. Mô-đun này tạm thời không cần thiết kế chi tiết, chỉ cần để lại giao diện là đủ, khi toàn bộ hệ thống phòng thủ đã triển khai xong, anh sẽ chuẩn bị cho những kẻ tấn công kia một thứ thú vị.

Dựa trên nền tảng toán học của khung mật mã kháng lượng tử trước đây, toàn bộ kiến trúc và chi tiết của hệ thống mới nhanh chóng định hình trong đầu anh. Từ sinh khóa dựa trên tương đương quỹ đạo nhóm vui vẻ, đến triển khai phân tán biến thể nhẹ của Tiểu Trí, đến quy tắc tiến hóa động của giao thức tế bào miễn dịch, cho đến khi xác nhận từng bước logic đều khớp kín kẽ, Tiêu Túc mới bắt đầu viết toàn bộ luận văn thí nghiệm.

Viết đến đây, Tiêu Túc đột nhiên phát hiện ra một vấn đề nhỏ thú vị. Các tác nhân thông minh phân tán khi thực hiện nhận diện mối đe dọa theo thời gian thực, cần mỗi biến thể Tiểu Trí trên từng nút mạng phải hoàn thành đánh giá hành vi bất thường trong thời gian cực ngắn, nhưng số lượng nút mạng trong mạng lại thay đổi động, độ trễ liên lạc giữa các nút cũng không xác định. Làm thế nào để đảm bảo tất cả các tác nhân đưa ra quyết định nhất quán trong điều kiện phi tập trung?

Vấn đề này trong hệ thống phân tán truyền thống được giải quyết bằng thuật toán đồng thuận, nhưng thuật toán đồng thuận vốn đã có chi phí liên lạc và độ trễ, không phù hợp với bối cảnh nhận diện mối đe dọa cần phản hồi cấp mili-giây. Tiêu Túc ngừng tay khỏi bàn phím, dựa vào lưng ghế suy nghĩ.

Vấn đề này không khó giải quyết hoàn toàn, xét từ góc độ lý thuyết nhóm, sự nhất quán quyết định của mạng tác nhân thông minh phân tán về bản chất là vấn đề tác động của nhóm hữu hạn lên đồ thị tô-pô động. Chỉ cần tìm được biểu diễn nhóm thích hợp để ánh xạ quyết định cục bộ của mỗi nút vào cùng một không gian thương, tính nhất quán sẽ tự động được đảm bảo. Phép suy luận này với Tiêu Túc có lẽ chỉ mất nửa giờ.

Nhưng anh không động tay. Anh nhận thấy vấn đề này khá thích hợp để làm đề tài tiến sĩ. Tiêu Túc khá hài lòng với biểu hiện gần đây của ba nghiên cứu sinh của mình. Vụ việc Strecka lần trước, họ không hề hỏi anh bất kỳ câu hỏi thừa thãi nào, đã tháo gỡ MatSym từ đầu đến cuối sạch sẽ, bài luận cũng viết gọn gàng sắc bén. Có thể tự mình làm được đến mức này, chứng tỏ nền tảng đã vững rồi, Tiêu Túc chẳng có thời gian hướng dẫn họ, đành phải giao cho họ nhiều đề tài thách thức hơn.

Cả ba người gộp lại, đề tài này vừa đủ để họ "cắn" suốt một học kỳ.

Ngày hôm sau, vừa sáng sớm, Tiểu Túc quay trở lại phòng thí nghiệm mật mã Hoa Thanh, trao bài luận văn cho Đinh Khắc Lâm.

Đinh Khắc Lâm nhận lấy, đầu óc như mù mịt, nhưng vừa nhìn tiêu đề “Hệ thống phòng thủ miễn dịch chủ động dựa trên mật mã kháng lượng tử và thể trí thông minh phân tán tự giám sát”, toàn thân bỗng rung mình, cái mệt mỏi buổi sớm liền tan biến hết.

Anh cùng Phu Đạo Dã xem hết bài luận văn từ đầu đến cuối, càng xem càng chậm lại, đến phần thảo luận ở giữa thì dừng hẳn, đọc đi đọc lại tới bốn năm lượt.

Nét mặt của Phu Đạo Dã cũng giống hệt Đinh Khắc Lâm.

Bản thiết kế này đã dung hòa cấu trúc toán học của mật mã kháng lượng tử với khung thể trí thông minh phân tán của Tiểu Trí, tạo ra một biến thể Tiểu Trí nhẹ nhàng dựa trên mật mã lưới, có thể chạy ngay trên thiết bị đầu cuối, không cần kết nối bất kỳ máy chủ trung tâm nào, giống như tế bào miễn dịch trong cơ thể người, có thể tự nhận diện và loại bỏ các mối đe dọa mạng lưới.

Nếu có bất kỳ điểm nút nào phát hiện hành vi bất thường, toàn bộ mạng lưới sẽ ngay lập tức đồng bộ cập nhật chiến lược phòng thủ trong thời gian ngắn, không cần bất kỳ sự can thiệp nhân công nào.

Họ còn chưa dám tưởng tượng nổi một thiết kế như vậy, bởi rào cản để hiện thực hóa hệ thống phòng thủ ấy quá cao.

Tiểu Trí quả thật đặc biệt, chỉ với một thể trí thông minh ấy, robot thông minh và xe tự lái của Hằng Khoa đã xuất khẩu ra nước ngoài, đứng ở đỉnh cao của thiết bị thông minh hiện nay.

Đinh Khắc Lâm cũng từng sử dụng sản phẩm của Hằng Khoa, thể trí thông minh ấy quả thật xuất sắc về sự phục tùng và khả năng lĩnh hội, chưa từng xảy ra bất kỳ phán đoán sai lầm nào.

Nhưng, dù thể trí thông minh có thông minh đến đâu cũng chỉ là máy móc, không phải con người. Anh tin tưởng robot, tin tưởng Tiểu Trí, bởi vì cho đến nay nó chưa bao giờ mất kiểm soát.

Nhưng nếu hệ thống miễn dịch này được triển khai trên toàn bộ các điểm nút mạng của quốc gia, mỗi điểm đều có một biến thể Tiểu Trí có thể tự đưa ra quyết định và cập nhật chiến lược, vậy nếu có một điểm mất kiểm soát thì sao? Nếu bị phía tấn công lợi dụng ngược lại thì sao?

Con người còn không tin tưởng chính mình, làm sao có thể giao toàn bộ an toàn của mình cho một cỗ máy?

Đinh Khắc Lâm đặt bài luận văn xuống bàn, suy nghĩ vài giây rồi quyết định nói thẳng:

“Giáo sư Tiểu, hướng tư duy này thực sự mang tính cách mạng. Nhưng tính tự chủ của Tiểu Trí quá cao, nếu chúng ta triển khai nó vào hệ thống an toàn quốc gia, tức là giao toàn bộ mạch máu mạng lưới của đất nước cho một cỗ máy. Robot vốn dĩ chỉ là robot, con người có thể phạm sai lầm, máy móc cũng có thể phạm sai lầm, nhưng con người phạm sai lầm vẫn có cơ hội sửa chữa, còn máy móc nếu xảy ra vấn đề, có thể toàn bộ hệ thống sẽ bị xâm nhập.”

Tiểu Túc nghe xong, đôi mày khẽ nhíu lại, đầy vẻ hoài nghi nhìn Đinh Khắc Lâm.

Anh không ngờ rằng điều đầu tiên họ nghĩ đến lại là chuyện ấy.

Theo quan điểm của Tiểu Túc, dù thể trí thông minh có thông minh đến đâu, điều quan trọng là nó có thể chứa đựng bao nhiêu thông tin, và khả năng suy luận logic do người thiết kế cung cấp là bao nhiêu.

Khung thể trí thông minh tự giám sát phân rã dựa trên lý thuyết nhóm của Tiểu Trí là do anh viết từng dòng code, ranh giới nhận thức của nó ở đâu, logic quyết định đi theo hướng nào, điều kiện ràng buộc hành vi là gì, tất cả đều nằm trong tầm kiểm soát của người thiết kế.

Nói cho cùng, nó chỉ là một cỗ máy, con người làm sao không thể kiểm soát nổi cỗ máy do chính mình tạo ra?