Qiming Zeng

Guiding LLM-based Smart Contract Generation with Finite State Machine

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 grea