Sign In

CHAINTRIX: A multi-pipeline LLM-augmented framework for automated smart-contract security auditing

μž‘μ„±μž
  • Haebom
μΉ΄ν…Œκ³ λ¦¬
Empty

μ €μž

Gabriela Dobrita, Simona-Vasilica Oprea, Adela Bara

πŸ’‘ κ°œμš”

슀마트 계약 μ·¨μ•½μ μœΌλ‘œ μΈν•œ λ§‰λŒ€ν•œ 손싀에도 λΆˆκ΅¬ν•˜κ³  감사 λΉ„μš©κ³Ό μ‹œκ°„μ΄ 많이 μ†Œμš”λ˜λŠ” 문제λ₯Ό ν•΄κ²°ν•˜κΈ° μœ„ν•΄, CHAINTRIXλŠ” LLM의 ν™˜κ° ν˜„μƒμ„ 쀄이고 정적 뢄석 λ„κ΅¬μ˜ 높은 μ˜€νƒλ₯ μ„ κ·Ήλ³΅ν•˜λŠ” μƒˆλ‘œμš΄ 감사 ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. 이 ν”„λ ˆμž„μ›Œν¬λŠ” LLM이 μƒμ„±ν•œ μ£Όμž₯을 슀마트 κ³„μ•½μ˜ ꡬ쑰적 ν‘œν˜„κ³Ό λŒ€μ‚¬μ‹œμΌœ κ²€μ¦ν•˜λ©°, λ‹€μ–‘ν•œ 뢄석 엔진과 ν›„μ²˜λ¦¬ 과정을 톡해 신뒰도λ₯Ό λ†’μž…λ‹ˆλ‹€. CHAINTRIXλŠ” EVMbench λ²€μΉ˜λ§ˆν¬μ—μ„œ 71.7%의 높은 μž¬ν˜„μœ¨μ„ λ‹¬μ„±ν•˜λ©° κΈ°μ‘΄ μ΅œμ²¨λ‹¨ λͺ¨λΈ λŒ€λΉ„ μš°μˆ˜ν•œ μ„±λŠ₯을 μž…μ¦ν–ˆμŠ΅λ‹ˆλ‹€.

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

β€’
LLMκ³Ό ꡬ쑰적 뢄석을 κ²°ν•©ν•˜μ—¬ 슀마트 계약 λ³΄μ•ˆ 감사 μžλ™ν™”μ˜ μ •ν™•μ„±κ³Ό νš¨μœ¨μ„±μ„ 크게 ν–₯μƒμ‹œν‚¬ 수 μžˆμŠ΅λ‹ˆλ‹€.
β€’
λͺ¨λ“  LLM 생성 κ²°κ³Όλ₯Ό 결정둠적 ꡬ쑰 ν‘œν˜„μ— λŒ€μ‚¬μ‹œν‚€λŠ” 방식은 ν™˜κ° ν˜„μƒκ³Ό 높은 μ˜€νƒλ₯  문제λ₯Ό 효과적으둜 μ™„ν™”ν•©λ‹ˆλ‹€.
β€’
EVMbenchμ—μ„œμ˜ μš°μˆ˜ν•œ μ„±λŠ₯은 CHAINTRIX의 μ‹€μ œ 적용 κ°€λŠ₯성을 μ‹œμ‚¬ν•˜λ©°, 슀마트 계약 λ³΄μ•ˆ λΆ„μ•Όμ˜ μƒˆλ‘œμš΄ ν‘œμ€€μ΄ 될 잠재λ ₯을 λ³΄μ—¬μ€λ‹ˆλ‹€.
β€’
λ…Όλ¬Έμ—μ„œ ꡬ체적으둜 μ–ΈκΈ‰λ˜μ§€λŠ” μ•Šμ•˜μ§€λ§Œ, λ³΅μž‘ν•˜κ±°λ‚˜ λ‚œλ…ν™”λœ 슀마트 계약에 λŒ€ν•œ 뢄석 μ •ν™•λ„λ‚˜ μƒˆλ‘œμš΄ μœ ν˜•μ˜ 취약점에 λŒ€ν•œ 탐지 λŠ₯λ ₯은 좔가적인 연ꡬ가 ν•„μš”ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘
Made with Slashpage