「新晋网红」ChatGPT可以检测智能合约漏洞吗_CRYP:ChatCoin

一夕之间,ChatGPT 突然火了,并在互联网上掀起了一场“AI 风暴”

所谓 ChatGPT,是在今年 11 月 30 日,由人工智能实验室 OpenAI 上线的新模型。

目前用户与 ChatGPT 之间的对话互动包括了普通聊天、信息咨询、撰写诗词作文、修改代码等,甚至令用户产生 ChatGPT 能否取代谷歌等搜索引擎的疑虑。

今天,我们就来研究一下爆火的 ChatGPT 究竟是什么?以及能不能检测智能合约漏洞?

在互联网上掀起了一场“AI 风暴”的 ChatGPT 究竟是什么?

据官网介绍,计算模型 GPT-3.5 支持的通用聊天机器人 ChatGPT,能回答连续性的问题、承认自己的错误、质疑不正确的假设,甚至拒绝不合理的需求。

从写剧本、写诗、设计游戏,到给程序找 bug,乃至制定一份“毁灭人类”的计划,这个 AI 能做的事情超乎想象。

金色晚报 | 6月16日晚间重要动态一览:12:00-21:00关键词:海南金融局、哈萨克斯坦、CSW、资金盘

1.海南金融局与金融壹账通签订合作推动法定数字货币应用探索。

2.哈萨克斯坦计划在未来三年吸引7.38亿美元的加密领域投资。

3.CSW称曾购买存储在1Feex地址的比特币 驳斥入侵Mt.Gox的说法。

4.以太坊天价手续费转账地址系资金盘项目GoodCycle热钱包。

5.BitMEX报告:过去18个月比特大陆矿业统治地位大大降低。

6.数据:10.16万份比特币期权将于6月26日到期。

7.四川和云南掉线4万多台矿机设备。

8.山东济南跨境电子商务综合试验区将布局区块链等数字产业。

9.福布斯董事长:未来稳定币的表现将优于投机性加密货币。[2020/6/16]

美国企业家马斯克询问了 ChatGPT 如何设计 Twitter,AI 回答称:“为了使用户更容易查看线程互联网对话并与之交互,你可以将线性一维界面转换为二维无限网格。”

12 月 5 日,OpenAI 创始人兼 CEO 阿尔特曼(Sam Altman)发布推文表示,ChatGPT 用户数已突破了 100 万。

金色午报 | 5月8日午间重要动态一览:7:00-12:00关键词:BTC减半倒计时、吴忌寒、黑客、灰度

1.BTC减半一周倒计时——距离减半仅剩3天。

2.吴忌寒:詹克团毁灭了比特大陆数十亿美金的价值。

3.浙江省将筹建区块链省级标准技术委员会。

4.黑客威胁曝光明星的法律事务信息并索要比特币赎金。

5.以太坊公布2020Q1资助名单已分配资金256.4万美元。

6.灰度比特币信托基金年初迄今已购68395枚BTC。

7.媒体:已有多家上市公司购买了浙商银行区块链应收款产品。

8.BTC突破10000美元大关 创近期新高。[2020/5/8]

许多人已经测试了聊天功能,并一直在社交媒体上分享他们的交流。ChatGPT 似乎也给科技亿万富翁埃隆·马斯克留下了深刻印象,他在推特上写道:“ChatGPT 好得吓人。我们离危险的强大人工智能不远了。”

技术公司 Replit 的创始人 Amjad Masad 还给 ChatGPT 发了一段 JavaScript 代码,让它找到里面的 bug,并表示:“ChatGPT 可能是一个很好的调试伙伴,它不仅分析了错误,还修复了错误并进行了解释。”

金色午报 | 12月18日午间重要动态一览:7:00-12:00关键词:PTO、Upbit、以太坊、虚拟银行、挖矿攻击

1.沈阳互金协会:防范以区块链名义进行ICO与虚拟货币交易活动。

2.北京商报:借PTO还魂,非法代币融资再现异化。

3.学习时报:要警惕区块链带来的制度监管风险、法律漏洞等安全风险。

4.彭博社:ETH今年的涨幅由正转负 XRP年初至今亏损超43%。

5.上海法院应用“区块链”技术保全财产。

6.巴西首次在区块链上进行民事伴侣关系登记。

7.部分Upbit被盗ETH正通过去中心化渠道转为稳定币。

8.小米和阿里等8个阵营已获虚拟银行牌照,力争明年营业。

9.卡巴斯基报告:加密货币挖矿攻击2019年急剧下降。[2019/12/18]

一位用户甚至要求 ChatGPT 从 AI 的角度写一封信,目标是控制世界。

结果简直令人震惊。它引起了久负盛名的人工智能的人们的回应,接管了科幻小说的世界概念,向现实迈出了一步。

拥有如此强大而惊艳的语言能力,一时间,ChatGPT 悄然走到了话题中心,成为了引发热议的新晋网红。

