arXiv:2505.08542v1 宣传类型: 新 摘要: 智能合约是一种基于区块链技术的自执行代码，具有广泛的应用场景，但传统的生成方法依赖于手工编码和专家审核，这具有较高的门槛和较低的效率。尽管大型语言模型（LLMs）在编程任务中显示出巨大的潜力，但在智能合约的生成方面，它们在有效性和安全性方面仍然面临挑战。为了解决这些问题，我们提出了一种基于有限状态机（FSM）和LLMs的智能合约生成框架FSM-SCG，该框架通过将用户需求抽象为生成FSM，指导LLMs生成智能合约，并通过编译和安全检查的反馈进行迭代优化，显著提高了生成代码的质量。实验结果表明，FSM-SCG 显著提高了智能合约生成的质量。与最佳基线相比，FSM-SCG 将生成智能合约代码的编译成功率最多提高48%，并将平均漏洞风险评分降低约68%。