Guiding LLM-based Smart Contract Generation with Finite State Machine
This addresses the high threshold and inefficiency in smart contract development for blockchain applications, representing a strong domain-specific improvement.
The paper tackles the problem of low efficiency and security in smart contract generation by proposing FSM-SCG, a framework that uses finite state machines to guide LLMs, resulting in a 48% improvement in compilation success rate and a 68% reduction in vulnerability risk score compared to baselines.
Smart contract is a kind of self-executing code based on blockchain technology with a wide range of application scenarios, but the traditional generation method relies on manual coding and expert auditing, which has a high threshold and low efficiency. Although Large Language Models (LLMs) show great potential in programming tasks, they still face challenges in smart contract generation w.r.t. effectiveness and security. To solve these problems, we propose FSM-SCG, a smart contract generation framework based on finite state machine (FSM) and LLMs, which significantly improves the quality of the generated code by abstracting user requirements to generate FSM, guiding LLMs to generate smart contracts, and iteratively optimizing the code with the feedback of compilation and security checks. The experimental results show that FSM-SCG significantly improves the quality of smart contract generation. Compared to the best baseline, FSM-SCG improves the compilation success rate of generated smart contract code by at most 48%, and reduces the average vulnerability risk score by approximately 68%.