BriefGPT - AI 论文速递
·
LLM-guided Smart Contract Generation Based on Finite State Machine
💡
原文英文，约100词，阅读约需1分钟。
📝
内容提要
本研究提出了一种基于有限状态机和大型语言模型的智能合约生成框架（FSM-SCG），有效解决了传统生成方法的低效率和高门槛问题。实验结果显示，该框架生成的合约代码编译成功率提高了最多48%，漏洞风险评分降低了约68%。
🎯
关键要点
- 本研究提出了一种基于有限状态机和大型语言模型的智能合约生成框架（FSM-SCG）。
- FSM-SCG框架通过抽象用户需求生成有限状态机，以引导大型语言模型生成智能合约。
- 该框架通过编译和安全检查的反馈进行迭代优化，显著提高生成代码的质量。
- 实验结果显示，FSM-SCG生成的合约代码编译成功率提高了最多48%。
- 使用FSM-SCG框架生成的合约平均漏洞风险评分降低了约68%。
➡️
