Sign In

An end-to-end agentic pipeline for smart contract translation and quality evaluation

Created by
  • Haebom
Category
Empty

μ €μž

Abhinav Goel, Chaitya Shah, Agostino Capponi, Alfio Gliozzo

πŸ’‘ κ°œμš”

λ³Έ μ—°κ΅¬λŠ” μžμ—°μ–΄ λͺ…μ„Έλ‘œλΆ€ν„° LLM이 μƒμ„±ν•œ 슀마트 κ³„μ•½μ˜ 체계적인 평가λ₯Ό μœ„ν•œ 쒅단간(end-to-end) ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œμ•ˆν•©λ‹ˆλ‹€. 이 μ‹œμŠ€ν…œμ€ 계약 ν…μŠ€νŠΈλ₯Ό κ΅¬μ‘°ν™”λœ μŠ€ν‚€λ§ˆλ‘œ νŒŒμ‹±ν•˜κ³ , 솔리디티 μ½”λ“œλ₯Ό μƒμ„±ν•˜λ©°, 컴파일 및 λ³΄μ•ˆ 검사λ₯Ό 톡해 μžλ™ν™”λœ ν’ˆμ§ˆ 평가λ₯Ό μˆ˜ν–‰ν•©λ‹ˆλ‹€. CrewAI μŠ€νƒ€μΌμ˜ μ—μ΄μ „νŠΈ νŒ€κ³Ό 반볡적인 κ°œμ„ μ„ 톡해, 이 νŒŒμ΄ν”„λΌμΈμ€ μ™„μ „ν•œ 좜처 메타데이터λ₯Ό κ°–μΆ˜ κ΅¬μ‘°ν™”λœ μ•„ν‹°νŒ©νŠΈλ₯Ό μƒμ„±ν•©λ‹ˆλ‹€.

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

β€’
LLM 기반 슀마트 계약 μƒμ„±μ˜ ν’ˆμ§ˆμ„ μ²΄κ³„μ μœΌλ‘œ ν‰κ°€ν•˜κ³  κ°œμ„ ν•˜κΈ° μœ„ν•œ 포괄적인 ν”„λ ˆμž„μ›Œν¬λ₯Ό μ œμ‹œν•©λ‹ˆλ‹€.
β€’
κΈ°λŠ₯적 μ™„μ „μ„±, λ³€μˆ˜ 좩싀도, μƒνƒœ λ¨Έμ‹  μ •ν™•μ„±, λΉ„μ¦ˆλ‹ˆμŠ€ 둜직 좩싀도, μ½”λ“œ ν’ˆμ§ˆ λ“± λ‹€μ„― κ°€μ§€ μ°¨μ›μ—μ„œ 슀마트 κ³„μ•½μ˜ ν’ˆμ§ˆμ„ μΈ‘μ •ν•˜λŠ” ꡬ체적인 방법을 μ œκ³΅ν•©λ‹ˆλ‹€.
β€’
μƒμ„±λœ 슀마트 κ³„μ•½μ˜ 검증 κ°€λŠ₯ν•œ 벀치마크λ₯Ό μ œκ³΅ν•˜μ—¬ 슀마트 계약 ν•©μ„± ν’ˆμ§ˆμ— λŒ€ν•œ κ²½ν—˜μ  연ꡬλ₯Ό μ§€μ›ν•˜κ³ , ν–₯ν›„ ν˜•μ‹ 검증 및 κ·œμ • μ€€μˆ˜ ν™•μΈμœΌλ‘œμ˜ ν™•μž₯을 κ°€λŠ₯ν•˜κ²Œ ν•©λ‹ˆλ‹€.
β€’
λ³Έ μ—°κ΅¬μ—μ„œ μ œμ‹œλœ ν”„λ ˆμž„μ›Œν¬μ˜ μ‹€μ œ μƒμš© 슀마트 계약 개발 ν™˜κ²½μ—μ„œμ˜ 적용 κ°€λŠ₯μ„± 및 ν™•μž₯성에 λŒ€ν•œ 좔가적인 연ꡬ가 ν•„μš”ν•  수 μžˆμŠ΅λ‹ˆλ‹€.
πŸ‘