TechFlow đưa tin, ngày 11 tháng 6, khung kiểm thử tự động Agora—do nhóm nghiên cứu của 0G Labs phối hợp cùng Đại học Quốc gia Singapore, Đại học Bắc Kinh và Đại học Bưu chính Viễn thông Bắc Kinh đề xuất—đã được chấp nhận đăng tại hội nghị ICML 2026. Đây là lần đầu tiên kiến trúc cộng tác đa tác nhân (Multi-Agent) được tích hợp sâu sắc với kiến thức chuyên ngành về hệ thống phân tán nhằm phát hiện tự động các lỗ hổng trong giao thức đồng thuận ở cấp độ sản xuất.
Theo bài báo công bố, Agora đã phát hiện 15 lỗ hổng logic sâu (Deep Bug) chưa từng được biết đến trước đây trong các giao thức đồng thuận phổ biến như Raft, EPaxos, HotStuff và BullShark, liên quan đến các vấn đề an ninh then chốt như sự phân kỳ trong thực thi, vi phạm tính đơn điệu, khuyết tật về tô-pô và xác thực chữ ký. Kết quả nghiên cứu cho thấy, dưới cùng một kịch bản kiểm thử, các mô hình ngôn ngữ lớn hàng đầu hiện nay như GPT-5.2 và Claude 4.5 đều không phát hiện được các lỗ hổng ở cấp độ giao thức này.
Theo giới thiệu, Agora áp dụng phương pháp kiểm thử dựa trên giả thuyết (Hypothesis-Driven Testing) kết hợp cơ chế cộng tác đa tác nhân, tự động tạo ra các tình huống tấn công, thực thi kiểm thử và điều chỉnh quy trình một cách động để thực hiện phân tích bảo mật sâu đối với các hệ thống phân tán phức tạp. Ngoài lĩnh vực giao thức đồng thuận, khung này trong tương lai còn có thể mở rộng sang các lĩnh vực khác như kiểm soát đồng thời trong cơ sở dữ liệu, nhân hệ điều hành và kiểm toán hợp đồng thông minh Web3.
