# SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing ### μ €μž Arnab Mallick, Indraveni Chebolu, Harmesh Rana, Seema Pangal ### πŸ’‘ κ°œμš” λ³Έ 논문은 슀마트 계약 감사 μž‘μ—…μ„ 효율적으둜 μˆ˜ν–‰ν•˜κΈ° μœ„ν•΄ 닀쀑 μ—μ΄μ „νŠΈ ν˜‘μ—… ν”„λ ˆμž„μ›Œν¬μΈ SPEARλ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. SPEARλŠ” μœ„ν—˜ 평가 기반 계약 μš°μ„ μˆœμœ„ 지정, 계약망 ν”„λ‘œν† μ½œμ„ ν†΅ν•œ μž‘μ—… ν• λ‹Ή, ν”„λ‘œκ·Έλž¨ 쀑심 볡ꡬ 정책을 ν†΅ν•œ 였λ₯˜ μˆ˜μ • λ“± μ „λ¬Έν™”λœ μ—μ΄μ „νŠΈλ“€μ„ ν™œμš©ν•˜μ—¬ 감사λ₯Ό 체계적인 μž„λ¬΄λ‘œ λͺ¨λΈλ§ν•©λ‹ˆλ‹€. μ‹€ν—˜ 연ꡬλ₯Ό 톡해 SPEARλŠ” 쀑앙 집쀑식 및 νŒŒμ΄ν”„λΌμΈ 방식과 λΉ„κ΅ν–ˆμ„ λ•Œ μ‘°μ •, 볡ꡬ λŠ₯λ ₯, μžμ› ν™œμš© μΈ‘λ©΄μ—μ„œ μš°μˆ˜ν•œ μ„±λŠ₯을 λ³΄μ˜€μŠ΅λ‹ˆλ‹€. ### πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„ - 슀마트 계약 감사와 같이 λ³΅μž‘ν•˜κ³  동적인 μž‘μ—…μ— λŒ€ν•΄ 닀쀑 μ—μ΄μ „νŠΈ μ‹œμŠ€ν…œ(MAS)의 μ‹€μš©μ μΈ 적용 κ°€λŠ₯성을 λ³΄μ—¬μ€λ‹ˆλ‹€. - AGM(Abstract Argumentation Framework) μ€€μˆ˜ μ—…λ°μ΄νŠΈ, ν˜‘μƒ 및 경맀 ν”„λ‘œν† μ½œμ„ ν†΅ν•œ μ—μ΄μ „νŠΈ κ°„ μ‘°μ • λ©”μ»€λ‹ˆμ¦˜μ„ μ œμ‹œν•©λ‹ˆλ‹€. - μ œμ•ˆλœ 볡ꡬ 정책이 μƒμ„±λœ 결과물의 취약성을 자율적으둜 ν•΄κ²°ν•˜λŠ” 데 νš¨κ³Όμ μž„μ„ μž…μ¦ν•©λ‹ˆλ‹€. - ν–₯ν›„ μ—°κ΅¬μ—μ„œλŠ” 더 λ‹€μ–‘ν•œ μ‹€νŒ¨ μ‹œλ‚˜λ¦¬μ˜€μ™€ μ‹€μ œ ν™˜κ²½μ—μ„œμ˜ 적용 κ°€λŠ₯성을 탐색할 ν•„μš”κ°€ μžˆμŠ΅λ‹ˆλ‹€. --- [PDF 보기](https://arxiv.org/pdf/2602.04418) For the site tree, see the [root Markdown](https://slashpage.com/haebom.md).