基于 AI 的智能合约生成实证研究
软件工程
2023-08-22 v2 机器学习
摘要
诸如 ChatGPT 与 Google Palm2 等大型语言模型（LLM）用于智能合约生成，似乎成为了首个确立的 AI 结对程序员实例。LLM 可访问大量开源智能合约，使其能利用比其它代码生成工具更丰富的 Solidity 代码。尽管针对 LLM 生成智能合约的初步与非正式评估令人鼓舞，仍亟需系统性评估以探索这些模型的局限与优势。本研究的主要目标是评估 LLM 所生成智能合约代码的质量。我们也旨在评估输入 LLM 的参数之质量与多样性所产生的影响。为实现该目标，我们创建了用于从有效性、正确性与效率方面评估生成代码的实验设置。我们的研究发现了生成智能合约中引入安全漏洞的关键证据，以及代码整体质量与正确性受影响的情况。不过，我们也识别出可改进之处。本文还提出了若干潜在研究方向，以改进生成智能合约代码的过程、质量与安全性。
引用
@article{arxiv.2308.02955,
title = {An Empirical Study of AI-based Smart Contract Creation},
author = {Rabimba Karanjai and Edward Li and Lei Xu and Weidong Shi},
journal= {arXiv preprint arXiv:2308.02955},
year = {2023}
}
备注
Updated to address issues