我们的AI发现了一个零知识证明库的漏洞，Sam Altman的项目也用了这个库

Author: Guancheng Li, Xiaolin Zhang and Yang Yu of Tencent Xuanwu Lab

2025 年 8 月，腾讯玄武实验室的阿图因自动化漏洞挖掘引擎在零知识证明库 gnark 中发现了一个高危漏洞（CVE-2025-57801，CVSS 8.6）。之后，玄武实验室联合上海交通大学 GOSSIP 实验室及郁昱教授团队共同完成了漏洞复现。