Phiên bản công khai của Mythos chính thức ra mắt: Phân tích ưu điểm và hạn chế của kiểm toán hợp đồng thông minh AI
Bản phát hành công khai của Mythos (Claude Fable 5) đã được Anthropic chính thức ra mắt, thu hút sự chú ý với khả năng phát hiện lỗ hổng bảo mật. Sự kiện Zcash gần đây là một ví dụ điển hình, nơi AI phát hiện ra lỗ hổng nghiêm trọng trong nhóm Orchard chỉ sau vài giờ, một lỗi đã tồn tại 4 năm mà các cuộc kiểm tra thủ công bỏ sót.
AI thể hiện ưu thế rõ rệt trong các tình huống như kiểm tra mẫu mã và sàng lọc ban đầu. Một nghiên cứu điển hình về lỗi va chạm vị trí lưu trữ cho thấy AI có thể nhanh chóng xác định các xung đột bố cục bộ nhớ phức tạp giữa các thành phần hoặc thư viện, vốn dễ bị bỏ qua trong kiểm tra thủ công.
Tuy nhiên, Fable 5 vẫn có những hạn chế. Trong bài kiểm tra lại sự kiện tấn công Curve LlamaLend sDOLA, AI không thể xác định rủi ro cốt lõi. Đây là lỗ hổng tổ hợp xuyên giao thức, nơi mã của từng hợp đồng riêng lẻ là đúng, nhưng kẻ tấn công có thể khai thác sự tương tác giữa nhiều giao thức để thao túng giá và thực hiện thanh lý, tạo ra lợi nhuận. Những tình huống như vậy đòi hỏi sự hiểu biết sâu sắc về mô hình kinh doanh và logic nghiệp vụ phức tạp của toàn bộ hệ sinh thái.
Tóm lại, AI xuất sắc trong việc phát hiện các lỗi chi tiết, tiêu chuẩn hóa như xung đột lưu trữ hoặc lỗi logic trong một hợp đồng, giúp tăng hiệu quả kiểm tra. Tuy nhiên, đối với các lỗ hổng tổ hợp phức tạp, tấn công đa hợp đồng hay mô hình kinh tế DeFi, vẫn cần sự phân tích chuyên sâu của các chuyên gia kiểm tra bảo mật.
marsbit06/11 08:07
