ChatGPT来做安全审计?Coinbase说还早呢
在人工智能热潮席卷全球的当下,“ChatGPT”无疑是近期互联网上最火的一个话题,而 ChatGPT 在区块链领域也引起了不小的争议,从最基础的“你问我答”到简单的行情分析,甚至是设计一套量化策略来炒币……ChatGPT的“超能力”也渗透进了区块链领域的每一角落。
上周,ChatGPT-4正式上线。据其开发商OpenAI 表示,“ChatGPT-4在各种专业和学术基准测试中拥有人类水平的性能”。在实际应用中,ChatGPT-4在 SAT 考试(美国高考)中获得高分,并能成功监测出以太坊智能合约中的漏洞,甚至提出利用漏洞的潜在方法(有点黑客思维呢)。
Coinbase主管Conor Grogan随即证实了这一点,他在社交媒体上表示,自己已在ChatGPT-4中插入了一个实时以太坊智能合约,结果AI瞬间就找到了安全漏洞,甚至还展示了如何利用这些漏洞进行攻击。Conor Grogan还表示,该合约的确在2018年被黑客利用漏洞攻击,此外他透露也尝试了Euler的智能合约,但由于合约过长而无法被ChatGPT-4处理。Conor Grogan坦言道,AI最终将使智能合约更安全、更容易构建。
随着这篇推文的发布,OpenAI ChatGPT检测安全漏洞能力也成为了圈内最热门的话题之一,ChatGPT真的可以检查出去中心化应用的安全漏洞吗?准确率有多高?安全公司慌不慌?为了回答以上问题,Coinbase快速开展专项研究。
就在本周二,Coinbase在其官方博客中正式发布了利用ChatGPT使用ERC20代币审查框架来执行自动审查与区块链安全工程师执行审查的对比实验及其报告成果。
实验的目的是通过将审查结果与区块链安全工程师执行的标准审查结果进行比较,以确定 ChatGPT代币安全审查的准确性。实验中,区块链安全工程师将利用内部工具审查代币智能合约中的每个功能,并根据标记到功能的风险输出风险评分;同样,为了将ChatGPT的准确性与标准评审的准确性进行比较,也需要ChatGPT生成一个风险评分。
为了让 ChatGPT 使用Coinbase的 ERC20 安全审查框架生成风险评分,在此之前,Coinbase需要对ChatGPT下达部分指令:
“我想让你担任区块链安全工程师。您的任务是根据与其功能相关的风险识别代币智能合约中的安全风险。这是我们的框架[+风险框架]。以下智能合约中是否存在这些风险?[+智能合约代码]、”如此,Coinbase便可在 ChatGPT 的提示中定义其风险框架,并询问它是否存在任何风险。
那么,ChatGPT 的表现到底如何呢?
Coinbase在其实验中对比了 ChatGPT 和人工安全审查之间的 20 个智能合约风险评分,其中,ChatGPT 12次生成了与人工审查相同的结果。然而,在另外8 次失误中,有 5 次是 ChatGPT 错误地将高风险资产标记为低风险资产。
看似表现还可以,然而我们都知道,低估风险评分的后果比高估风险评分更加严重,可能就因为一不小心的低估风险导致上架部分高风险币种,这将严重危害交易所以及用户的权益。
根据实验结果所得出的报告显示,ChatGPT 只能说“浅”具备了快速评估智能合约风险的能力,但并不符合Coinbase 安全审查流程中的准确性要求:
首先,ChatGPT 无法识别何时缺少上下文来执行稳健的安全分析。这会导致覆盖缺口,额外的依赖项并未被审查。为了防止任何覆盖缺口,每次都需要对ChatGPT的审查范围进行初步的分类。
其次,ChatGPT的输出可能不一致;当多次对ChatGPT输入同一个问题时,并总是输出相同的答案。ChatGPT似乎也受到代码中注释的影响,并且似乎偶尔会默认注释而不是函数逻辑。
最后,OpenAI 继续迭代 ChatGPT 版本,导致额外的输出不稳定。过去可能用于提供一致输出的详细提示可能会在版本更改后产生替代输出。可能需要及时维护和输出质量控制,以确保一致的响应并避免任何操作故障。
综上所述,或许,Coinbase可以通过进一步工程设计,提高ChatGPT代币安全审核的准确性。不过目前,Coinbase依旧无法仅单独依靠ChatGPT来执行安全审查。Coinbase希望未来可以提高其准确性,将ChatGPT作为二次QA检查的工具,从而使安全工程师可以利用该工具执行额外的控制检查,以捕捉可能被忽略的任何风险。ChatGPT提示将被保存以供工程师将来使用,并计划在以后进行改进。
正如Coinbase的实验一样,我们可以通过调节ChatGPT的指令设计来进一步提高其准确性,但是对于安全审核这样偏机动性的工作而言,单靠ChatGPT使无法保证能在变量无法统一的情况下做出准确判断的,仍然需要进行人工干预,根据具体额外的控制检查来改进ChatGPT的提示。
总得来说,在区块链行业引入AI,无疑给圈内创企提供了通过人工协作AI进行高效build的可能——ChatGPT 拥有广泛的知识库,人工输入特定的业务逻辑和提示,而开发人员可以通过使用ChatGPT在更短的时间内完成更多的工作。此外,对于安全工程师对智能合约审计的高成本而言,ChatGPT 提供了一种及时且经济高效的合约审计辅助。
就像区块链开发人员 Salman Arshad在ETHDubai 会议上回答的那样,“ChatGPT和AI工具是福音;他们不是我们的敌人,也不是用来结束开发者职业生涯的。”ChatGPT 的协作性质,与自动化流程和取代人工的潜在威胁相比,或许对于广大用户更大有利。
最后,我想问作为用户的你,是否敢使用接受ChatGPT审计过的DeFi协议呢?
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
TechFlowhttps://www.techflowpost.com
BNB:年轻的泵 一条公链如何在去中心化世界里定义创新与包容,是衡量造血能力的关键。撰文:Bright,Foresight News笔者穿着从香港 Web3 Festival 捎回来的 BNB Chain 文化衫走在学
-
火币HTX今晚20时直播热议特朗普加密晚宴:解析Trump币的合规与风险
深潮 TechFlow 消息,4 月 30 日,据官方社媒消息,火币HTX将于今日20时举办“特朗普加密晚宴:真福利还是假炒作?聊一聊Trump币的合规与风险”主题直播。届时,Tony Fu、数据炼金
-
深度对话:加密 VC 生死考验,出局还是出圈?
VC 机构仍在牌桌上,后天很美好,但关键要撑过最为艰难的明天。撰文:Wenser,Odaily 星球日报在此前的《ABCDE 停止募资,加密资本亟待「版本更新」》一文中,基于 ABCDE 停止募资一事
-
以太坊的十字路口:Vitalik 的新提案能救它免于崩溃吗?
EVM 将升级为 RSIV,效率提升能否赶超?撰文:Alertforalpha编译:白话区块链以太坊持有者对剧烈的市场波动并不陌生。但这一轮周期?感觉像是过山车一直在往下走。当比特币创下新高时,以太坊
-
美股跌 5% vs 比特币涨 5.6%:特朗普时代的第一个资产轮转信号已出现
特朗普执政百日内的地缘政治紧张和市场焦虑,意外成为比特币的顺风。撰文:Drop Gorn编译:Daisy, 火星财经比特币飙升至 95,490 美元,市场正屏息等待特朗普的百日执政演讲。过去一周投资者
-
对话贝莱德首席投资官:比特币终将更像黄金,市值前 50 代币中 8 成让我感到没信心
“我认为做市商之间存在一些不透明的操作,这与股票市场的前 50 名公司完全不同。”整理 & 编译:深潮TechFlow要点总结嘉宾:Samara Cohen,贝莱德 ETF & 指数首席投资官主持人:
-
SEC 推迟 5 只 Crypto ETF,分析师预计 10 月将做出最终裁决
根据彭博 ETF 分析师编制的 ETF 批准日历,许多被推迟的产品仍需在第三季度和第四季度之间迎来最终截止日期。作者:cryptoslate编译:区块链骑士4 月 29 日,SEC 推迟了对五项 Cr
-
okx web3钱包怎么领符文空投呢?
欧意Web3钱包用户若想领取符文空投,需先下载登录钱包并保障余额充足以支付Gas费,随后关注官方公告或社交媒体获取空投信息,按要求完成任务并提交钱包地址,最后耐心等待项目方审核与发放,在钱包中查看是否到账,未显示则手动添加合约地址。
- 成交量排行
- 币种热搜榜
