web3: Nhóm Red Team của bitcoin sử dụng mô hình AI Trung Quốc để rà soát các lỗ hổng mã nguồn mở

Một nhóm tình nguyện chuyên kiểm tra lỗ hổng phần mềm Bitcoin cho biết họ đã sử dụng mô hình AI của Trung Quốc để quét cơ bản gần như toàn bộ hệ sinh thái mã nguồn mở của Bitcoin và đã gửi nhiều báo cáo vấn đề bảo mật đến các nhà phát triển.

Người đứng đầu Bitcoin Red Team, lập trình viên lấy biệt danh Calle, chia sẻ trên nền tảng mạng xã hội rằng nhóm đã kết hợp công cụ AI với kiểm tra thủ công để kiểm tra các dự án như ví, ứng dụng Lightning Network, thư viện phần mềm. Đối với những vấn đề được xác nhận là đáng tin cậy, nhóm sẽ thông báo riêng cho các nhà phát triển để sửa trước khi quyết định có công khai chi tiết hay không.

Đã bao phủ 390 dự án

Calle tiết lộ rằng trong tháng 8, nhóm đã gửi 4962 bản ghi vấn đề cho 390 dự án, trong đó có 85 lỗ hổng nghiêm trọng, 635 lỗ hổng nguy hiểm cao, còn lại là các vấn đề bảo mật ở các mức độ khác nhau.

Ông cho biết các nhà phát triển đã xác nhận có không ít lỗ hổng nghiêm trọng và nguy hiểm cao thực sự tồn tại. Tuy nhiên, nhóm chưa công khai tên những dự án bị ảnh hưởng và cũng chưa tiết lộ chi tiết kỹ thuật.

Mô hình Trung Quốc được sử dụng để kiểm toán mã

Nhóm này sử dụng các mô hình như Kimi K3 của công ty khởi nghiệp Moonshot AI tại Trung Quốc và GLM 5.2 của nền tảng Z.ai do các nhà phát triển Trung Quốc xây dựng, ngoài ra còn sử dụng các mô hình của OpenAI và Anthropic.

Theo lời Calle, các mô hình của Mỹ gặp hạn chế khi sử dụng trong nghiên cứu bảo mật, nhóm đã nhiều lần gặp phải rào cản trong quá trình kiểm toán nên chuyển sang sử dụng mô hình của Trung Quốc có thể chạy cục bộ. Kimi K3 được mô tả là có khả năng xử lý kho mã lớn và hoàn thành các nhiệm vụ phân tích phần mềm dài với ít sự can thiệp của con người.

Kiểm tra Lightning Network khó hơn

Calle cho biết phần mềm Lightning Network hỗ trợ thanh toán nhanh của Bitcoin có cấu trúc phức tạp, kiểm tra khó hơn rõ rệt và tình hình vấn đề bảo mật cũng nổi bật hơn so với các dự án thông thường.

Ông còn cho biết những dự án đã sớm áp dụng quy trình kiểm toán AI hiện nay đã có khoảng cách rõ ràng so với những dự án chưa sử dụng công cụ này. Trong tương lai, các bên phát triển cần xây dựng quy trình kiểm toán AI riêng, còn những phần mềm lâu thiếu bảo trì thì không nên dễ dàng tin tưởng nữa.

Theo lời ông, AI đang nâng cao hiệu quả phát hiện lỗ hổng, nhưng đồng thời cũng khiến áp lực duy trì bảo mật của nhà phát triển tăng lên. Dù ông dùng từ "Bitcoin đang cháy" để mô tả tình hình hiện tại, nhưng đồng thời cho rằng việc kiểm toán diện rộng sẽ thúc đẩy phần mềm Bitcoin trở nên vững chắc hơn.