Mô hình AI hỗ trợ phát hiện điểm yếu trong chữ ký số hậu lượng tử HAWK và tấn công AES giảm vòng
"Anthropic reported that its Mythos AI model helped discover weaknesses in the HAWK post-quantum digital signature scheme and in an AES meet-in-the-middle attack, leading HAWK's developer to withdraw the candidate from NIST consideration. The HAWK result reduced the effective key strength of a weakened challenge instance, while the AES result lowered the plaintext requirement for an attack on a reduced-round version; neither breaks production cryptosystems, but both suggest AI-assisted cryptanalysis may accelerate future vulnerability discovery."
Tác động chủ yếu là làm lộ khả năng AI-assisted cryptanalysis rút ngắn đáng kể công sức tấn công trên challenge instances; với HAWK, phát hiện dẫn tới việc rút khỏi NIST do giảm độ mạnh khóa, còn với AES là giảm mạnh yêu cầu plaintext trên bản rút gọn vòng.
Việc HAWK bị rút khỏi lộ trình chuẩn hóa có thể ảnh hưởng kế hoạch triển khai PQC của các bên theo dõi NIST; đồng thời, kết quả cho thấy cần tăng tốc quy trình thẩm định và kiểm chứng điểm yếu khi mô hình ngôn ngữ tạo ra hướng tấn công mới.
Theo công bố của Anthropic, mô hình Mythos đã hỗ trợ phát hiện các điểm yếu trong hai bài toán mật mã, dẫn tới việc nhóm phát triển HAWK rút ứng viên khỏi vòng đánh giá của NIST. Cụ thể, với HAWK (một digital signature scheme kháng tấn công lượng tử), Mythos tìm ra phương pháp mới làm giảm “độ mạnh khóa” của một challenge instance xuống khoảng một nửa. Điểm tựa an toàn của HAWK dựa trên độ khó của Lattice Isomorphism Problem; phát hiện mới liên quan đến cách tìm các đối xứng tự động (automorphism symmetries). Để khắc phục, có thể tăng gấp đôi kích thước khóa, nhưng điều này làm thuật toán kém cạnh tranh hơn so với các lựa chọn PQC ký số khác.
Với AES, Mythos hỗ trợ cải tiến meet-in-the-middle attack dựa trên Möbius Bridge, giảm yêu cầu dữ liệu plaintext từ khoảng 2^105 xuống 2^89, tương ứng có thể giảm thời gian tấn công khoảng 200–800 lần. Tuy nhiên, kết quả được thực hiện trên phiên bản AES suy yếu (chỉ 7 rounds), trong khi AES chuẩn có thể dùng 10/12/14 rounds.
Các tác giả nhấn mạnh đây là kết quả theo hướng “tăng tốc” tấn công trên phiên bản thử nghiệm, không phải phá vỡ trực tiếp các hệ thống triển khai thực tế; vẫn cần đánh giá thêm về tính khả thi ngoài môi trường lab.