Sign In

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

Created by
  • Haebom
Category
Empty

μ €μž

Indraveni Chebolu, Arnab Mallick, Harmesh Rana

πŸ’‘ κ°œμš”

λ³Έ 논문은 슀마트 계약 감사 μž‘μ—…μ„ μœ„ν•œ 닀쀑 μ—μ΄μ „νŠΈ ν˜‘μ—… ν”„λ ˆμž„μ›Œν¬μΈ SPEARλ₯Ό μ†Œκ°œν•©λ‹ˆλ‹€. SPEARλŠ” μœ„ν—˜ 인지 νœ΄λ¦¬μŠ€ν‹±μ„ μ‚¬μš©ν•˜μ—¬ 계약을 μš°μ„ μˆœμœ„ν™”ν•˜λŠ” ν”Œλž˜λ‹ μ—μ΄μ „νŠΈ, 계약망 ν”„λ‘œν† μ½œμ„ 톡해 μž‘μ—…μ„ ν• λ‹Ήν•˜λŠ” μ‹€ν–‰ μ—μ΄μ „νŠΈ, 그리고 ν”„λ‘œκ·Έλž˜λ° μš°μ„  볡ꡬ μ •μ±…μœΌλ‘œ μ·¨μ•½ν•œ 생성물을 λ³΅κ΅¬ν•˜λŠ” 볡ꡬ μ—μ΄μ „νŠΈλ‘œ κ΅¬μ„±λ©λ‹ˆλ‹€. μ΄λŸ¬ν•œ μ—μ΄μ „νŠΈλ“€μ€ AGM μ€€μˆ˜ λ°©μ‹μœΌλ‘œ 자체적인 신념을 κ°±μ‹ ν•˜κ³ , ν˜‘μƒ 및 경맀 ν”„λ‘œν† μ½œμ„ 톡해 ν˜‘μ—…ν•˜λ©°, μƒˆλ‘œμš΄ 정보에 따라 κ³„νšμ„ μˆ˜μ •ν•©λ‹ˆλ‹€.

πŸ”‘ μ‹œμ‚¬μ  및 ν•œκ³„

β€’
슀마트 계약 감사 μž‘μ—…μ— λŒ€ν•œ 싀세계 μ μš©μ„ μœ„ν•œ 닀쀑 μ—μ΄μ „νŠΈ μ‹œμŠ€ν…œ(MAS) νŒ¨ν„΄μ˜ 적용 κ°€λŠ₯성을 λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
ν†΅μ œλœ μ‹€νŒ¨ μ‹œλ‚˜λ¦¬μ˜€μ—μ„œ SPEAR의 μ‘°μ •, 볡ꡬ 행동 및 μžμ› μ‚¬μš© μΈ‘λ©΄μ—μ„œ 쀑앙 집쀑식 및 νŒŒμ΄ν”„λΌμΈ 기반 λŒ€μ•ˆκ³Ό λΉ„κ΅ν–ˆμ„ λ•Œ νš¨μœ¨μ„±μ„ μž…μ¦ν•©λ‹ˆλ‹€.
β€’
볡ꡬ μ—μ΄μ „νŠΈμ˜ ν”„λ‘œκ·Έλž˜λ° μš°μ„  볡ꡬ 정책이 μƒμ„±λœ 취약점을 효과적으둜 λ‹€λ£¨λŠ” 데 κΈ°μ—¬ν•©λ‹ˆλ‹€.
β€’
ν–₯ν›„ μ—°κ΅¬λŠ” μ—μ΄μ „νŠΈ κ°„μ˜ λ”μš± μ •κ΅ν•œ μ˜μ‚¬μ†Œν†΅ λ©”μ»€λ‹ˆμ¦˜κ³Ό λ‹€μ–‘ν•œ μœ ν˜•μ˜ 슀마트 계약 취약점에 λŒ€ν•œ 볡ꡬ λŠ₯λ ₯ ν–₯상에 μ΄ˆμ μ„ 맞좜 수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage