Bitcoin Red Team vừa đưa ra một minh họa rõ nét về quy mô mới của việc rà soát an ninh bằng AI trong hệ sinh thái Bitcoin mã nguồn mở. Trong đợt nước rút tháng 8/2026, nhóm tình nguyện cho biết đã dùng quy trình đa mô hình, có con người điều phối, để rà soát khoảng 390 kho mã liên quan đến Bitcoin trong khoảng 27,5 giờ.
Kết quả được báo cáo là 4.962 phát hiện an ninh tiềm năng, trong đó 85 mục được gắn mức critical (nghiêm trọng) và 635 mục mức high (cao). Nhưng điểm quan trọng nhất là: đây là đầu mối cần điều tra, không phải 4.962 lỗ hổng đã được chứng minh là có thể khai thác.
11
24
AI đã làm gì trong cuộc rà soát này?
Nhóm 16 người, do lập trình viên Calle và CEO AnchorWatch Rob Hamilton dẫn dắt, được cho là đã dùng hơn 40.000 USD năng lực tính toán AI do OpenSats tài trợ. Các mô hình được nhắc đến trong các bài đưa tin gồm Kimi K3, GPT Sol, Fable, Opus và GLM 5.2. Con người định hướng quy trình; mô hình quét mã, tìm luồng xử lý đáng ngờ, gợi ý điểm yếu và giả thuyết khai thác, rồi hỗ trợ tạo báo cáo gửi cho nhóm bảo trì.
2
5
12
Phạm vi rà soát lớn bất thường đối với một hoạt động tình nguyện ngắn hạn: khoảng 390 kho mã và một bộ khung kiểm tra được cho là bao phủ 171.599 dòng mã. Theo cách phân loại của nhóm, 720 phát hiện thuộc hai mức cao hoặc nghiêm trọng.
23
27
Điều này cho thấy kinh tế của việc đọc mã đã thay đổi. AI có thể nhanh chóng sàng lọc một lượng mã lớn để tìm mẫu rủi ro, lần theo đường đi của dữ liệu và đề xuất tình huống kiểm thử. Tuy vậy, một tín hiệu đáng ngờ do mô hình nêu ra chưa thể tự động trở thành báo cáo sẵn sàng xử lý trong môi trường sản phẩm.
Vì sao 4.962 không phải là số lỗ hổng đã xác nhận?
Con số 4.962 nên được hiểu là một hàng đợi các ứng viên cần xác minh. Ở thời điểm được đưa tin, chỉ 21,4% phát hiện đã được tái lập độc lập. Phần còn lại cần có người kiểm tra xem hành vi đó có thực sự xuất hiện trong bản dựng và cấu hình liên quan hay không, có thể khai thác được không, có trùng với báo cáo khác không và mức độ nghiêm trọng thực sự là gì.
11
15
Một quy trình xử lý lỗ hổng hoàn chỉnh thường bao gồm:
- tái lập lỗi trong môi trường phần mềm thực tế;
- loại bỏ báo cáo dương tính giả và báo cáo trùng lặp;
- đánh giá khả năng khai thác cùng tác động đến người dùng;
- phối hợp tiết lộ riêng tư với bên bảo trì;
- viết bản vá hẹp, kèm kiểm thử;
- rà soát nguy cơ phát sinh lỗi mới; và
- để nhà vận hành, người dùng triển khai bản cập nhật.
AI khiến việc tạo ra đầu mối rẻ và nhanh hơn rất nhiều. Nhưng nó chưa loại bỏ nhu cầu về chuyên gia chịu trách nhiệm ở mọi công đoạn sau đó. Chỉ một phần các phát hiện đã đến được tay bên bảo trì, cho thấy năng lực tiếp nhận và xử lý tiết lộ cũng là một giới hạn thực tế.
14
Sự cố Coldcard khiến áp lực tăng cao
Cuộc rà soát diễn ra sau sự cố ví cứng Coldcard. Một lỗi firmware từ tháng 3/2021 được cho là đã chuyển quá trình tạo seed sang bộ tạo số ngẫu nhiên bằng phần mềm có tính dự đoán, thay vì bộ tạo số ngẫu nhiên phần cứng vốn được dự kiến sử dụng. Khi các đầu vào cần thiết bị thu hẹp đủ mức, điểm yếu này có thể khiến khóa bị tái tạo bởi kẻ tấn công.
42
45
Các ước tính thiệt hại tiếp tục thay đổi khi xuất hiện thêm hoạt động liên quan. CoinDesk đưa tin tổng số có thể gần 114 triệu USD qua bốn đợt, trong khi những nguồn khác đề cập khoảng 1.816 BTC bị lấy cắp từ ngày 30/7 đến 3/8.
41
42
Bài học ở đây không phải là mật mã lõi của Bitcoin bị phá vỡ. Vấn đề nằm ở phần mềm tự lưu ký bao quanh nó: một lỗi triển khai có thể gây hậu quả ở quy mô hệ thống. Vì vậy, phát hiện và xử lý lỗi nguy hiểm trước khi bị khai thác quan trọng không kém việc truy ra nguyên nhân sau sự cố.
Đã có một bản vá được hợp nhất, nhưng không thể đánh đồng với tổng số báo cáo
Một kết quả cụ thể là đóng góp có hỗ trợ AI của Hamilton cho Bitcoin Core, được hợp nhất ngày 20/8 để xử lý lỗi gây treo liên quan đến ví, theo các bài đưa tin. Đây là ví dụ đáng chú ý về việc một đầu mối do AI hỗ trợ đi qua quy trình rà soát truyền thống để trở thành thay đổi được chấp nhận.
13
Đồng thời, điều đó cũng giải thích vì sao không nên nhầm số báo cáo ban đầu với số lỗi đã được khắc phục. Một bản vá được hợp nhất phải vượt qua tiêu chuẩn cao hơn hẳn: lỗi được xác định rõ, bản vá được kiểm tra và thay đổi được chấp nhận trong kho mã đang duy trì.
Hạn chế truy cập OpenAI đặt ra thế khó cho phòng thủ
Hamilton cho biết quyền truy cập của ông vào chương trình Trust Cyber của OpenAI bị hạn chế sau khi ông bắt đầu tích hợp năng lực an ninh mạng của hãng vào cuộc rà soát. Các bài đưa tin cho biết nhóm sau đó chuyển sang các mô hình khác, gồm cả mô hình có trọng số mở, để tiếp tục công việc.
18
21
32
Đây là một bài toán chính sách khó. Mô hình có năng lực an ninh mạng mạnh có thể giúp người phòng thủ phát hiện điểm yếu, nhưng cùng năng lực ấy cũng có thể bị lạm dụng. Hamilton lập luận rằng việc tạo ma sát cho các bên phòng thủ đã biết danh tính có thể dẫn đến mất cân bằng trên thực tế, khi kẻ tấn công vẫn có thể tiếp cận các mô hình khác hoặc chạy mô hình cục bộ. Đây là lập luận về tốc độ vận hành và quyền tiếp cận, không phải bằng chứng rằng việc hạn chế công cụ của một nhà cung cấp có thể chặn hoàn toàn nghiên cứu bảo mật hoặc hành vi xấu.
21
Boltz là ví dụ về áp lực vận hành với nhóm nhỏ
Dịch vụ hoán đổi Bitcoin Boltz cũng đã tạm dừng hoán đổi vô thời hạn trong tháng 8. Boltz nói mức độ dò quét tự động có hỗ trợ AI tăng lên đã vượt quá năng lực của đội ngũ nhỏ trong việc bảo mật và triển khai bản vá. Chức năng hoàn tiền vẫn hoạt động trong khi hoán đổi bị vô hiệu hóa.
28
29
30
Boltz không chứng minh rằng mọi cuộc tấn công do AI tạo ra đều tinh vi hay thành công. Tuy nhiên, đây là ví dụ thực tế cho sự lệch pha mà cuộc rà soát của Red Team phơi bày: máy móc có thể liên tục phát hiện và dò quét, trong khi nhóm bảo trì nhỏ phải điều tra từng cảnh báo và đưa từng biện pháp khắc phục lên môi trường vận hành một cách an toàn.
Khi mô hình mạnh hơn, rủi ro thay đổi như thế nào?
Bitcoin và nhiều dịch vụ xung quanh nó dùng mã nguồn mở. Tính công khai giúp cộng đồng độc lập rà soát và tạo minh bạch, nhưng cũng cho cả người phòng thủ lẫn kẻ tấn công cùng tiếp cận một tập mã. Mối lo của Hamilton và nhà bình luận Bitcoin CobraBitcoin không phải mã nguồn mở vốn dĩ thiếu an toàn; mà là mô hình ngày càng mạnh có thể rút ngắn thời gian và giảm mức chuyên môn cần thiết để tìm ra lỗi hiếm gặp trên hàng trăm kho mã.
17
21
OpenAI cho biết GPT-6 Astra đã đạt ngưỡng năng lực an ninh mạng Critical theo Khung chuẩn bị của hãng. Theo mô tả của OpenAI, với công cụ và quyền truy cập phù hợp, Astra có thể tìm lỗi chưa từng biết đến và phát triển cách khai thác trên nhiều hệ thống được bảo vệ tốt mà không cần con người chỉ dẫn từng bước.
19
22
Tuyên bố năng lực này không cho thấy Astra đã được sử dụng trong cuộc rà soát Bitcoin Red Team, cũng không chứng minh một mô hình tiên tiến đã gây ra vụ xâm phạm Bitcoin. Nhưng nó làm rõ vì sao giới bảo trì tập trung vào tốc độ: nếu mô hình ngày càng giỏi suy luận trên quy mô kho mã và phát triển khai thác, điểm nghẽn sẽ chuyển từ việc tìm khả năng có vấn đề sang nhanh chóng chứng minh, vá và triển khai phản ứng với những vấn đề quan trọng.
Khoản đầu tư an ninh thật sự: năng lực kiểm chứng
Đợt nước rút của Bitcoin Red Team nên được xem là cảnh báo về thông lượng. Hệ sinh thái an ninh giờ đây có thể tạo ra hàng nghìn đầu mối hợp lý chỉ trong thời gian ngắn. Khả năng chống chịu sẽ phụ thuộc vào việc liệu hệ sinh thái có đủ nguồn lực cho tái lập độc lập, kênh báo lỗi an toàn, thời gian của bên bảo trì, rà soát mã, kiểm thử và cập nhật nhanh hay không.
Với các dự án liên quan Bitcoin, thước đo quan trọng tiếp theo không phải là số lượng phát hiện do AI tạo ra lớn nhất. Đó là tỷ lệ báo cáo trở thành lỗ hổng đã được xác thực, bản vá được phối hợp có trách nhiệm và biện pháp bảo vệ đã được triển khai trước khi kẻ tấn công kịp hành động.
15
14