已入深夜,您辛苦了!由于当前在线用户较少,发布求助请尽量完整地填写文献信息,科研通机器人24小时在线,伴您度过漫漫科研夜!祝你早点完成任务,早点休息,好梦!

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.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
Cassel发布了新的文献求助30
刚刚
3秒前
科研通AI6应助阿江采纳,获得10
4秒前
Throb发布了新的文献求助10
4秒前
香蕉觅云应助扶风阁主采纳,获得10
4秒前
4秒前
6秒前
AAAstf完成签到 ,获得积分10
7秒前
傻丢完成签到 ,获得积分10
7秒前
7秒前
9秒前
10秒前
橙橙星星完成签到,获得积分10
11秒前
11秒前
十九岁发布了新的文献求助10
12秒前
willow完成签到 ,获得积分10
12秒前
13秒前
13秒前
重新注册完成签到,获得积分10
13秒前
14秒前
weiwei发布了新的文献求助10
14秒前
15秒前
JamesPei应助Wencher采纳,获得10
15秒前
自然芯发布了新的文献求助10
16秒前
16秒前
Orange应助寂寞的小夏采纳,获得10
17秒前
科研通AI6应助andrele采纳,获得10
17秒前
Iuu完成签到,获得积分20
18秒前
18秒前
浮游应助zuolan采纳,获得10
18秒前
18秒前
ldgsd发布了新的文献求助10
19秒前
Throb完成签到,获得积分20
19秒前
mars9758完成签到,获得积分10
20秒前
呆呆发布了新的文献求助10
21秒前
yxt完成签到,获得积分10
21秒前
小蘑菇应助weiwei采纳,获得10
22秒前
22秒前
24秒前
杨雯娜发布了新的文献求助10
25秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
Fermented Coffee Market 2000
合成生物食品制造技术导则,团体标准,编号:T/CITS 396-2025 1000
The Leucovorin Guide for Parents: Understanding Autism’s Folate 1000
Pipeline and riser loss of containment 2001 - 2020 (PARLOC 2020) 1000
Critical Thinking: Tools for Taking Charge of Your Learning and Your Life 4th Edition 500
Comparing natural with chemical additive production 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 内科学 生物化学 物理 计算机科学 纳米技术 遗传学 基因 复合材料 化学工程 物理化学 病理 催化作用 免疫学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 5243732
求助须知:如何正确求助?哪些是违规求助? 4410020
关于积分的说明 13726872
捐赠科研通 4279637
什么是DOI,文献DOI怎么找? 2348225
邀请新用户注册赠送积分活动 1345435
关于科研通互助平台的介绍 1303665