Testmachine

Testmachine là nền tảng bảo mật blockchain dựa trên AI, xác thực lỗ hổng thông qua thực thi động thay vì phân tích tĩnh. Hoạt động cốt lõi của nó triển khai các tác tử học tăng cường hoạt động trên môi trường mainnet đã fork, thực hiện các giao dịch thực để xác minh liệu các lỗ hổng nghi ngờ có thực sự khai thác được hay không. Cách tiếp cận này tạo ra các bằng chứng khai thác (proof-of-concept) cho các vấn đề đã xác nhận, giảm thiểu kết quả dương tính giả. Điểm khác biệt cốt lõi của nền tảng nằm ở mô hình xác thực dựa trên thực thi. Các cuộc kiểm toán truyền thống dựa vào đánh giá mã tĩnh, có thể bỏ sót các rủi ro về khả năng kết hợp phát sinh sau khi triển khai. Thay vào đó, Testmachine kiểm tra các giao thức trong môi trường mô phỏng trực tiếp, ghi lại cách các thay đổi về quản trị, cập nhật oracle và tương tác chéo giao thức ảnh hưởng đến bảo mật theo thời gian. Các điểm đau của thị trường bao gồm sự phổ biến của kết quả dương tính giả trong các báo cáo kiểm toán do AI tạo ra, khả năng không giải quyết được rủi ro sau triển khai của các cuộc kiểm toán tại một thời điểm, và tốc độ chậm của kiểm toán thủ công. Testmachine giải quyết những vấn đề này bằng cách cung cấp xác thực khai thác tự động, liên tục với độ chính xác cao hơn. Trong sáu tháng qua, Testmachine đã công khai cạnh tranh trên AgentArena, một nền tảng nơi các tác tử kiểm toán AI đối đầu nhau trong các thử thách hợp đồng thông minh thực tế. Công ty cũng báo cáo rằng công cụ Azimuth của mình đã đạt độ thu hồi 86,3% trên chuẩn EVMBench, vượt trội so với các mô hình khác, và xác thực 20 trên 22 phát hiện (tỷ lệ thành công 91%). Ngoài ra, Testmachine đã phát hiện một lỗ hổng nghiêm trọng trong giao thức AI Agent Virtuals có thể cho phép kẻ tấn công thổi phồng số dư token một cách giả tạo lên các giá trị gần tối đa.