深度分析 以 FSM 為核心的 SmartEval:用五維指標量化 LLM 生成之 Solidity 合約品質 SmartEval 提出一套針對大型語言模型(LLM)從自然語言規格生成 Solidity 智能合約的系統化基準。研究整理九千份模型生成合約與對應專家實作,並以功能完整性、變數忠實度、狀態機正確性、商業邏輯忠誠度與程式碼品質五個維度計分,搭配可重複的生成與評估管線。