BriefGPT - AI 论文速递 · 2025-05-13T00:00:00Z

LLM-guided Smart Contract Generation Based on Finite State Machine

📝

内容提要

本研究提出了一种基于有限状态机和大型语言模型的智能合约生成框架（FSM-SCG），有效解决了传统生成方法的低效率和高门槛问题。实验结果显示，该框架生成的合约代码编译成功率提高了最多48%，漏洞风险评分降低了约68%。

🏷️

标签

智能合约 有限状态机 漏洞风险 生成框架 语言模型