【慢雾创始人:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助】

【慢雾创始人:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助】2023年03月15日04点50分3月15日消息,慢雾创始人余弦发推称,“土狗的智能合约代码一般都简单,我相信GPT-4大概率都可以给出正确的安全建议,但复杂的智能合约代码,尤其是有人类诡辩思维在里面的,还有那种需要其他场景(或者更大范围上下文)的漏洞,GPT-4搞不定,但可以作为审计辅助(如果用好的话)。另外,AI可能会骗人。看来安全审计公司未来不仅可以用好GPT,还可以审计GPT是不是在‘作恶’。”

相关推荐

封面图片

慢雾余弦:GPT-4搞不定复杂的智能合约代码,但可作为审计辅助

封面图片

慢雾完成对 Taproot Chain 跨链桥模块智能合约的代码审计

慢雾完成对TaprootChain跨链桥模块智能合约的代码审计3月29日消息,比特币Layer2项目Taprootchain宣布,安全公司慢雾已完成对TaprootChain跨链桥模块智能合约的代码审计。审计报告显示,在修复了一个风险漏洞并采纳了6个改进建议后,慢雾给出的审计意见为低风险。此前,Taprootchain曾公告,主网已于3月28日上线,首期白名单空投活动已经圆满结束。跨链功能即将开启,白名单用户可以在开放后在官网领取白名单资格。

封面图片

【慢雾完成对Taproot Chain跨链桥模块智能合约的代码审计】

【慢雾完成对TaprootChain跨链桥模块智能合约的代码审计】2024年03月29日04点52分3月29日消息,比特币Layer2项目Taprootchain宣布,安全公司慢雾已完成对TaprootChain跨链桥模块智能合约的代码审计。审计报告显示,在修复了一个风险漏洞并采纳了6个改进建议后,慢雾给出的审计意见为低风险。此前,Taprootchain曾公告,主网已于3月28日上线,首期白名单空投活动已经圆满结束。跨链功能即将开启,白名单用户可以在开放后在官网领取白名单资格。

封面图片

【慢雾创始人:复杂的智能合约代码GPT-4仍搞不定,但可作为审计辅助】慢雾创始人余弦发推称,「土狗的智能合约代码一般都简单,我相信GPT-4大概率都可以给出正确的安全建议,但复杂的智能合约代码,尤其是有人类诡辩思维在里面的,还有那种需要其他场景(或者更大范围上下文)的漏洞,GPT-4搞不定,但可以作为审计辅助(如果用好的话)。另外,AI可能会骗人」。

封面图片

GPT Migrate,一个基于 GPT-4 的大胆尝试,让 AI 重写整个项目代码

GPTMigrate,一个基于GPT-4的大胆尝试,让AI重写整个项目代码使用可以将原有的Python项目,用JavaScript重写为新项目,AI会自动帮你生成新的目录结构、文件命名、项目依赖包。https://github.com/0xpayne/gpt-migrate来自:雷锋频道:@kejiqu群组:@kejiquchat投稿:@kejiqubot

封面图片

逆天“魔法”正式解禁 GPT-4以来最强应用“代码解释器”上线

逆天“魔法”正式解禁GPT-4以来最强应用“代码解释器”上线代码解析器可令ChatGPT运行代码,并且可以访问用户上传的文件,实现分析数据、创建图表、编辑文件、执行数学运算等复杂操作。如何开启?打开ChatGPT页面,点击右下角Settings,然后在Betafeatures中打开Codeinterpreter的开关。然后在GPT-4模型TAB下选择即可。启用代码解释器后,可以点击输入框左侧+号上传文件。以下是一些网友的试用实例:图片处理OpenAI联合创始人GregBrockman在Twitter上展示了代码解释器强大的数学运算和制图能力。输入prompt:你能在平面上绘制出10000个随机点,每个维度都来自正态分布吗?生成一个展示OpenAI官网的二维码。自动抠图。不需要任何软件,不需要用鼠标费力画圈,只要一行prompt就可以自动抠图!格式转换PDF转图片以往需要将每页内容合并成一张图,而现在,一个prompt就搞定了。CSV转GIFGIF转MP4Scaleai的提示词工程师RileyGoodside发推测试了代码解释器的格式转化能力。prompt:我会上传一个gif,给我生成一段5秒的MP4视频,用缓慢缩放特效处理。GPT-4完美完成了这个任务。创建调色板只需要简单的prompt,就可以从图像中提取颜色,创建一个简单的PNG调色板。数据分析Twitter用户@归藏展示了用代码解析器分析newsletter订阅用户数据的过程。首先是用户的订阅渠道。然后是用户的邮箱类型。更进一步,还可以分析最近一个月订阅用户增长的趋势。可以看到,代码解析器从分析数据到制图,都不需要使用任何复杂软件,只需要prompt就可以完成。除此之外,代码解析器还可以分析一个播放列表来总结你的音乐品味。下图是一位网友试用代码解析器分析了自己600小时的Spotify播放清单。ChatGPT最后通过运行多维PCA和t-SNE分析,梳理了她最常听的曲风。只要有数据,什么都可以分析。一位网友甚至用代码解释器生成了一个UFO目击地图。处理金融数据,它也不在话下。比如比特币价格走势平均每月收盘价CodeInterpreter断了多少人的生路试用之后,许多网友感慨,代码解释器的确是OpenAIGPT-4上线以来最强大的功能,不知道一夜之间又要颠覆多少打工人的岗位。一位网友展示了代码解释器批量处理电影文件的能力之后直呼,“CodeInterpreter断了多少人的生路?”...PC版:https://www.cnbeta.com.tw/articles/soft/1369867.htm手机版:https://m.cnbeta.com.tw/view/1369867.htm

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人