Leveraging Chatgpt for Automated Smart Contract Repair: A Preliminary Exploration of Gpt-3-Based Approaches

计算机科学 系统工程 建筑工程 工程类
作者
Giacomo Ibba,Marco Ortu,Roberto Tonelli,Giuseppe Destefanis
标识
DOI:10.2139/ssrn.4474678
摘要

Context: Ethereum smart contracts are self-executing programs that enable trustless transactions between parties, with applications in digital document management, secure storage and transfer of cryptocurrencies, and non-fungible token (NFT) management. Ensuring the security and robustness of these smart contracts is crucial to avoid significant financial and privacy losses due to bugs or honeypots.Objectives: This work aims to develop a novel approach for automatically repairing Solidity smart contracts and demonstrate the feasibility of detecting and fixing vulnerabilities using a state-of-the-art language model.Methods: We utilize ChatGPT, a large-scale language model, to automatically repair Solidity smart contracts by training it through prompt engineering techniques, tailoring its capabilities to detect and fix vulnerabilities in the code.Results: Our ChatGPT-based approach successfully repairs vulnerable Solidity smart contracts, showcasing its potential as a valuable tool for improving the security and robustness of these programs in various use cases, ultimately reducing the risks associated with bugs and honeypots.Conclusions: ChatGPT is best utilized as an APR tool when combined with vulnerability detection tools. It requires a comprehensive understanding of the program and thorough examination by various vulnerability detection tools to ensure robust coverage.

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
小蘑菇的应助被Viloong采纳,获得10
1秒前
啤啤发布了新的文献求助10
1秒前
3秒前
3秒前
4秒前
4秒前
科研豆包完成签到 ,获得积分10
4秒前
qwe完成签到,获得积分10
4秒前
科研通AI6.4的应助被匍匐前进采纳,获得10
5秒前
sky发布了新的文献求助10
5秒前
楠楠多多完成签到,获得积分10
7秒前
我居然要写两篇小论文完成签到 ,获得积分10
8秒前
9秒前
今后的应助被qq采纳,获得10
9秒前
斯文败类的应助被lars采纳,获得10
10秒前
博纳清完成签到 ,获得积分10
10秒前
keyanren的应助被能干妙松采纳,获得20
10秒前
Bruce完成签到,获得积分10
14秒前
sghsh发布了新的文献求助10
14秒前
六道完成签到,获得积分10
15秒前
科研通AI6.2的应助被sky采纳,获得10
15秒前
Rui_Rui的应助被烦烦烦采纳,获得10
15秒前
jsy关闭了jsy的文献求助
16秒前
神勇的青旋发布了新的文献求助200
16秒前
Snow发布了新的文献求助10
16秒前
NepTune发布了新的文献求助20
16秒前
感动雪糕完成签到,获得积分10
16秒前
17秒前
蒋50完成签到,获得积分0
18秒前
18秒前
18秒前
ding的应助被咩咩咩咩吗采纳,获得10
18秒前
科研通AI6.2的应助被啤啤采纳,获得10
19秒前
Ming的应助被六道采纳,获得20
20秒前
keke完成签到 ,获得积分10
20秒前
ff999完成签到,获得积分0
20秒前
糖葫芦傻乎乎关注了科研通微信公众号
20秒前
21秒前
okiya完成签到,获得积分10
22秒前
超级铅笔发布了新的文献求助10
22秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Energie-Contracting 1500
Spec 401: Standards for Jet Fuel Facility and Equipment Commissioning and Flushing at Airports, 2026.1 (Original Issue) 1000
Spec 103: Standard for Jet Fuel Quality Control at Airports, Revision 2026.1 1000
Mathematical models in hydrology 1000
Klimaschutzrecht durch den Energiesektor im Mehrebenensystem – Ein Rechtsvergleich 1000
Introduction to Industrial/Organizational Psychology 800
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 计算机科学 工程类 有机化学 化学工程 生物化学 物理 复合材料 内科学 催化作用 光电子学 人工智能 细胞生物学 无机化学 物理化学 数学
热门帖子
关注 科研通微信公众号,转发送积分 8092854
求助须知:如何正确求助?哪些是违规求助? 9505109
关于积分的说明 21445771
捐赠科研通 7665852
什么是DOI,文献DOI怎么找? 3405381
关于科研通互助平台的介绍 2533689
邀请新用户注册赠送积分活动 2444501