Savant Chat 在 Sherlock DeFi 审计大赛中创历史性地跻身前六名

本站报道：

此内容由赞助商提供。

新闻稿。

迪拜， 2025 年 9 月 2 日 – 专家聊天领先的智能合约审计 AI 代理平台 宣布了一项突破性成就，标志着 Web3 安全领域的范式转变。它在公开的 Sherlock 竞赛中斩获第六名，与数十位人类审计专家直接对决。这一里程碑事件标志着人工智能首次在激烈的竞争环境中公开展现出与人类审计专家相媲美的表现，从根本上重塑了去中心化金融安全的未来。

突破人为优化的障碍

鉴于审计竞赛本质上是为人类参与者设计的，这一成就尤为引人注目。专业审计师表示，这类竞赛最具挑战性的方面并非发现漏洞，而是在评审阶段证明这些漏洞是真正的阳性结果。人类审计师竞争激烈，成功很大程度上取决于能否以经得起严格评审的方式描述发现。如果人工智能或人类呈现的“真正的阳性结果”存在不准确或细节不足的情况，则很可能在评审阶段被拒绝。尽管面临这些重大挑战，Savant Chat（专业版，2025年6月技术的早期预览）仍然表现出色。

更为重要的是，Savant Chat 参与的 Symbiotic 合约竞赛并未发现任何严重或高危漏洞——而 Savant 主要针对这一领域进行优化。中等严重程度的漏洞通常由 AI 代理识别，并根据残差原理进行识别。然而，AI 能够在一场关注低危问题的竞赛中脱颖而出，充分说明了其强大的分析能力和适应能力。

Savant 的运营方法包括深度分析、生成威胁向量以及构建复杂的漏洞假设。对于关键的最后一步——编写概念验证 (PoC) 代码以验证发现并消除干扰——Savant Chat 团队策略性地将这项任务委托给了一流的开源 SWE 代理。这种方法确保了 Savant 核心洞察信号最大化，同时高效地验证了发现。

彻底改变安全审计的经济性

其经济影响深远。在传统的审计竞赛中，假设生成消耗了大约85%的资源，而验证仅需5%。虽然人工智能产生的噪音略高于普通人类审计员——以倍数而非数量级来衡量——但人工智能驱动的假设生成成本却低了几个数量级。“我们看到了清晰的证据表明，人工智能驱动的假设生成与人工验证相结合，是一种有效且经济可行的商业模式，”该团队解释道。“这并非为了削减成本，而是为了在整个Web3生态系统中实现更全面的安全覆盖。”

未来：机器人审计员，而非替代品

必须承认，人工智能虽然功能强大，但仍有局限性，在识别特定类型的错误方面不如人类有效。然而，SavantChat 的人工智能却拥有一个独特且宝贵的优势：它对漏洞的视角与人类审计人员截然不同。这种独特的视角使人工智能能够识别人类专家可能无意中忽略的漏洞。

据透露，提交给 Savant 团队的 80% 零日漏洞都被 SavantChat 成功识别和缓解。这凸显了一项关键的互补功能，表明如果这些漏洞被测试，SavantChat，绝大多数相关黑客攻击本可避免。这意味着人工智能并非替代现有安全措施，而是对其的必要增强。

Web3 安全的未来不仅即将到来；而且其发展速度比以往任何时候都快。

关于

Savant.chat 是一个由人工智能驱动的智能合约安全平台，可以自动审计 Solidity 代码——查找漏洞，与 CI/CD 集成，为开发人员、审计公司和企业提供持续检查和实时监控。

经过数百个真实漏洞测试。Savant Chat 是一个颠覆性的平台，能够即时检测高级威胁，例如密码破解和经济漏洞，并提供快速、透明、高效的审计。Savant Chat 正在利用永不停歇的人工智能 (AI) 保障区块链项目的安全。

媒体联系人
亚历山德拉·古拉莫娃

联合创始人

alexandra@savant.chat

_______________________________________________________________________

Bitcoin.com 不承担任何责任或义务，也不对因使用或依赖文章中提及的任何内容、商品或服务而造成或声称造成的任何损害或损失直接或间接负责。