SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing

Fri, 10 Apr 2026 08:50:15 GMT

### 저자

Arnab Mallick, Indraveni Chebolu, Harmesh Rana, Seema Pangal

### 💡 개요

본 논문은 스마트 계약 감사 작업을 효율적으로 수행하기 위해 다중 에이전트 협업 프레임워크인 SPEAR를 제안합니다. SPEAR는 위험 평가 기반 계약 우선순위 지정, 계약망 프로토콜을 통한 작업 할당, 프로그램 중심 복구 정책을 통한 오류 수정 등 전문화된 에이전트들을 활용하여 감사를 체계적인 임무로 모델링합니다. 실험 연구를 통해 SPEAR는 중앙 집중식 및 파이프라인 방식과 비교했을 때 조정, 복구 능력, 자원 활용 측면에서 우수한 성능을 보였습니다.

### 🔑 시사점 및 한계

- 스마트 계약 감사와 같이 복잡하고 동적인 작업에 대해 다중 에이전트 시스템(MAS)의 실용적인 적용 가능성을 보여줍니다.

- AGM(Abstract Argumentation Framework) 준수 업데이트, 협상 및 경매 프로토콜을 통한 에이전트 간 조정 메커니즘을 제시합니다.

- 제안된 복구 정책이 생성된 결과물의 취약성을 자율적으로 해결하는 데 효과적임을 입증합니다.

- 향후 연구에서는 더 다양한 실패 시나리오와 실제 환경에서의 적용 가능성을 탐색할 필요가 있습니다.

---

[PDF 보기](https://arxiv.org/pdf/2602.04418)