Một tuyên bố gây chấn động gần đây: mô hình GLM-5.3 phát hiện lỗ hổng nghiêm trọng trong Cursor editor – nhưng không có CVE, không có PoC, không có chi tiết kỹ thuật nào được công bố. Trong thị trường giảm hiện tại, nơi mọi dự án đều chảy máu LP và thanh khoản, những thông tin thiếu căn cứ như vậy chỉ làm tăng thêm sự hoài nghi. Là một kỹ sư đã kiểm toán hàng trăm hợp đồng thông minh và từng chứng kiến sự sụp đổ của Terra do lỗi thiết kế kinh tế, tôi biết rằng bảo mật không phải là trò chơi của lời hứa. Mã tốt tự nói lên tất cả.
Bối cảnh: AI trong code audit đang là chủ đề nóng. Các mô hình như GPT-4 đã chứng tỏ khả năng phát hiện lỗ hổng trong các bài kiểm tra có kiểm soát. Nhưng việc một mô hình 'tự nhiên' phát hiện lỗ hổng trong một sản phẩm thương mại như Cursor là một câu chuyện hoàn toàn khác. Cursor là một IDE dựa trên VS Code, được sử dụng rộng rãi bởi cộng đồng blockchain để phát triển smart contract. Một lỗ hổng trong Cursor có thể ảnh hưởng đến hàng ngàn nhà phát triển, dẫn đến rò rỉ khóa riêng, injection độc hại, hoặc mất toàn bộ quỹ. Tuy nhiên, tuyên bố về GLM-5.3 lại thiếu những thông tin cơ bản nhất: loại lỗ hổng (CWE), thành phần bị ảnh hưởng, điều kiện khai thác, và quan trọng nhất là mã nguồn hoặc mô tả kỹ thuật. Mã tốt tự nói lên tất cả – nhưng ở đây, không có mã nào để nói.
Phân tích kỹ thuật cho thấy hai kịch bản có thể xảy ra. Kịch bản A: GLM-5.3 là một công cụ phân tích mã nguồn tĩnh, được cung cấp mã nguồn của Cursor và phát hiện lỗ hổng – tương tự như cách tôi sử dụng Slither để kiểm tra smart contract. Kịch bản B: GLM-5.3 trong quá trình sử dụng Cursor đã phát hiện ra lỗ hổng trong chính sản phẩm – một trường hợp tự phát hiện lỗi thú vị nhưng cực kỳ hiếm. Cả hai đều cần bằng chứng: một diff patch, một đoạn code thể hiện lỗi, hoặc ít nhất là một báo cáo kỹ thuật từ nhóm bảo mật độc lập. Bài viết gốc không đưa ra bất kỳ thông tin nào để phân biệt hai kịch bản này. Hơn nữa, phiên bản 'GLM-5.3' không tồn tại trong bất kỳ tài liệu chính thức nào của Zhipu AI – một dấu hiệu đỏ lớn. Trong lĩnh vực bảo mật, chúng tôi gọi đây là 'thiếu nguồn gốc'.
Điểm trái ngược: nếu tuyên bố này là thật, nó có thể là một bước tiến đáng kể. Một mô hình có thể tự động phát hiện lỗ hổng trong các IDE phổ biến sẽ cách mạng hóa cách chúng ta kiểm tra bảo mật. Nhưng cách thức thông báo lại thiếu chuyên nghiệp. Không có trách nhiệm tiết lộ (responsible disclosure) – thông thường, nhà nghiên cứu sẽ báo cáo với nhà phát triển trước, đợi bản vá, sau đó công bố. Việc công bố rộng rãi mà không có chi tiết có thể gây hoang mang và tạo cơ hội cho kẻ xấu lợi dụng. Mã tốt tự nói lên tất cả – nhưng ở đây, sự im lặng lại nói lên nhiều hơn.
Kết luận: cho đến khi có bằng chứng kỹ thuật cụ thể – một PoC, một bản vá, hoặc một xác nhận từ đội ngũ Cursor – tôi sẽ coi đây là một chiến dịch marketing hơn là một phát hiện thực sự. Trong thị trường giảm, nơi mọi người đều sợ mất tiền, những tuyên bố như vậy chỉ làm tăng thêm tiếng ồn. Hãy nhớ rằng: bảo mật là một quá trình, không phải một sự kiện. Và nếu không có mã, thì không có gì để tin.