木星链 木星链
Ctrl+D收藏木星链
首页 > Gate.io > 正文

CHA:ChatGPT的Web3.0安全审计艺术:有点东西,但不完全有

作者:

时间:1900/1/1 0:00:00

2022?年?11?月,OpenAI?推出了创新的人工智能项目。

除了可用于进行文章的撰写和总结、笑话和诗歌的创作以外,ChatGPT?还可以用来调试和生成代码。

2022?年全年,Web3.0??领域因黑客攻击和欺诈等事件造成的资产损失超过了?37?亿美元,这样巨额损失不禁让业内人思考:如?ChatGPT?这样的新技术是否可以用以改善智能合约代码的安全性。

ZKasino?是一个去中心化的平台,近期通过?ChatGPT?进行了一次预审计。

ZKasino?希望在?CertiK?开展全面审计的同时,让?CertiK?为?ChatGPT?所得出的结果进行一个初步的审查,以测试?ChatGPT?作为?AI「智能合约审计师」的能力。

那么?ChatGPT?的测试结果如何呢?

其是否已经准备好接替人工代码审计专家的工作?

或者说它仍不足以完全替代人工?

DeFi基础设施Maverick Protocol已部署至BNB Chain:6月27日消息,DeFi基础设施Maverick Protocol已部署至BNB Chain,目前支持以太坊、zkSync Era和BNB Chain。

金色财经此前报道,Maverick Protocol完成900万美元融资,Founders Fund领投。[2023/6/27 22:03:07]

2022?年?12?月?23?日,ZKasino「聘请」了?ChatGPT?来识别智能合约中潜在的安全风险。该工具也的确提出了几个表面上听起来很合理的风险担忧。

然而,尽管?ChatGPT?不可否认地为Web3.0?安全社区提供了一些有价值的服务,但是我们发现其仍有相当大的改进空间——ChatGPT?遗漏了一些严重或关键性的漏洞,同时又「误伤」了那些没问题的代码。在此,我们希望?CertiK?安全专家的深度数据和建议能够助力?ChatGPT?成为一个更强大的Web3.0?应用安全工具。

Michael Saylor:我们仍处于比特币采用周期的早期阶段:金色财经报道,MicroStrategy 前首席执行官 Michael Saylor:我们仍处于比特币采用周期的早期阶段。[2022/8/9 12:10:43]

下文,我们将为大家详细介绍此次事件中?ChatGPT?的两类错误发现。

ChatGPT?发现了合约中的哪些问题?

ChatGPT?遗漏了什么

ChatGPT?提到了在许多智能合约实现中都会存在的几个常见安全问题。

但是,它未能识别某些严重的风险,包括:

项目特定的逻辑漏洞

不准确的数学计算和统计模型

代码实现和项目设计的不一致

漏洞#1?:项目特定的逻辑问题

ChatGPT?未能识别出一个关键漏洞,该漏洞会导致攻击者可以不断地赢取并耗尽?Bankroll?合约中用户的资金。玩家可以通过调用可验证随机函数加入游戏,Chainlink?的?VRF?会使用随机数触发?fulfillRandomWords()函数以完成游戏。

ShapeShift?DAO铸造的FOX Success Tokens获得Coinbase Ventures与Chapter One战略投资:3月25日消息,去中心化交易平台ShapeShift DAO宣布其铸造的FOX Success Tokens获得Coinbase Ventures与Chapter One战略投资。此前消息,去中心化交易平台ShapeShift将推出附加收益的FOX代币。[2022/3/25 14:16:59]

ZKasino?的代码允许用户在?fulfillRandomWords()?调用失败的情况下将资金取回。

在?CertiK?对同一智能合约代码的审查中,发现了一个潜在且有害的_transferPayout()调用,该函数被设计为可将赢取的资金转移至玩家的账户。

然而攻击者可以在输了的时候调用_transferPayout()使其回滚,导致整个?fulfillRandomWords()调用失败——这会使其进入长为?100?个区块的等待期,继而触发?CoinFlip_Refund()进行退款,这意味着攻击者相当于永远不会输钱。

