SPEAR：智能合约审计中多智能体协调的工程案例研究

本文提出 SPEAR，一个应用于智能合约审计的多智能体协调框架，将现实安全分析工作流建模为协同任务。该框架包含专用智能体：规划智能体利用风险感知启发式方法确定合约优先级；执行智能体通过合同网协议分配任务；修复智能体采用程序优先策略自主恢复脆弱产物。智能体通过符合 AGM 标准的信念修正更新本地状态，利用谈判与拍卖协议进行协调，并随新信息动态调整计划。实证研究对比了该设计与集中式及流水线方案在故障场景下的表现，重点关注协调性、恢复行为及资源利用率。