Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Guiding LLM-based Smart Contract Generation with Finite State Machine

Created by
  • Haebom

저자

Hao Luo, Yuhao Lin, Xiao Yan, Xintong Hu, Yuxiang Wang, Qiming Zeng, Hao Wang, Jiawei Jiang

개요

본 논문은 블록체인 기반 자체 실행 코드인 스마트 컨트랙트 생성의 효율성과 안전성을 높이기 위해, 유한 상태 머신(FSM)과 대규모 언어 모델(LLM)을 기반으로 하는 새로운 프레임워크 FSM-SCG를 제안합니다. FSM-SCG는 사용자 요구사항을 FSM으로 추상화하여 LLM이 스마트 컨트랙트를 생성하도록 유도하고, 컴파일 및 보안 검사 피드백을 통해 코드를 반복적으로 최적화함으로써 생성 코드의 품질을 향상시킵니다. 실험 결과, FSM-SCG는 기존 최고 성능 기준 모델 대비 컴파일 성공률을 최대 48% 향상시키고, 평균 취약점 위험 점수를 약 68% 감소시키는 것으로 나타났습니다.

시사점, 한계점

시사점:
FSM 기반의 LLM 활용을 통해 스마트 컨트랙트 생성의 효율성 및 안전성을 크게 향상시킬 수 있음을 보여줌.
컴파일 성공률과 보안성을 획기적으로 개선하는 효과적인 스마트 컨트랙트 생성 프레임워크를 제시함.
LLM을 이용한 소프트웨어 개발 분야에서 FSM의 유용성을 입증함.
한계점:
제안된 프레임워크의 일반화 가능성 및 다양한 스마트 컨트랙트 유형에 대한 적용성에 대한 추가 연구 필요.
FSM 추상화 과정의 복잡성 및 사용자 친화성 개선 필요.
실험 결과의 일반화 가능성을 높이기 위한 더욱 광범위한 실험 및 다양한 데이터셋 필요.
👍