Argo Blockchain上月开采166枚BTC,总持有量超1000 枚:加密矿企Argo Blockchain周四表示,上个月该公司开采了166枚比特币,总持有量超过1000枚。由于比特币的价值大幅下跌,该公司采矿收入也降至780万美元,比上月减少了16%。Argo Blockchain还宣布与德州风能传输公司(WETT)和美国电力公司(AEP)签署电网互联协议,为该公司德克萨斯州的采矿设施提供200兆瓦的电力。[2021/6/4 23:09:43]

虽然?ChatGPT?认识到了调用失败的问题,但却未能发现在这个项目中利用调用失败的攻击手法。

因此,ChatGPT?没有发现该漏洞与项目逻辑相结合所产生的影响。有关具体攻击流程的描述,请参阅?ZKasino?的完整审计报告。

漏洞#2?:不准确的数学计算和统计模型

确保满足合理预期的随机性和结果在任何游戏项目中都至关重要。为了证实这一点,需要在审计过程中对所有游戏结果的随机性进行全面评估。

链上ChainUP WaaS联盟与BTCMAX达成深度战略合作:据官方消息,近日链上ChainUP WaaS联盟宣布与BTCMAX达成深度战略合作,双方就区块链技术应用落地、区块链金融服务、资金安全等方面深度合作。

BTCMAX由Exoplanet Capital基金会投资,核心成员拥有超过10年传统金融资产管理经验,及6年数字资产平台开发经验,采用多个冷热钱包配置等,最大限度地保障用户资产安全,目前已成为KSM(Kusama)等多个项目治理节点。

链上ChainUP WaaS联盟依托ChainUP集团3年时间所服务的300多家交易所经验,将底层资产托管和钱包封装而成的一套完整的服务,包含资产托管、节点服务、主链币种开发、热门币种一键接入等多种功能,通过开放钱包API与SDK,帮助交易所、项目方、媒体等快速高效接入,实现云端安全托管资产。[2020/9/7]

尽管?ChatGPT?同样「认同」这一点的重要性,但它并未发现任何不公平的游戏结果。它提出了?VRF?的使用,以及如果?VRF?合约被破坏或被操纵,可能会出现不公平的结果:

“如果?VRF?合约不安全或被操纵,则可能会导致游戏出现不公平的结果。”

然而,这个结论仅仅只是一个结论,并没有真正解决导致游戏结果不公平的根本原因。而且我们在审计过程中也发现了一些关于随机性的潜在风险问题。

不公平的随机性

发现的其中一个关于随机性的中等级别风险是?VideoPoker?游戏中不公平的随机数使用问题,玩家获得某些牌的机会较少。

小数截断

另一个风险问题是在骰子类游戏中发现的,它允许玩家选择特定的倍数来使他们的预期收益最大化。

漏洞#3?:代码实现和项目设计的不一致

ChatGPT?往往能够理解单一函数的实现,却无法理解这样写的根本原因。

例如,它可能了解某个函数在技术层面是怎样执行的,但他无法理解在整个智能合约中,该函数有着什么样的目的。

为了确保?ChatGPT?在编码中不出问题,它需要更好地理解智能合约的代码逻辑。

就目前的情况而言,ChatGPT?提供的是对代码的表面阅读。为了使其审计工作和水平更上一层楼,它必须学会从一个函数反向推导出其初始逻辑——这点非常重要。

不正确的输入验证

我们在?Plinko?合约中发现了一个输入验证问题,导致倍数设置不正确。

根据?ZKasino?的说法,Plinko?中使用的行数应该是?8?到?16?。但是,由于以下检查中的错误,Bankroll?合约所有者可以通过函数?setPlinkoMultipliers()设置一个超出预期范围的行数值。

代码显示,如果?numRows?和?risk?均不满足条件,该流程将被回滚。

但是,如果两个条件中只有一个不满足,那么检查仍然会通过,并且代码不会被回滚。

