网络3安全专家挑战AI进行审计竞赛:这是结果
人类审计员挑战AI辅助审计公司
一切始于一条推文。Bunzz Audit宣布已推出一款旨在加快和扩大智能合约漏洞检查的AI辅助审计服务。
📣📣基于AI的审计,Bunzz Audit今天正式上线。📣📣
LP:https://t.co/r81rcSAcZX
新闻稿:https://t.co/9SUbcAM6ZH
1. 什么是Bunzz Audit?
它是一个基于AI的智能合约审计服务。它将待审计的合约与Bunzz的独特…
Nirlin,一位智能合约审计员,对该推文作出了反应,并表示对AI在智能合约审计中的有效性表示怀疑。
来源:X
Nirlin提出了一个面对面的审计竞争,公开挑战Bunzz Audit,引发了一场在X(之前为Twitter)上爆发的病毒式辩论。
来源:X
Bunzz Audit接受了挑战。
来源:X
这个挑战吸引了0xDjango的关注,他是开发竞赛平台Code4rena的裁判,并同意成为这个挑战的裁判。
来源:X
被审计的智能合约
Nirlin选择了这个审计竞赛的智能合约。作为他们常规审计工作的一部分,Nirlin之前已经审计过这些合同。另一方面,Bunzz Audit被给予两个小时来完成分析。尽管这种差异存在,但结果提供了宝贵的洞见。
在结果中已经出现了一个明显的区别:
从这个案例中得出的教训是,没有一劳永逸的审计报告,Bunzz评论说,选择合适的服务取决于具体需求。
对于那些优先考虑广泛漏洞扫描的人来说,Bunzz Audit可能是最佳选择。然而,如果重点是确定关键风险,像Nirlin这样的人类审计员可能价值连城。
比赛之后,Bunzz Audit吸取了教训,并进一步研究了研发,导致其AI引擎的一个重要更新。
增强检测和学习能力
比赛后不久,Bunzz Audit在X上宣布,它成功地发现了挑战中遗漏的漏洞。
几周前,@0xnirlin挑战了我们的AI找到关键智能合约漏洞的能力。他赢得了那个挑战,并推动我们改进!
自那时起,Bunzz Audit得到了增强,使我们能够检测到挑战中遗漏的漏洞。
这一发现是在他们对AI引擎进行的小更新之后,展示了Bunzz Audit技术的学习能力。尽管Nirlin赢得了第一届比赛,但Bunzz Audit的快速进步表明其方法可能具有巨大的潜力。毕竟,AI的学习速度比人类审计员要快。
处理速度提高三倍,搭载GPT-4o
进一步支持AI辅助审计的案例,Bunzz Audit透露他们使用了OpenAI的GPT-4o语言模型,这是一种能够分析复杂数据模式并准确提供详细洞察的先进AI。这一发展使处理速度提高了三倍。
与人类审计员相比,AI公司能够在没有任何额外成本的情况下受益于OpenAI技术的持续进步。专家预测,GPT-5的发布将导致漏洞检测的重大进步,这是一个旨在提升数据分析能力的先进模型。
智能合约审计的未来
审计挑战不仅是一场竞赛,更是一场许多在X上看到的扣人心弦的表演。
来源:X
在健康竞争精神的推动下,Bunzz Audit表示:
“我们的目标是提供一种由AI辅助审计支持的新型审计服务,超越传统的公司模式。我们对‘Bunzz Audit V2’概念的实现充满信心,这将颠覆审计行业。”
Bunzz Audit计划推出利用平台避开人类审计局限性的创新安全服务。
Web3安全的前景似乎很有希望,人类的专业知识与人工智能的持续进化力量之间可能存在潜在的合作。这项案例研究提供了宝贵的一瞥,突出了两种方法的优点和局限性。随着AI的发展,我们将看到这个动态如何发展,最终塑造Web3安全的前景。