Solidity 是以太坊等主流区块链平台上编写智能合约的主流编程语言，承担着链上资产逻辑的落地实现。由于智能合约一旦部署就难以修改、漏洞直接关联资金损失，Solidity 的代码质量与安全审计一直是 Web3 开发的核心议题。近期，大语言模型与 Solidity 代码生成的结合成为研究热点，围绕仓库级生成、语义评估和安全优化的工作密集出现。
Solidity 代码生成的最新研究进展
Solidity 安全审计与漏洞研究的动向
当前焦点与观察点
综合近期文献，Solidity 相关研究的焦点集中在三个方向：一是模型能否理解仓库级上下文并生成可编译可部署的合约代码；二是评估体系从表面相似度转向语义正确性与安全属性；三是生成与攻防的双向互动——漏洞注入研究反哺审计能力。值得关注的是，这些工作均处于学术验证阶段，尚未形成广泛的工程落地，实际效果仍需在真实合约场景中检验。对开发者而言，模型辅助的 Solidity 编写与审计工具值得跟踪，但在生产环境中仍应以形式化验证与人工审计为主要保障。