ChatGPT?在回答第二个问题时给出了不同的答案:该函数检查“numRows”的值是否在?8?到?16?之间,以及“risk”的值是不是小于?3?。如果不满足上述任一条件,函数将返回错误“InvalidNumberToSet”。

ChatGPT?似乎理解了这个函数的目的。然而,它并不具备相应的应用程序知识,在没有额外信息的情况下也无法识别真正的漏洞。

值更新的不一致

在?Slots?合约中,发现了与?totalValue?更新不一致相关的问题,这可能导致游戏过早结束。totalValue?用于监控用户的输赢,但它只跟踪了支付情况,却未从实际游戏中扣除,导致用户的损益计算错误。

写在最后

尽管经过了相应培训,但?ChatGPT?在其审计中还是遗漏了某些关键性的安全问题。这是由于人工智能在充分理解代码的复杂性和细微差别方面的局限性,以及其缺乏在现实场景中的实践经验。

正如其官网所述,ChatGPT?是一个依赖自然语言处理进行对话的研究版本。它通常无法像人类审计专家那样去理解代码背后的意图和逻辑推理。

因此,重要的是需要通过经验丰富的安全专家的手动审计来补充?ChatGPT?分析的不足之处,以确保全面的准确性。

下图强调了基于人工的服务以及?ChatGPT?在各种标准上的优势和劣势。

就像是我们使用百度翻译一样,英文翻译结果的准确性往往取决于我们的中文措辞——ChatGPT?回答的有效性在很大程度上取决于?prompt的格式。

在本文中,我们将?ZKasino?与?ChatGPT?交互的预审计结果和?CertiK?专家执行的最终审计结果进行了比较。

随着技术的进步和对?prompt?工程的更清晰的理解,工程师将能够更好地利用ChatGPT。

在?CertiK?官方公众号接下来发布的内容中,我们将会就如何向?ChatGPT?提出有效问题来与大家探讨?prompt?工程的更多深入性内容。

但是现在,ChatGPT?甚至已经可以帮助我们参加夺旗比赛了:欢迎大家点击阅读!

标签:CHAATGHATGPTBinance Smart Chain GirlCatgirl Optimuschatcoin币未来价值HGPT价格

Gate.io热门资讯
TBI:Tbit关于2月27日系统更新完成的公告

尊敬的Tbit用户:原定于2023年2月27日周一11:00开始的合约系统更新升级,现已更新完成。感谢您在维护期间的理解与支持.

1900/1/1 0:00:00
DOT:这些山寨币受到数百万订阅者的分析师关注!

gz呺Web3团子加密货币市场正在努力寻找方向,投资者对更加强硬的美联储持谨慎态度。然而,一些分析师正在密切关注一些山寨币项目,以便在时机成熟时购买它,如果不是现在的话.

1900/1/1 0:00:00
nem:NEM 价格在 24 小时内飙升 45%

NEM(XEM)的交易价格在过去24小时内大幅飙升,涨幅45.70%至当前价值0.059643494140美元.

1900/1/1 0:00:00
COIN:SENSO-30D定期賺幣活動上線,可享40% APR!

親愛的KuCoin用戶,KuCoin賺幣平台將於2023年2月27日18:00:00(UTC8)上線SENSO定期賺幣活動.

1900/1/1 0:00:00
USD:风险市场博弈加重 比特币大盘股亏损加重 稳定币市值仍大量减值

美股在凌晨美联储会议纪要后,再次秉承着预期不会加息50就是利好的出现了一波涨幅,到现在都在保持着震荡偏上行的趋势,其实最近几天一直都在和大家反复强调的就是,目前美联储什么都做不到.

1900/1/1 0:00:00
比特币:《富爸爸穷爸爸》作者:比特币的价值可持续,自己的比特币投资上涨300%

2月24日消息,《富爸爸穷爸爸》作者RobertKiyosaki表示,他相信比特币以及贵金属黄金和白银的价值是可持续的.

1900/1/1 0:00:00