CVE-2026-62337
Tenable Plugin
Checking the public Tenable catalog…
AI Threat Summary
CVE-2026-62337 is a moderate vulnerability affecting the target software. Threat hunters should monitor for exploit attempts and apply vendor patches immediately.
Description
SNARK Verifier is a generic (S)NARK verifier. Prior to 0.2.5, the Halo 2 aggregation circuit can mishandle proof points encoded as the point at infinity. `EcPointLoader::multi_scalar_multiplication` places a `Value::Assigned(_)` base paired with `Value::Constant(ONE)` into its unscaled variable-base list and passes it directly to `sum_with_const`. The default shim delegates to halo2-lib `EccChip::sum`, whose incomplete affine addition assumes nonidentity input points. A prover-controlled proof point encoded as `(0, 0)` can therefore enter the final aggregation sum through the scalar-one shortcut and affect the MSM or accumulator computation. Practical exploitability depends on the surrounding aggregation and final-decider checks; the advisory does not establish universal acceptance of invalid proofs. This issue is fixed in version 0.2.5.
Attack Chain
Attacker scans for vulnerable versions using version banners or PoC scanners
Attacker triggers CVE-2026-62337 vulnerability with a crafted request or payload
Vulnerability exploited to perform unauthorized actions on the target system
Depending on vulnerability type, attacker achieves data access, service disruption, or code execution
MITRE ATT&CK Techniques
Indicators of Compromise
| Type | Value | Description | |
|---|---|---|---|
| user_agent | Mozilla/5.0 (compatible; exploit/1.0) |
Generic exploit scanner user agent pattern | |
| url | /api/vuln-endpoint?payload=<malicious> |
Exploit attempt against application endpoint — monitor access logs for anomalous params |
Remediation
Quick Facts
| CVE ID | CVE-2026-62337 |
| CVSS Score | N/A |
| Published | 2026-10-30 |
| Exploited | No |
| CISA KEV | No |
| PoC | Not public |