一夕之间，ChatGPT 突然火了，并在互联网上掀起了一场“AI 风暴”
所谓 ChatGPT，是在今年 11 月 30 日，由人工智能实验室 OpenAI 上线的新模型。
目前用户与 ChatGPT 之间的对话互动包括了普通聊天、信息咨询、撰写诗词作文、修改代码等，甚至令用户产生 ChatGPT 能否取代谷歌等搜索引擎的疑虑。
今天，我们就来研究一下爆火的 ChatGPT 究竟是什么？以及能不能检测智能合约漏洞？
在互联网上掀起了一场“AI 风暴”的 ChatGPT 究竟是什么？
据官网介绍，计算模型 GPT-3.5 支持的通用聊天机器人 ChatGPT，能回答连续性的问题、承认自己的错误、质疑不正确的假设，甚至拒绝不合理的需求。
从写剧本、写诗、设计游戏，到给程序找 bug，乃至制定一份“毁灭人类”的计划，这个 AI 能做的事情超乎想象。
WSJ：Celsius Network达成和解协议以解决索赔诉讼:金色财经报道，据《华尔街日报》援引法庭文件报道，破产的加密货币贷款机构Celsius Network达成和解，可能为获得法庭批准返还客户资产扫清障碍。《华尔街日报》表示，其中一项和解协议通过将追偿金额提高5%，解决了客户对Celsius前管理层的欺诈和失实陈述指控提出的索赔。根据律师提交的法庭文件，该协议解决了30,000项索赔，这些索赔要求赔偿780亿美元。据报道，Celsius 将于8月10日在听证会上获得法院批准和解协议。
《华尔街日报》补充称，Celsius重组计划的确认听证会将于10月举行，索赔客户可能会在年底前开始收到加密货币和其他资产的支付。[2023/7/22 15:51:38]
美国企业家马斯克询问了 ChatGPT 如何设计 Twitter，AI 回答称：“为了使用户更容易查看线程互联网对话并与之交互，你可以将线性一维界面转换为二维无限网格。”
12 月 5 日，OpenAI 创始人兼 CEO 阿尔特曼(Sam Altman)发布推文表示，ChatGPT 用户数已突破了 100 万。
First Republic Bank或将获得美国政府支持:金色财经报道，知情人士透露，华尔街高管和美国官员正在讨论First Republic Bank获得政府支持的可能性，以推动达成与潜在买家的交易。据悉，政府可能会在剥离First Republic不良资产方面发挥作用。双方讨论的其他措施包括提供责任担保、更灵活地使用资本规则以及放宽股权限制。谈判仍在继续。知情人士表示，各种问题仍未解决，不能保证达成协议。目前尚不清楚政府将如何提供资金支持。[2023/3/22 13:18:19]
许多人已经测试了聊天功能，并一直在社交媒体上分享他们的交流。ChatGPT 似乎也给科技亿万富翁埃隆·马斯克留下了深刻印象，他在推特上写道：“ChatGPT 好得吓人。我们离危险的强大人工智能不远了。”
技术公司 Replit 的创始人 Amjad Masad 还给 ChatGPT 发了一段 JavaScript 代码，让它找到里面的 bug，并表示：“ChatGPT 可能是一个很好的调试伙伴，它不仅分析了错误，还修复了错误并进行了解释。”
浙江省数字人民币交易规模突破1000亿元:金色财经报道，浙江省数字人民币试点工作扎实有序开展。记者从人民银行杭州中心支行获悉，截至2022年12月28日，浙江省累计开立数字人民币钱包2414万个，交易规模突破1000亿元，达到1048亿元。[2023/1/1 22:19:01]
一位用户甚至要求 ChatGPT 从 AI 的角度写一封信，目标是控制世界。
结果简直令人震惊。它引起了久负盛名的人工智能的人们的回应，接管了科幻小说的世界概念，向现实迈出了一步。
拥有如此强大而惊艳的语言能力，一时间，ChatGPT 悄然走到了话题中心，成为了引发热议的新晋网红。
目前 ChatGPT 仍处于免费测试阶段，不限量向公众开放，基于其破百万的用户数，平台所花费的成本不算小。不过，在使用过程中，用户提供的反馈对 OpenAI 也是最有价值的信息，可以不断训练语言模型，修正错误答案。
我们注册并体验了一下 ChatGPT 对话，我们首先让 AI 自我介绍。
律师：FTX的“大量”资产不是被偷就是失踪:金色财经报道，FTX的一位律师对破产法庭表示，相当数量的FTX Group资产要么被盗，要么不见了。Sullivan ＆ Cromwell的律师James Bromley周二告诉法官。很遗憾债务人FTX的经营状况不是特别好，这已经是个保守的说法了。Bromley说，SBF打造的FTX加密货币帝国垮台非常迅速，令人极其震惊。他用史无前例来形容这宗破产案。Bromley在法庭上表示，一旦SBF签署转让控制权的文件，每个人都第一次意识到“皇帝其实没穿衣服”，FTX可能很快就会请求法官批准其出售部分资产。[2022/11/23 7:58:51]
他回复道，“我是 Assistant，一个由 OpenAI 训练的大型语言模型。我的工作是帮助人们回答各种问题，尽可能提供准确和详细的信息。我可以回答各种问题，无论是关于历史、科学、人文还是其他话题。”
作为一家区块链安全公司，我们有了另一种想法，那就是让他来写一份智能合约。
外媒：三箭资本在借贷平台总清算额度达4亿美元:6月15日消息，消息人士透露，三箭资本在Deribit、BlockFi等借贷平台上的总清算额度高达4亿美元。目前三箭资本正在处理其与贷方和其他交易对手方的关系。
据此前报道，三箭资本创始人Zhu Su发推称，我们正在与有关方面进行沟通，并致力于将问题解决。此前市场传言，三箭资本疑似因市场波动出现运营和偿付问题。昨天三箭资本将17780枚stETH换为16625枚ETH，并全部兑换为近2000万枚DAI。（The Block）[2022/6/15 4:28:52]
写一份简单的合约，对 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
腾讯研究院
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。