Các tác nhân tự trị đang hoạt động trong DeFi. Họ phân bổ, cân bằng lại và thực hiện qua các giao thức với sự giám sát tối thiểu. Spearbit đánh giá những hệ thống này dưới áp lực để phát hiện những hành vi mà phân tích tĩnh không thể tiết lộ. Chi tiết bên dưới.

Logic dựa trên suy diễn phản hồi lại dữ liệu thị trường, trạng thái giao thức và đầu vào của người dùng. Nếu không có ranh giới thực thi, các tác nhân có thể kích hoạt giao dịch dựa trên các yêu cầu không hợp lệ, giả định chưa được xác minh, hoặc bối cảnh đối kháng.

Chúng tôi mô phỏng các điều kiện biên trong việc tiêm lệnh, xác thực đầu ra và hành vi dự phòng. Các đánh giá xác nhận ý định thực thi, theo dõi quyền hạn và chỉ ra nơi các hệ thống trực tiếp bị phá vỡ so với thiết kế.