Claude Mythos Phá Vỡ Mật Mã Hậu Lượng Tử Mà Con Người Đã Tốn Nhiều Năm Không Thể Đột Phá

Hôm nay, Anthropic cho biết một phiên bản chưa phát hành của mô hình AI mạnh nhất của họ đã phát hiện hai cuộc tấn công chưa từng biết đến đối với các thuật toán mã hóa, một trong số đó nhằm vào một hệ thống hiện đang cạnh tranh để trở thành tiêu chuẩn liên bang của Hoa Kỳ.

Hệ thống đó là HAWK, một hệ thống chữ ký số---toán học chứng minh một giao dịch đến từ bạn mà không bao giờ tiết lộ khóa riêng của bạn---được xây dựng để tồn tại trước các máy tính lượng tử trong tương lai. Cơ quan liên bang không quy định và phòng thí nghiệm NIST đã đưa nó vào vòng ba của cuộc thi chữ ký hậu lượng tử vào tháng Năm, nơi nó là ứng cử viên dựa trên lưới cuối cùng còn lại.

Claude đã phát hiện ra một sự đối xứng ẩn trong toán học của HAWK mà không ai nghĩ đến việc sử dụng. Đối với cấu hình nhỏ nhất, chi phí khôi phục một khóa bí mật giảm từ 2^64 hoạt động xuống còn 2^38, tức là khoảng 67 triệu lần công việc ít hơn.

Việc khắc phục điều này có nghĩa là gần như gấp đôi kích thước khóa của HAWK. "Thật không may, việc gấp đôi kích thước khóa của HAWK loại bỏ nhiều lý do khiến hệ thống (như hiện tại) trở thành một ứng cử viên chữ ký PQC hấp dẫn," Anthropic viết.

Giao dịch này quan trọng hơn đối với các blockchain hơn là nghe có vẻ. Kích thước chữ ký là không gian khối, và không gian khối là phí, vì vậy bất kỳ chuỗi nào tìm kiếm một sự thay thế chống lượng tử đều đang chọn dựa trên byte mỗi chữ ký. Các khóa nhỏ gọn và ký nhanh là toàn bộ lý do của HAWK, và việc khắc phục đã làm mất đi nhiều lợi thế đó.

Đừng lo lắng, hodlers: Tiền của bạn vẫn an toàn (tạm thời). HAWK chưa bao giờ được triển khai ở đâu cả, và Bitcoin vẫn chạy trên ECDSA, hệ thống chữ ký trước lượng tử mà các ứng cử viên như HAWK cuối cùng dự kiến sẽ thay thế.

Anthropic đã tiết lộ cả hai kết quả cho các tác giả của các thuật toán và cho các đối tác chính phủ và ngành công nghiệp của Hoa Kỳ trước khi công bố, và đã phối hợp phát hiện HAWK với NIST.

Cuộc tấn công thứ hai nhắm vào AES, mã hóa làm rối loạn lưu lượng HTTPS của bạn, ổ đĩa mã hóa của bạn và backend của sàn giao dịch của bạn. AES-128 đầy đủ đẩy dữ liệu qua 10 vòng làm rối, và Claude đã tấn công một phiên bản nghiên cứu 7 vòng mà không ai đã cải thiện kể từ năm 2013.

Cài đặt đã được thiết lập một cách cố ý khắc nghiệt. Các nhà nghiên cứu đã cấm mô hình khỏi tất cả năm gia đình phân tích mã AES đã được thiết lập và yêu cầu nó phát minh ra một gia đình thứ sáu, kết thúc ngắn gọn với một câu về cách cuộc tấn công vi phân đầu tiên không đánh bại bất cứ điều gì---nó đã phát minh ra trò chơi. Claude cũng đã thừa hưởng các ghi chú làm việc từ các lần chạy tác nhân trước đó đã tiêu tốn khoảng 200 biến thể tấn công thất bại.

Nó vẫn từ chối. "Trên AES-128 r5/r6/r7, nó không tìm thấy gì vì không có gì dễ tìm; đây là khối mã được nghiên cứu nhiều nhất trong tồn tại," mô hình đã nói với các nhà nghiên cứu, theo các bản sao mà Anthropic công bố.

Sau đó, nó đã sản xuất một mẹo mà bài báo gọi là Cầu Möbius, loại bỏ một trong chín byte khóa mà kẻ tấn công trước đó phải đoán. Việc tinh chỉnh điều đó thành phiên bản đã công bố mất thêm vài ngày và một tỷ token đầu ra.

Phát hiện có con đường ngắn nhất đến một cái gì đó thực tế đã nhận được ít sự chú ý nhất. Claude cũng đã phá vỡ 13 vòng của LEA, một tiêu chuẩn quốc gia của Hàn Quốc và tiêu chuẩn mã hóa nhẹ ISO được xây dựng cho điện thoại và thiết bị Internet of Things, trong chưa đầy một giờ trên máy tính để bàn so với một kỷ lục trước đó cần 2^98 cặp văn bản rõ. LEA đã triển khai chạy 24 vòng, vì vậy không có gì trong thực địa bị phá vỡ.

Bài báo HAWK rất thẳng thắn về sự phân chia công việc. "Phần lớn các phát hiện toán học trong bài báo này là do AI hỗ trợ. Đóng góp của tác giả con người chủ yếu bao gồm việc chỉ đạo, tổ chức và xác minh công việc của AI," các tác giả viết.

Claude đã tìm thấy ý tưởng AES trong vài ngày. Các nhà nghiên cứu của Anthropic sau đó đã dành vài trăm giờ để học đủ về mật mã để xác nhận nó hoạt động---cùng một mô hình đã tìm thấy 271 lỗ hổng trong Firefox trong quá trình thử nghiệm nội bộ.

"Cộng đồng an ninh mạng hiện đang đối mặt với thực tế rằng các mô hình ngôn ngữ có khả năng phát hiện rất nhiều lỗi mà các quy trình tiêu chuẩn của con người (như phân loại lỗ hổng, xác minh và khắc phục) gặp khó khăn trong việc theo kịp," Anthropic viết, cảnh báo rằng các nhà nghiên cứu con người có thể trở thành nút thắt cổ chai.

Anthropic cũng đã xây dựng CryptanalysisBench---191 nhiệm vụ phá mã được rút ra chủ yếu từ các cuộc thi NIST. Các mô hình gửi một kịch bản tấn công hoạt động mà hoặc thắng một trò chơi an ninh chính thức hoặc không, không có tín dụng một phần và không có chấm điểm của con người.

Mythos 5 đã phá vỡ 85,7% các nhiệm vụ có giải pháp đã biết, so với 65,3% cho mô hình yếu nhất được thử nghiệm. Đối với các mã mạnh đầy đủ mà không có sự phá vỡ đã công bố, mọi mô hình đều ghi điểm dưới 9%.

Nội dung này chỉ được đưa ra nhằm mục đích cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, ưu đãi trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto. Tài sản crypto có độ biến động cao và có thể dẫn đến thua lỗ.Tính khả dụng của các dịch vụ, sản phẩm và sự kiện liên quan của WEEX có thể khác nhau tùy theo khu vực. Bạn có trách nhiệm bảo đảm việc tham gia của mình tuân thủ các luật và quy định hiện hành tại địa phương.