腾讯玄武实验室阿图因引擎发现 gnark 零知识证明库签名可锻造性漏洞 CVE-2025-57801
腾讯玄武实验室的阿图因自动化漏洞挖掘引擎在零知识证明库 gnark 中发现高危签名可锻造性漏洞 CVE-2025-57801(CVSS 8.6),并联合上海交通大学 GOSSIP 实验室及郁昱教授团队完成复现。
推荐理由:文章解释了漏洞虽存在多年却大多未被触发的原因,读者可据此自查闭源项目是否使用了受影响的 Native Verification API。
AICSO 核心能力
开源模型、MCP 工具链与第三方服务管控:模型与权重完整性、依赖审计、SBOM、Agent/RAG/MCP 安全与代码安全。
281 条精选近 30 天 243 条共收录 1,130 条
腾讯玄武实验室的阿图因自动化漏洞挖掘引擎在零知识证明库 gnark 中发现高危签名可锻造性漏洞 CVE-2025-57801(CVSS 8.6),并联合上海交通大学 GOSSIP 实验室及郁昱教授团队完成复现。
推荐理由:文章解释了漏洞虽存在多年却大多未被触发的原因,读者可据此自查闭源项目是否使用了受影响的 Native Verification API。