{"id":1596,"date":"2024-11-14T10:46:39","date_gmt":"2024-11-14T02:46:39","guid":{"rendered":"https:\/\/www.15zhi.net\/blog\/?p=1596"},"modified":"2024-11-14T10:46:39","modified_gmt":"2024-11-14T02:46:39","slug":"202411-%e8%ae%ba%e6%96%87%e7%a0%94%e8%af%bb-leveraging-large-language-models-for-automatic-smart-contract-generation","status":"publish","type":"post","link":"https:\/\/www.15zhi.net\/blog\/202411-%e8%ae%ba%e6%96%87%e7%a0%94%e8%af%bb-leveraging-large-language-models-for-automatic-smart-contract-generation\/","title":{"rendered":"202411 \u8bba\u6587\u7814\u8bfb-Leveraging Large Language Models for Automatic Smart Contract Generation"},"content":{"rendered":"\n

\u6765\u6e90\uff1a2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)
\u4f5c\u8005\uff1aEmanuele Antonio Napoli; Fadi Barb\u00e0ra; Valentina Gatteschi; Claudio Schifanella
\u5355\u4f4d\uff1a\u610f\u5927\u5229\u90fd\u7075\u5927\u5b66 \u610f\u5927\u5229\u90fd\u7075\u7406\u5de5\u5927\u5b66
\u53d1\u8868\u65f6\u95f4\uff1a2024 7\u6708<\/p>\n\n\n\n

\u4e00\u3001\u6280\u672f\u80cc\u666f<\/h2>\n\n\n\n

\u667a\u80fd\u5408\u7ea6\u81ea\u52a8\u5316\u7684\u5e38\u7528\u65b9\u6cd5\u4e3b\u8981\u662f\u57fa\u4e8e\u6a21\u677f\u548c\u4f7f\u7528DSL\uff0c\u4e24\u79cd\u65b9\u6cd5\u5bf9\u4e8e\u751f\u6210\u4ee3\u7801\u5177\u6709\u53ef\u9884\u6d4b\u6027\u3001\u4e00\u81f4\u6027\u548c\u5b89\u5168\u6027\uff0c\u4f46\u76f8\u5bf9\u5e94\u7684\u9762\u5bf9\u590d\u6742\u5408\u7ea6\u6761\u6b3e\uff0c\u751a\u81f3\u4e8e\u53e3\u8bed\u5316\u7684\u81ea\u7136\u8bed\u8a00\u6761\u6b3e\u5408\u7ea6\uff0c\u8868\u73b0\u6548\u679c\u4e0d\u4f73\uff0c\u5c40\u9650\u660e\u663e\uff0c\u540c\u65f6\u5bf9\u4e8e\u4e0d\u540c\u533a\u5757\u94fe\u5e73\u53f0\u7684\u6269\u5c55\u6027\u5dee\uff0c\u4e0e\u6b64\u540c\u65f6\uff0cLLM\u7684\u5174\u8d77\u4f7f\u5f97\u673a\u5668\u5728\u5904\u7406\u81ea\u7136\u8bed\u8a00\u7684\u80fd\u529b\u5f97\u5230\u663e\u8457\u8fdb\u6b65\uff0c\u901a\u8fc7LLM\u6765\u5b8c\u5584\u667a\u80fd\u5408\u7ea6\u81ea\u52a8\u5316\u6210\u4e3a\u65b0\u5174\u7684\u65b9\u6cd5\u3002<\/p>\n\n\n\n

\u4e8c\u3001\u8bba\u6587\u8d21\u732e<\/h2>\n\n\n\n

\u6587\u7ae0\u9488\u5bf9\u4e8e\u667a\u80fd\u5408\u7ea6\u81ea\u52a8\u751f\u6210\u6d41\u7a0b\uff0c\u63d0\u51fa\u4e86\u901a\u8fc7\u5229\u7528LLMs\u7684\u81ea\u7136\u8bed\u8a00\u7406\u89e3\u548c\u751f\u6210\u529f\u80fd\u6765\u81ea\u52a8\u751f\u6210\u667a\u80fd\u5408\u7ea6\uff0c\u65b9\u6cd5\u7684\u6838\u5fc3\u601d\u60f3\u662f\u4e3a\u975e\u4e13\u5bb6\u4eba\u5458\u63d0\u4f9b\u667a\u80fd\u5408\u7ea6\u5f00\u53d1\u529f\u80fd\u3002 \u62df\u8bae\u7684\u6d41\u6c34\u7ebf\u91c7\u7528CO-STAR \u65b9\u6cd5\u6765\u4f18\u5316 prompt \u521b\u5efa\u4ee5\u5b9e\u73b0\u9ad8\u8d28\u91cf\u8f93\u51fa\uff0c\u540c\u65f6\u8fd8\u91c7\u7528\u4e86 Slither\u6f0f\u6d1e\u68c0\u6d4b\u5de5\u5177\u6765\u8bc4\u4f30\u751f\u6210\u7684\u667a\u80fd\u5408\u7ea6\u7684\u6b63\u786e\u6027\u548c\u53ef\u9760\u6027\u3002\u6b64\u5916\uff0c\u6587\u7ae0\u63d0\u51fa\u4e86\u4e00\u4e2a\u57fa\u4e8e\u53ef\u7f16\u8bd1\u6027\u3001\u6f0f\u6d1e\u548c\u8bc4\u8bba\u5b58\u5728\u7b49\u6307\u6807\u7684\u57fa\u51c6\u6d4b\u8bd5\u5957\u4ef6\uff0c\u4ee5\u4fbf\u4ece\u751f\u6210\u7684\u667a\u80fd\u5408\u7ea6\u7684\u4e00\u81f4\u6027\u3001LLM \u7684\u6e29\u5ea6\u6548\u5e94\u548c\u63d0\u793a\u9009\u62e9\u65b9\u9762\u8bc4\u4f30\u7ba1\u9053\u7684\u6709\u6548\u6027<\/p>\n\n\n\n

\u4e09\u3001\u7cfb\u7edf\u65b9\u6cd5\u6846\u67b6<\/h2>\n\n\n\n

\u5bf9\u4e8e\u6587\u7ae0\u62df\u8bae\u7684\u667a\u80fd\u5408\u7ea6\u81ea\u52a8\u5316\u751f\u6210\u7684\u81ea\u6cbb\u6846\u67b6\uff0c\u4e3b\u8981\u5305\u62ecLLM\u3001\u5b89\u5168\u5de5\u5177\u548c\u4e00\u5957\u9488\u5bf9\u8f93\u51fa\u4ee3\u7801\u7684\u5168\u9762\u6d4b\u8bd5\u548c\u57fa\u51c6\u6d4b\u8bd5\u3002\u901a\u8fc7\u8c03\u7814\uff0c\u6587\u7ae0\u5b9e\u9a8c\u91c7\u7528\u7684LLM\u662fOpenAI \u7684 gpt-4-0125-preview \u6a21\u578b\uff0c\u5b89\u5168\u5de5\u5177\u4f7f\u7528\u7684Slither2\u5e76\u9009\u7528Solidity\u8bed\u8a00\u4f5c\u4e3a\u667a\u80fd\u5408\u7ea6\u8bed\u8a00\uff0c\u5bf9\u4e8e\u8bc4\u4f30\u65b9\u9762\uff0c\u6587\u7ae0\u91c7\u7528\u591a\u5c5e\u6027\u7efc\u5408\u52a0\u6743\u8bc4\u4f30\uff0c\u8bc4\u4f30\u6807\u51c6\u53c2\u8003\u4e0b\u56fe\uff0c\u4e3b\u8981\u8003\u8651\u53ef\u7f16\u8bd1\u6027\u3001\u6f0f\u6d1e\u8bc4\u4f30\u3001Solidity\u7248\u672c\u3001\u751f\u6210\u5408\u540c\u6570\u91cf\u3001\u5408\u7ea6\u4e2d\u7684\u51fd\u6570\u6570\u91cf\u3001\u4ee3\u7801\u662f\u5426\u5b58\u5728\u6ce8\u91ca\u4ee5\u53ca\u662f\u5426\u6709\u521d\u59cb\u53c2\u6570\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u7cfb\u7edf\u5bf9\u4e8e\u667a\u80fd\u5408\u7ea6\u81ea\u52a8\u5316\u8fd9\u4e00\u81ea\u6d3d\u6846\u67b6\u751f\u6210\u4e3b\u8981\u5206\u4e3a\u4e94\u4e2a\u73af\u8282\uff0c\u8f93\u5165\u9009\u62e9\u3001\u63d0\u793a\u8bcd\u5d4c\u5165\u3001LLM\u8c03\u7528\u3001\u5408\u7ea6\u4ee3\u7801\u751f\u6210\u3001\u5b89\u5168\u68c0\u6d4b\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u56db\u3001\u5b9e\u9a8c\u8bc4\u4f30<\/h2>\n\n\n\n

\u6587\u7ae0\u5b9e\u9a8c\u4e3b\u8981\u5206\u4e3a\u4e24\u4e2a\u90e8\u5206\u5b9e\u9a8c\uff0c\u4e00\u662f\u5bf9\u4e8e\u63d0\u793a\u8bcd\u7684\u4ee3\u7801\u751f\u6210\u6548\u679c\u548c\u4e00\u81f4\u6027\uff0c\u4e8c\u662f\u5bf9\u4e8eLLM\u6e29\u5ea6\u53c2\u6570\u9009\u62e9\u5bf9\u4e8e\u4ee3\u7801\u751f\u6210\u6548\u679c\u7684\u5f71\u54cd\u3002<\/p>\n\n\n\n

\u5bf9\u4e8e\u63d0\u793a\u8bcd\u5d4c\u5165\u90e8\u5206\uff0c\u6587\u7ae0\u4f5c\u8005\u91c7\u7528\u4e86CO-STAR\u63d0\u793a\u8bcd\u6846\u67b6\u6765\u5b8c\u6210\u5d4c\u5165\u3002\u901a\u8fc7\u4e0b\u9762\u8868\u683c\u4e2d\u7684\u63d0\u793a\u8bcd\u6784\u9020\u7ec4\u4ef6\uff0c\u751f\u6210\u4e8617\u4e2a\u4e0d\u540c\u7684\u63d0\u793a\u8bcd\u7ec4\u5408\uff0c\u5e76\u4ece\u4e2d\u7b5b\u9009\u51fa6\u4e2a\u4ee3\u8868\u6027\u63d0\u793a\u8bcd\uff08\u5982PR12\u5230PR17\uff09\u8fdb\u884c\u5b9e\u9a8c\u3002\u6bcf\u4e2a\u63d0\u793a\u8bcd\u90fd\u5728\u4ee5\u4e0b\u7ef4\u5ea6\u4e0a\u6709\u6240\u4e0d\u540c\uff1a\u4e0a\u4e0b\u6587\uff08Context\uff09\u3001\u76ee\u6807\uff08Objective\uff09\u3001\u98ce\u683c\uff08Style\uff09\u3001\u53d7\u4f17\uff08Audience\uff09\u548c\u9700\u6c42\uff08Requirements\uff09\u3002<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u5bf9\u4e8e\u9009\u53d6\u76846\u4e2a\u63d0\u793a\u8bcd\uff0c\u63a7\u5236\u53c2\u6570\u4e00\u81f4\uff0c\u5bf9\u4e8e\u6bcf\u4e2a\u63d0\u793a\u8bcd\u8fdb\u884c\u4e864\u6b21\u91cd\u590d\u5b9e\u9a8c\uff0c\u5bf9\u6bd4\u91cd\u590d\u5b9e\u9a8c\u7684\u7ed3\u679c\uff0c\u5b9e\u9a8c\u7ed3\u679c\u901a\u8fc7\u7bb1\u578b\u56fe\u7ed8\u5236\u4e3b\u8981\u8bc4\u4f30\u6307\u6807\u5305\u62ec\u53ef\u7f16\u8bd1\u6027\u3001\u6f0f\u6d1e\u68c0\u6d4b\u7ed3\u679c\u3001\u6ce8\u91ca\u6570\u91cf\u3001\u5df2\u521d\u59cb\u5316\u53c2\u6570\u6570\u91cf\u3001\u751f\u6210\u7684\u5408\u7ea6\u6570\u91cf\u548c\u51fd\u6570\u6570\u91cf\uff0c\u6700\u540e\u901a\u8fc7\u52a0\u6743\u5e73\u5747\u6765\u7efc\u5408\u8bc4\u4f30\u751f\u6210\u4ee3\u7801\u8d28\u91cf\u7684\u4e00\u81f4\u6027\u3002\u6d4b\u8bd5\u7ed3\u679c\u9009\u53d6\u4e86\u7f16\u8bd1\u6548\u679c\u548c\u7efc\u5408\u8bc4\u4f30\u6548\u679c\u4f5c\u4e3a\u793a\u4f8b\u3002<\/p>\n\n\n\n

\u901a\u8fc7\u5bf9\u4e8e\u63d0\u793a\u8bcd\u5b9e\u9a8c\u8bc4\u4f30\uff0c\u5b9e\u9a8c\u4e2d\u6d4b\u8bd5\u7684PR15\u3001PR16\u3001PR17\u5728\u751f\u6210\u667a\u80fd\u5408\u7ea6\u65f6\u66f4\u5177\u7a33\u5b9a\u6027\u548c\u8d28\u91cf\u3002
\u7ed3\u679c\u8868\u660e\uff0c\u5305\u542b\u66f4\u52a0\u8be6\u7ec6\u63d0\u793a\u5982\u5177\u4f53\u9700\u6c42\u548c\u76ee\u6807\uff0c\u53ef\u4ee5\u63d0\u9ad8\u6a21\u578b\u8f93\u51fa\u4ee3\u7801\u7684\u53ef\u7f16\u8bd1\u6027\u548c\u4e00\u81f4\u6027\u3002<\/p>\n\n\n\n

\n
\"\"<\/figure>\n\n\n\n
\"\"<\/figure>\n<\/div>\n\n\n\n

\u6e29\u5ea6\u53c2\u6570\u63a7\u5236\u6a21\u578b\u751f\u6210\u8f93\u51fa\u7684\u968f\u673a\u6027\uff0c\u5373\u751f\u6210\u5185\u5bb9\u7684\u521b\u9020\u6027
\u5bf9\u4e8e\u5b9e\u9a8c\u4e2d\u91c7\u7528\u7684gpt-4-0125-preview \u6a21\u578b\uff0c\u6587\u7ae0\u4f5c\u8005\u4f7f\u7528\u6e29\u5ea6\u503c\u30100.0\u30010.2\u30010.5\u30010.7\u30011.0\u3011\u4f5c\u4e3a\u53c2\u6570\u533a\u95f4\uff0c\u6d4b\u8bd5\u4e0d\u540c\u53c2\u6570\u5bf9\u4e8e\u6a21\u578b\u751f\u6210\u5408\u7ea6\u4ee3\u7801\u8d28\u91cf\u7684\u5f71\u54cd<\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

\u5b9e\u9a8c\u7ed3\u679c\u8868\u660e\u6e29\u5ea6\u503c\u7684\u53d8\u5316\u5bf9\u751f\u6210\u5408\u7ea6\u7684\u6574\u4f53\u8d28\u91cf\u548c\u53ef\u7f16\u8bd1\u6027\u5f71\u54cd\u4e0d\u5927\uff0c\u8bf4\u660e\u6a21\u578b\u5728\u4e0d\u540c\u6e29\u5ea6\u4e0b\u751f\u6210\u7684\u667a\u80fd\u5408\u7ea6\u4ee3\u7801\u5177\u6709\u8f83\u9ad8\u7684\u7a33\u5b9a\u6027<\/p>\n\n\n\n

\u4e94\u3001\u603b\u7ed3<\/h2>\n\n\n\n

\u8bba\u6587\u603b\u7ed3\uff1a\u6587\u7ae0\u63d0\u51fa\u4e86\u901a\u8fc7\u5229\u7528LLMs\u7684\u81ea\u7136\u8bed\u8a00\u7406\u89e3\u548c\u751f\u6210\u529f\u80fd\u6765\u81ea\u52a8\u751f\u6210\u667a\u80fd\u5408\u7ea6\u7684\u6d41\u6c34\u7ebf\uff0c\u91c7\u7528\u4e86gpt\u548cSlither2\uff0c\u540c\u65f6\u63d0\u51fa\u4e86\u4e86\u4e00\u4e2a\u57fa\u4e8e\u53ef\u7f16\u8bd1\u6027\u3001\u6f0f\u6d1e\u548c\u8bc4\u8bba\u5b58\u5728\u7b49\u6307\u6807\u7684\u57fa\u51c6\u6d4b\u8bd5\u5957\u4ef6\uff0c\u4ee5\u4fbf\u4ece\u751f\u6210\u7684\u667a\u80fd\u5408\u7ea6\u7684\u4e00\u81f4\u6027\u3001LLM \u7684\u6e29\u5ea6\u6548\u5e94\u548c\u63d0\u793a\u9009\u62e9\u65b9\u9762\u8bc4\u4f30\u7ba1\u9053\u7684\u6709\u6548\u6027\u3002\u76f8\u8f83\u4e8e\u5176\u4ed6\u540c\u6837\u57fa\u4e8eLLM\u7684\u65b9\u6cd5\uff0c\u6587\u7ae0\u7b80\u5316\u4e86\u4ea4\u4e92\u6d41\u7a0b\uff0c\u540c\u65f6\u5f15\u5165\u4e86\u667a\u80fd\u5408\u7ea6\u6f0f\u6d1e\u68c0\u67e5\u548c\u7ed3\u6784\u5316\u6307\u6807\u5957\u4ef6\uff0c\u4e25\u683c\u8bc4\u4f30\u5176\u6027\u80fd\u548c\u6709\u6548\u6027<\/p>\n\n\n\n

\u542f\u53d1\uff1a
1.\u5bf9\u4e8e\u667a\u80fd\u5408\u7ea6\u4ee3\u7801\u751f\u6210\u7684\u63d0\u793a\u8bcd\u5d4c\u5165\u90e8\u5206\uff0c\u76f8\u8f83\u4e8efew-shot\u548cone-shot\u6280\u672f\u6216\u8005\u601d\u8003\u94fe\u6846\u67b6\uff0c\u903b\u8f91\u6027\u5f3a\u3001\u76ee\u6807\u548c\u5c42\u6b21\u660e\u786e\u7684CO-STAR\u63d0\u793a\u8bcd\u6846\u67b6\u5bf9\u4e8e\u6a21\u578b\u7684\u4ee3\u7801\u751f\u6210\u8d77\u5230\u4e86\u5173\u952e\u4f5c\u7528\u3002
2.\u6587\u7ae0\u4e2d\u5bf9\u4e8e\u6e29\u5ea6\u53c2\u6570\u5bf9\u4e8e\u6a21\u578b\u4ee3\u7801\u751f\u6210\u7684\u5f71\u54cd\u63a2\u8ba8\uff0c\u5728\u5b9e\u9a8c\u7ed3\u679c\u4e0a\uff0c\u8f83\u5c11\u7684\u6837\u672c\u6570\u91cf\u53ef\u80fd\u5bf9\u4e8e\u603b\u4f53\u7684\u5f71\u54cd\u628a\u63a7\u4e0d\u660e\u786e\uff0c\u5bf9\u4e8e\u540e\u7eed\u5408\u7ea6\u4ee3\u7801\u5b9e\u65bd\u73af\u8282\uff0c\u6587\u7ae0\u6ca1\u6709\u8fc7\u591a\u7684\u6d89\u53ca\uff0c\u6240\u4ee5\u5bf9\u4e8e\u751f\u6210\u4ee3\u7801\u7684\u8fd0\u884c\u90e8\u7f72\uff0c\u540c\u6837\u9700\u8981\u8fdb\u4e00\u6b65\u7684\u7814\u7a76\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"

\u6765\u6e90\uff1a2024 IEEE 48th Annual Computers, Software, and Appli […]<\/p>\n","protected":false},"author":65,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1596","post","type-post","status-publish","format-standard","hentry","category-events"],"_links":{"self":[{"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/posts\/1596","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/users\/65"}],"replies":[{"embeddable":true,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/comments?post=1596"}],"version-history":[{"count":1,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/posts\/1596\/revisions"}],"predecessor-version":[{"id":1613,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/posts\/1596\/revisions\/1613"}],"wp:attachment":[{"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/media?parent=1596"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/categories?post=1596"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.15zhi.net\/blog\/wp-json\/wp\/v2\/tags?post=1596"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}