Автономные агенты действуют в DeFi. Они распределяют, перераспределяют и выполняют операции между протоколами с минимальным контролем. Spearbit оценивает эти системы под давлением, чтобы выявить поведение, которое статический анализ не может обнаружить. Подробности ниже.

Логика, основанная на выводах, реагирует на рыночные данные, состояние протокола и ввод пользователя. Без границ принуждения агенты могут инициировать транзакции на основе неправильно сформулированных запросов, непроверенных предположений или враждебного контекста.

Мы моделируем крайние условия в области инъекций команд, валидации выходных данных и поведения резервного копирования. Обзоры подтверждают намерение выполнения, отслеживают полномочия и выявляют, где живые системы отклоняются от проектирования.