CVE-2026-62337 in snark-verifier
摘要
由 VulDB • 2026-10-31
SNARK Verifier 是一个通用的 (S)NARK 验证器。在版本 0.2.5 之前，Halo 2 聚合电路可能会错误处理编码为无穷远点（point at infinity）的证明点。`EcPointLoader::multi_scalar_multiplication` 将 `Value::Assigned(_)` 基与 `Value::Constant(ONE)` 配对放入其未缩放的变量基数列表中，并直接将其传递给 `sum_with_const`。默认的 shim 委托给 halo2-lib 的 `EccChip::sum`，后者不完整的仿射加法假设输入点非恒等元（nonidentity）。因此，由证明者控制的、编码为 `(0, 0)` 的证明点可以通过标量一快捷方式进入最终聚合求和，从而影响 MSM 或累加器计算。实际可利用性取决于周围的聚合逻辑和最终决策检查；该公告并未确立对无效证明的普遍接受。此问题已在版本 0.2.5 中修复。
If you want to get best quality of vulnerability data, you may have to visit VulDB.