腾讯玄武实验室·· 2025-11-10精选推荐指数73
腾讯玄武实验室阿图因引擎发现 gnark 零知识证明库签名可锻造性漏洞 CVE-2025-57801
我们的AI发现了一个零知识证明库的漏洞，Sam Altman的项目也用了这个库
AI 导读
腾讯玄武实验室的阿图因自动化漏洞挖掘引擎在零知识证明库 gnark 中发现高危签名可锻造性漏洞 CVE-2025-57801（CVSS 8.6），并联合上海交通大学 GOSSIP 实验室及郁昱教授团队完成复现。
推荐理由
文章解释了漏洞虽存在多年却大多未被触发的原因，读者可据此自查闭源项目是否使用了受影响的 Native Verification API。
来源：腾讯玄武实验室 · xlab.tencent.com