分析 | 金色盘面:BTC期货合约持仓变化:金色盘面综合分析: 据OKEX数据显示,目前做多账户58%,做空账户40%,多头持仓比例25.52%,空头持仓比例17.5%,从数据看,做多主力账户呈现上升趋势,空仓账户将至2%,说明多头逞强。截止发稿,季度BTC0928合约价格为6222美元,现货价格为6273美元,贴水51美元,较早盘有所下降,投资者对于远期价格看淡不变,请投资者注意做好风控。[2018/9/13]

目前 ChatGPT 仍处于免费测试阶段,不限量向公众开放,基于其破百万的用户数,平台所花费的成本不算小。不过,在使用过程中,用户提供的反馈对 OpenAI 也是最有价值的信息,可以不断训练语言模型,修正错误答案。

我们注册并体验了一下 ChatGPT 对话,我们首先让 AI 自我介绍。

他回复道,“我是 Assistant,一个由 OpenAI 训练的大型语言模型。我的工作是帮助人们回答各种问题,尽可能提供准确和详细的信息。我可以回答各种问题,无论是关于历史、科学、人文还是其他话题。”

分析 | 金色盘面:XRP/BTC 止跌企稳 反弹压力较大:金色盘面综合分析:XRP/BTC 4小时K线图,在之前BTC下跌过程中,有过逆势表现,之后出现深幅调整,目前跌势趋缓,MACD掉头向上,但从筹码分布看,上方压力还是较大。[2018/8/9]

作为一家区块链安全公司,我们有了另一种想法,那就是让他来写一份智能合约。

写一份简单的合约,对 ChatGPT 而言好像没有太大的难度。因为代码太长,我们截取部分截图展示,可以看到,他还是懂一些基础知识的。

接下来,我们丢给 ChatGPT 一个相对简单的但是有漏洞的智能合约,让他检测一下,我们截取部分截图展示。

好家伙,不简单,ChatGPT 竟然还是能检测一些简单的问题。

看这情况,是有“两把刷子”,来,继续上难度!

本以为他会继续给我们惊喜,他却来一句:“我看不懂这份这份代码”。

然后我们加了一些注释,让他重新检测。

他说了一些什么,又像什么都没说。

然后建议我们使用专业的安全审核工具或者请求专业人员进行审核。

好吧,那我们先派出我们的智能合约形式化验证工具 Beosin VaaS,将刚刚测试的那几份合约检测了一下,可以看到,VaaS 能很快检测出合约的漏洞。

Beosin VaaS 产品截图

要知道,VaaS 作为 Beosin 的王牌产品之一,可自动发现智能合约中存在的已知、未知漏洞及业务逻辑问题,并给出专业的修复建议,帮助开发者提高智能合约的安全能力。大家感兴趣可以检测对比一下,VaaS 试用链接:https://vaas.beosin.com/

除此之外,经过我们的多轮对比,我们发现 ChatGPT 并不能解决所有的问题,比如很多漏洞还是需要审计专家严苛审计,才能发现问题。

比如下面这份合约的问题,设置手续费没有限制,可能导致用户高额手续费,ChatGPT 并没有意识到这些。

还有下面这个,在_transfer 函数中,如果_trAmount= 2 被触发, 10 秒内所有的传输地址都是 dev 地址。ChatGPT 依然不能识别。

毕竟做安全,必须要有严苛安全审计流程,才能筑牢安全防线。

Beosin 的审计流程的规范性上,包含 5 个环节以上的审计步骤,自动化代码安全扫描与安全专家和形式化验证专家的人工审计结合。每一步均由多名安全专家和形式化验证专家交叉操作,尽量避免因为人为因素导致的遗漏。

完成一轮审计后,Beosin 会出具所发现问题的 Feedback,里面包含漏洞描述,复现方式,修复建议等,然后提交给项目方并协助项目方完成漏洞修复。我们有着海量的安全漏洞库的积累,结合安全专家的丰富的代码安全审计经验,能够直接告诉项目方应该怎么修改代码。这个可比 ChatGPT 强多了哦!

最后,形式化验证专家又将安全审计专家凝练出的安全问题利用严格的数理逻辑抽象成可重用的安全属性不变量,并交给混合机器引擎进行自动化检测、测试、验证,实践证明这些可重用的安全属性不变量可有效发现智能合约中新的微妙漏洞。

看来我们还暂时不会被 ChatGPT 的机器人代替。

当然,当我们在关注 chatGPT 的时候,更需要思考和探索的是,他火爆背后所透露出现的信息,它所呈现出来的人工智能或许已进入到了一个全新的发展阶段,科技正在慢慢改变世界。

原文作者:Beosin

来源:星球日报

Odaily星球日报

媒体专栏

阅读更多

金色早8点

金色财经

去中心化金融社区

CertiK中文社区

虎嗅科技

区块律动BlockBeats

念青

深潮TechFlow

腾讯研究院

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金智博客

[0:15ms0-6:823ms