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.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
Aster 推出 Shield Mode:为链上交易者打造的高性能交易保护模式
该交易功能作为全新的保护模式,致力于将完整的 1001 倍杠杆交易体验融入更快速、安全、灵活的链上交易环境。由 YZi Labs 支持的高性能、隐私链上交易平台 Aster 今日宣布正式上线 Shie
-
Aave DAO 和 Aave Labs 权力游戏背后的治理斗争作者:陈默 cmDeFi最近吵的比较凶的Aave DAO vs Aave Labs,协议层和产品层的治理权力争议,背后是全行业的治理困境。梳理了一下这个问题。到底谁是Aave的主人? 1/6 · 事情
-
数字银行早已不靠银行赚钱,真正的金矿在稳定币与身份认证原文标题:Neobanks Are No Longer About Banking 原文作者:Vaidik Mandloi , Token Dispatch 原文编译:Chopper,Foresigh
-
韩国加密场研究报告,市场重启与下一轮增长周期
从崩塌到跃迁,韩国加密市场的重启与下一轮增长周期1. 引言:市场范式正在转向关键信号韩国数字资产市场正经历其历史上最重要的一次结构性重置之一。Upbit 的日均交易量从 2024 年 12 月的 90
-
Web3华人创业者的困境与未来作者:胡韬,ChianCatcher在加密行业越来越主流化之际,华人创业者离舞台中央却似乎越来越远了。 曾几何时,华人创立的项目已经占据行业的半壁江山,包括币安、OKX、Bybit、Bitget、Ga
-
除了交易,Solana生态的明星新项目与重磅更新一览Solana Breakpoint 2025 大会可谓精彩纷呈。除了最受关注的验证器客户端 Firedancer 正式上线主网(预计将 TPS 提升到潜在的百万级别)以及 Coinbase DEX 的
-
数字银行早已不做银行生意,真正的金矿在稳定币与身份认证
市场正逐步摒弃各平台分散的 KYC 流程,转向可跨服务、跨国家、跨平台使用的可移植性认证身份体系。撰文:Vaidik Mandloi编译:Chopper,Foresight News数字银行的真正价值
- 成交量排行
- 币种热搜榜
泰达币
比特币
以太坊
OFFICIAL TRUMP
USD Coin
Solana
First Digital USD
瑞波币
币安币
大零币
狗狗币
莱特币
Sui
波场
Avalanche
FIL
OKB
LUNC
SHIB
ZEN
ETC
CAKE
DOT
YGG