OpenAI 推出「王炸」产品 GPT-4，能不能完整检测智能合约漏洞？

撰文：Beosin

图片来源：由 Maze AI 生成

北京时间 3 月 15 日凌晨，人工智能初创公司 OpenAI 正式公布最新一代人工智能语言模型 GPT-4。

OpenAI 在当天的声明中称，GPT-4 的诞生，是 OpenAI 在放大深度学习方面的最新里程碑。

那现在进化后的 GPT-4 ，又会带给我们哪些惊喜？

进化后的 GPT-4，到底有多「炸」？

根据 OpenAI 官方的介绍，GPT-4 是一个超大的多模态模型，也就是说，它的输入可以是文字（上限 2.5 万字），还可以是图像。

其 AI 能力的恐怖之处体现在哪呢？比如下面这张照片。

你问它下图中手套掉下去会怎样？

它会回答：它会掉到木板上，并且球会被弹飞。（这逻辑能力，你能想象吗）

甚至只需要简单在纸上画一个网站的草稿图，他就可以识别该网站。

拍一张照片上传给 GPT-4，它就可以立马生成网站的 HTML 代码！

可见，GPT-4 比 GPT-3.5，更可靠、更有创造力，能够处理更细微的指令。

除此之外，ChatGPT-4 在内容准确性以及逻辑能力相比上一代也要提升不少，在统一律师考试（Uniform Bar Exam）中，GPT-4 成绩超过 90% 其它人，而 GPT-3.5 的成绩只超过 10% 的人，GPP-4 在 SAT Math 获得 700 分，GPT-3.5 的成绩为 590 分，提升了 110 分。在其它标准化考试中，GPT-4 的成绩也都比 GPT-3.5 优秀不少。

在官方演示中，GPT-4 几乎就只花了 1-2 秒的时间，识别了手绘网站图片，并根据要求实时生成了网页代码制作出了几乎与手绘版一样的网站。

除了普通图片，GPT-4 还能处理更复杂的图像信息，包括表格、考试题目截图、论文截图、漫画等，例如根据专业论文直接给出论文摘要和要点。

这么强，是不是你也感觉快要失业了

。

GPT-4 可对论文进行解读 来源：OpenAI 官网

用 ChatGPT4 审计智能合约会发生什么？

我们曾在去年 12 月发了一篇 ChatGPT 的研究文章，看看它审计智能合约会发生什么，扩展阅读：风靡全网的「最强 AI」ChatGPT，能不能检测智能合约漏洞？

3 月 15 日，Coinbase 主管 Conor Grogan 在社交媒体发文称，他已在 ChatGPT-4 中插入了一个实时以太坊智能合约，结果 AI 瞬间就找到了安全漏洞，甚至还展示了如何利用这些漏洞进行攻击。

Conor Grogan 表示，该合约的确在 2018 年被黑客利用漏洞攻击，此外他还透露也尝试了 Euler 的智能合约，但由于合约过长而无法被 chatGPT-4 处理，Conor Grogan 坦言 AI 最终将是智能合约更安全、更容易构建。

也有群友说，ChatGPT 似乎可以审计前两天 Euler Finance 约 2 亿美元被盗案的漏洞。相关事件阅读：复盘 Euler Finance 2 亿美元被盗案的来龙去脉，本次事件带给我们哪些启示？

但是，真的有这么简单吗？

图源网络

其实与早期的 GPT 模型一样，GPT-4 仍然存在一定的局限性。

OpenAI 官方称，它并不完全可靠，可能会出现推理错误 ，「GPT-4 缺乏对绝大多数数据切断后（2021 年 9 月）发生的事件的了解，并且无法从中吸取经验教训……它有时会出现简单的推理错误，它会轻信用户明显的虚假陈述，有时它会像人类一样在难题上失败，例如在它生成的代码中引入安全漏洞。」

基于此，OpenAI 提醒，用户在使用语言模型时应格外小心，最好辅助以人工审查、附加上下文、或完全避免在高风险情况下使用它。

ChatGPT VS Beosin VaaS，审计合约谁更强？

Beosin 的形式化验证专家说道：「ChatGPT 可以学习合约的复杂模式，从不同维度对合约进行理解分类，可帮助静态检测技术增强专家模式，增加可识别漏洞的种类，降低漏报率和误报率，可辅助面向属性的测试验证技术与领域属性库进行有效链接，通过自动合约识别与属性插入，实现全自动化的测试验证。但是 ChatGPT 难以识别日新月异的特定领域深层逻辑漏洞，这种漏动通常是与项目需求紧密结合，需要领域安全专家作为裁判，不断归纳总结形成领域属性库对合约的安全性进行裁定。」