Agora, một khung kiểm thử tự động được phát triển bởi 0G Labs phối hợp với Đạ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, đã được chấp nhận tại ICML 2026. Khung sáng tạo này tích hợp kiến thức chuyên ngành từ hệ thống phân tán với kiến trúc hợp tác đa tác nhân để phát hiện các lỗ hổng trong các giao thức đồng thuận. Agora đã thành công trong việc xác định 15 lỗi logic sâu chưa từng biết trước đây trên các giao thức đồng thuận chính như Raft, EPaxos, HotStuff và BullShark. Những lỗ hổng này bao gồm sự phân kỳ thực thi, vi phạm tính đơn điệu, lỗi cấu trúc và thất bại trong xác minh chữ ký. Cơ chế kiểm thử dựa trên giả thuyết và hợp tác đa tác nhân của khung cho phép phân tích bảo mật toàn diện, vượt trội hơn các mô hình ngôn ngữ lớn hàng đầu như GPT-5.2 và Claude 4.5 trong việc phát hiện các lỗ hổng cấp giao thức. Thiết kế của Agora cho phép ứng dụng trong tương lai cho kiểm soát đồng thời cơ sở dữ liệu, nhân hệ điều hành và kiểm toán hợp đồng thông minh Web3.